Další formáty:
BibTeX
LaTeX
RIS
@misc{1093818, author = {Sojka, Petr}, keywords = {digitization; accessibility; mathematics; DML; digital mathematics library; CICM}, language = {eng}, publisher = {Programme Committee of "Digital Mathematics Library" (DML) track of CICM conference}, title = {chair of Programme Committee of DML track of CICM 2013 conference}, url = {http://www.cicm-conference.org/2013/cicm.php?event=dml&menu=general}, year = {2013} }
TY - GEN ID - 1093818 AU - Sojka, Petr PY - 2013 TI - chair of Programme Committee of DML track of CICM 2013 conference PB - Programme Committee of "Digital Mathematics Library" (DML) track of CICM conference KW - digitization KW - accessibility KW - mathematics KW - DML KW - digital mathematics library KW - CICM UR - http://www.cicm-conference.org/2013/cicm.php?event=dml&menu=general L2 - http://www.cicm-conference.org/2013/cicm.php?event=dml&menu=general N2 - 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 ER -
SOJKA, Petr. \textit{chair of Programme Committee of DML track of CICM 2013 conference}. Programme Committee of ''Digital Mathematics Library'' (DML) track of CICM conference, 2013.
|