Charles University
Faculty of Mathematics and Physics ( Dept. of Algebra)
Contact
Bibliography (and my books) and slides accompanying some selected talks
A brief professional cv
Logical Foundations of Complexity Theory
- a four-month programme at the Isaac Newton Institute , Cambridge University
- the period: 1.September - 18.December 2026
- a web page with all available info: https://www.newton.ac.uk/event/lfc
The 2024/25 academic year:
Student logic seminar
Logic seminar
Winter semester course: Model theory
Summer semester course: Logic and complexity
- - -
Past teaching (and support of young):
- courses, seminars, Falls schools 1999-2011 (and therein links to a number of notes and other material),
- Marie Curie Initial Training Network, Logic & Complexity special semester 2011,
- University Center of Excellence,
- past students, prospective PhD students.