Charles University, Faculty of Mathematics and Physics
Department of Theoretical Computer Science and Mathematical Logic
Malostranské nám. 25, 118 00 Praha 1, Czech Republic
VAT ID: CZ00216208

Department secretary
(Petra Novotná)
+420 951 554 245
Fax: +420 951 554 323
E-mail: novotna@d3s.mff.cuni.cz