Department secretary
(Petra Novotná)
Tel.:+420 951 554 245
E-mail: [e-mail]
Web administrator
(Jindřich Vodrážka)
[e-mail]
Server administrator
(Milan Fučík)
Department of Theoretical Computer Science and Mathematical Logic
Faculty of Mathematics and Physics
Charles University
Malostranské náměstí 25
Prague 1, 118 00
Czech Republic