SOJKA, Petr. chair of Programme Committee of DML track of CICM 2013 conference. Online. Programme Committee of "Digital Mathematics Library" (DML) track of CICM conference, 2013, [citováno 2024-04-24]
Other formats:   BibTeX LaTeX RIS
Basic information
Original name chair of Programme Committee of DML track of CICM 2013 conference
Name in Czech předseda programového výboru DML konference CICM 2013
Authors SOJKA, Petr (203 Czech Republic, guarantor, belonging to the institution)
Edition 2013.
Publisher Programme Committee of "Digital Mathematics Library" (DML) track of CICM conference
Other information
Original language English
Type of outcome Membership in academic boards, specialist panels, and other similar bodies
Field of Study 10201 Computer sciences, information science, bioinformatics
Country of publisher United Kingdom of Great Britain and Northern Ireland
Confidentiality degree is not subject to a state or trade secret
WWW web page
RIV identification code RIV/00216224:14330/13:00068006
Organization unit Faculty of Informatics
Keywords (in Czech) digitalizace; přístupnost; matematika; DML; digitální matematická knihovna; CICM
Keywords in English digitization; accessibility; mathematics; DML; digital mathematics library; CICM
Changed by Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/4/2014 06:19.
Abstract
International Program Committee (IPC): Mark Adams, Proof Technologies Ltd, UK Akiko Aizawa, NII, The University of Tokyo, Japan Jesse Alama, CENTRIA, FCT, Universidade Nova de Lisboa, Portugal Rob Arthan, Queen Mary University of London, UK Andrea Asperti, University of Bologna, Italy David Aspinall, University of Edinburgh, UK (MKM Track Chair) Jeremy Avigad, Carnegie Mellon University, US Thierry Bouche, Université Joseph Fourier (Grenoble), France Jacques Carette, McMaster University, Canada (General Program Chair) John Charnley, Department of Computing, Imperial College London, UK Janka Chlebíková, School of Computing, University of Portsmouth, UK Simon Colton, Department of Computing, Imperial College, London, UK David Ruddy, Cornell University Library, US Leo Freitas, Newcastle University, UK Deyan Ginev, Jacobs University Bremen, Germany Gudmund Grov, Heriot-Watt University, Edinburgh, UK Thomas Hales, University of Pittsburgh, US Yannis Haralambous, Télécom Bretagne, France Jónathan Heras, University of Dundee, UK Hoon Hong, North Carolina State University, US Predrag Janičić, University of Belgrade, Serbia Cezary Kaliszyk, University of Innsbruck, Austria Manfred Kerber, University of Birmingham, UK Adam Kilgarriff, Lexical Computing Ltd, UK Andrea Kohlhase, Jacobs University Bremen, Germany Michael Kohlhase, Jacobs University Bremen, Germany Temur Kutsia, RISC Institute, JKU Linz, Austria Christoph Lange, University of Birmingham, UK (Systems & Projects Track Chair) Paul Libbrecht, Martin Luther University Halle-Wittenberg, Germany Christoph Lüth, DFKI Bremen, Germany Till Mossakowski, DFKI Bremen, Germany Magnus O. Myreen, University of Cambridge, UK Florian Rabe, Jacobs University Bremen, Germany Jiří Rákosník, Institute of Mathematics, Academy of Sciences, Czech Republic Carsten Schürmann, IT University of Copenhagen, Denmark Petr Sojka, Masaryk University, Faculty of Informatics, Czech Republic (DML Track Chair) Volker Sorge, University of Birmingham, UK Hendrik Tews, TU Dresden, Germany Frank Tompa, University of Waterloo, Canada Josef Urban, Radboud University, Netherlands Stephen Watt, University of Western Ontario, Canada Makarius Wenzel, Université Paris-Sud 11, France Wolfgang Windsteiger, RISC Institute, JKU Linz, Austria (Calculemus Track Chair) Richard Zanibbi, Rochester Institute of Technology, US
Abstract (in Czech)
International Program Committee (IPC): Mark Adams, Proof Technologies Ltd, UK Akiko Aizawa, NII, The University of Tokyo, Japan Jesse Alama, CENTRIA, FCT, Universidade Nova de Lisboa, Portugal Rob Arthan, Queen Mary University of London, UK Andrea Asperti, University of Bologna, Italy David Aspinall, University of Edinburgh, UK (MKM Track Chair) Jeremy Avigad, Carnegie Mellon University, US Thierry Bouche, Université Joseph Fourier (Grenoble), France Jacques Carette, McMaster University, Canada (General Program Chair) John Charnley, Department of Computing, Imperial College London, UK Janka Chlebíková, School of Computing, University of Portsmouth, UK Simon Colton, Department of Computing, Imperial College, London, UK David Ruddy, Cornell University Library, US Leo Freitas, Newcastle University, UK Deyan Ginev, Jacobs University Bremen, Germany Gudmund Grov, Heriot-Watt University, Edinburgh, UK Thomas Hales, University of Pittsburgh, US Yannis Haralambous, Télécom Bretagne, France Jónathan Heras, University of Dundee, UK Hoon Hong, North Carolina State University, US Predrag Janičić, University of Belgrade, Serbia Cezary Kaliszyk, University of Innsbruck, Austria Manfred Kerber, University of Birmingham, UK Adam Kilgarriff, Lexical Computing Ltd, UK Andrea Kohlhase, Jacobs University Bremen, Germany Michael Kohlhase, Jacobs University Bremen, Germany Temur Kutsia, RISC Institute, JKU Linz, Austria Christoph Lange, University of Birmingham, UK (Systems & Projects Track Chair) Paul Libbrecht, Martin Luther University Halle-Wittenberg, Germany Christoph Lüth, DFKI Bremen, Germany Till Mossakowski, DFKI Bremen, Germany Magnus O. Myreen, University of Cambridge, UK Florian Rabe, Jacobs University Bremen, Germany Jiří Rákosník, Institute of Mathematics, Academy of Sciences, Czech Republic Carsten Schürmann, IT University of Copenhagen, Denmark Petr Sojka, Masaryk University, Faculty of Informatics, Czech Republic (DML Track Chair) Volker Sorge, University of Birmingham, UK Hendrik Tews, TU Dresden, Germany Frank Tompa, University of Waterloo, Canada Josef Urban, Radboud University, Netherlands Stephen Watt, University of Western Ontario, Canada Makarius Wenzel, Université Paris-Sud 11, France Wolfgang Windsteiger, RISC Institute, JKU Linz, Austria (Calculemus Track Chair) Richard Zanibbi, Rochester Institute of Technology, US
Links
LG13010, research and development projectName: Zastoupení ČR v European Research Consortium for Informatics and Mathematics (Acronym: ERCIM-CZ)
Investor: Ministry of Education, Youth and Sports of the CR
PrintDisplayed: 24/4/2024 13:10