chair of Programme Committee of DML track of CICM 2014 conference

SOJKA, Petr. chair of Programme Committee of DML track of CICM 2014 conference. Programme Committee of "Digital Mathematics Library" (DML) track of CICM conference, 2014.

Základní údaje

• Originální název: chair of Programme Committee of DML track of CICM 2014 conference
• Název česky: předseda programového výboru DML konference CICM 2014
• Autoři: SOJKA, Petr (203 Česká republika, garant, domácí).
• Vydání: 2014.
• 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: Portugalsko
• Utajení: není předmětem státního či obchodního tajemství
• WWW: web page
• Kód RIV: RIV/00216224:14330/14:00075335
• 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
• Příznaky: Mezinárodní význam

Anotace

International Program Committee: General chair Stephen Watt (University of Western Ontario, Canada) Calculemus track James Davenport, University of Bath, UK (Chair) Matthew England, University Of Bath, UK, Dejan Jovanović, SRI, USA Laura Kovács, Chalmers University of Technology, Sweden Assia Mahboubi, INRIA, France Adam Naumowicz, Institute of Informatics, U. Bialystok, Poland Grant Passmore, U. Cambridge and U. Edinburgh, UK Florian Rabe, Jacobs University Bremen. Germany Claudio Sacerdoti Coen, University of Bologna, Italy Freek Wiedijk, Radboud University Nijmegen, Netherlands DML track Petr Sojka, Masaryk University, Brno, CZ (Chair) Akiko Aizawa, NII, University of Tokyo, Japan Łukasz Bolikowski, ICM, University of Warsaw, Poland Thierry Bouche, Université Joseph Fourier, Grenoble, France Yannis Haralambous, Inst Mines-Télécom - Télécom Bretagne, France Janka Chlebíková, School of Computing, University of Portsmouth, UK Michael Kohlhase, Jacobs University Bremen, Germany Jiří Rákosník, Institute of Mathematics AS CR, CZ David Ruddy, Cornell University, USA Volker Sorge, University of Birmingham, UK Frank Tompa, University of Waterloo, Canada Richard Zanibbi, Rochester Institute of Technology, USA MKM track Josef Urban, Radboud University Nijmegen, The Netherlands (Chair) Rob Arthan, Queen Mary University of London, UK David Aspinall, Univerity of Edinburgh, UK Michael Beeson, San Jose State University, USA Claudio Sacerdoti Coen, University of Bologna, Italy Thomas Hales, University of Pittsburgh, USA Johan Jeuring, Open Universiteit Nederland and Universiteit Utrecht, NL Peter Jipsen, Chapman University, USA Cezary Kaliszyk, University of Innsbruck, Austria Michael Kohlhase, Jacobs University Bremen, Germany Christoph Lange, University of Birmingham, UK Paul Libbrecht, Weingarten University of Education, Germany Ursula Martin, Queen Mary University of London, UK Bruce Miller, NIST, USA Adam Naumowicz, University of Bialystok, Poland Florian Rabe, Jacobs University Bremen, Germany Alan Sexton, University of Birmingham, UK Enrico Tassi, INRIA, France Stephen Watt, University of Western Ontario, Canada Makarius Wenzel, Université Paris-Sud 11, France Freek Wiedijk, Radboud University Nijmegen, The Netherlands Systems & Projects track Alan Sexton, University of Birmingham, UK (Chair) Christoph Lange, University of Bonn, Germany Jesse Alama, Technical University of Vienna, Austria Rob Arthan, Queen Mary University of London, UK Deyan Ginev, Jacobs University Bremen, Germany Jónathan Heras, University of Dundee, Scotland Mateja Jamnik, University of Cambridge, UK Predrag Janičić, University of Belgrade, Serbia Christoph Lüth, DFKI and University of Bremen, Germany Bruce Miller, NIST, Gaithersburg, Maryland, USA Hendrik Tews, TU Dresden, Germany

Návaznosti

• LA09016, projekt VaV: Název: Účast ČR v European Research Consortium for Informatics and Mathematics (ERCIM) (Akronym: ERCIM)

Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Účast ČR v European Research Consortium for Informatics and Mathematics