SOJKA, Petr. chair of Programme Committee of DML track of CICM 2013 conference. Programme Committee of "Digital Mathematics Library" (DML) track of CICM conference, 2013.
Další formáty:   BibTeX LaTeX RIS
Zá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
Originální 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í
WWW web page
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ěnil Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2014 06:19.
Anotace
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
Anotace č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 VaVNázev: Zastoupení ČR v European Research Consortium for Informatics and Mathematics (Akronym: ERCIM-CZ)
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Zastoupení ČR v European Research Consortium for Informatics and Mathematics
VytisknoutZobrazeno: 26. 4. 2024 19:54