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.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name chair of Programme Committee of DML track of CICM 2014 conference
Name in Czech předseda programového výboru DML konference CICM 2014
Authors SOJKA, Petr (203 Czech Republic, guarantor, belonging to the institution).
Edition 2014.
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 Portugal
Confidentiality degree is not subject to a state or trade secret
WWW web page
RIV identification code RIV/00216224:14330/14:00075335
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
Tags International impact
Changed by Changed by: doc. RNDr. Petr Sojka, Ph.D., učo 2378. Changed: 15/4/2014 22:59.
Abstract
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
Links
LA09016, research and development projectName: Účast ČR v European Research Consortium for Informatics and Mathematics (ERCIM) (Acronym: ERCIM)
Investor: Ministry of Education, Youth and Sports of the CR, Czech Republic membership in the European Research Consortium for Informatics and Mathematics
PrintDisplayed: 16/6/2024 17:51