2013
chair of Programme Committee of DML track of CICM 2013 conference
SOJKA, PetrZákladní údaje
Originální název
chair of Programme Committee of DML track of CICM 2013 conference
Název česky
předseda programového výboru DML konference CICM 2013
Autoři
SOJKA, Petr (203 Česká republika, garant, domácí)
Vydání
2013
Nakladatel
Programme Committee of "Digital Mathematics Library" (DML) track of CICM conference
Další údaje
Jazyk
angličtina
Typ výsledku
Členství ve věd. radách, odb. grémiích, expert. komisích apod.
Obor
10201 Computer sciences, information science, bioinformatics
Stát vydavatele
Velká Británie a Severní Irsko
Utajení
není předmětem státního či obchodního tajemství
Odkazy
Kód RIV
RIV/00216224:14330/13:00068006
Organizační jednotka
Fakulta informatiky
Klíčová slova česky
digitalizace; přístupnost; matematika; DML; digitální matematická knihovna; CICM
Klíčová slova anglicky
digitization; accessibility; mathematics; DML; digital mathematics library; CICM
Změněno: 28. 4. 2014 06:19, RNDr. Pavel Šmerk, Ph.D.
V originále
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
Česky
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
Návaznosti
| LG13010, projekt VaV |
|