Logic group
Mathematical Institute, Prague

Members of the group:

Logicians at the institute include currently Tomas Jech (set theory), Emil Jerabek (bounded arithmetic, non-classical logics), Jan Krajicek (proof complexity), Pavel Pudlak (proof complexity), Antonin Sochor (set theory), and Neil Thapen (bounded arithmetic).

Michal Koucky and Jiri Sgall work in related areas of complexity theory, discrete mathematics, and theoretical computer science.

Recent and current PhD students:

M.Bilkova (--2006), S.Cavagnetto (2004--), J.Hanika (--2004), R.Honzik (2004--), P.Hrubes (--2008), E.Jerabek (--2005), M.Rossler (2000--).

Activities:

Logic seminar, Fall schools, courses at the Charles University (see web pages of the members), colloquia lectures.

Current and future visitors:

J.Joosten (2005/06), L.Kolodziejczyk (2006), A.Kolokolova (2004/05), A.Skelley (2005/06), N.Thapen (2005/06 and 2006/07).

Visiting positions.



Past (short-term and long-term) visitors:

Soren Riis (Aarhus), Alan Woods (W.Australia), Dan Willard (SUNY, Albany), Yuri Gurevich (Ann Arbor), Matthias Baaz (Vienna), Stevo Todorcevic (Toronto, Paris), Lou van den Dries (Urbana), Jean-Pierre Ressayre (Paris 7 & CNRS), Jui-Lin Lee (Tchaiwan), Peter Vojtas (Kosice), Andrei Voronkov (Uppsala), Toni Pitassi (U. of Arizona), Lev Beklemishev (Vienna), Russell Impagliazzo (UC S.Diego), Denis Therien (Montreal), Janos Makowsky (Technion, Haifa), Pascal Tesson (Montreal), Arnold Beckmann (TU Wien), Kerry Ojakian (Carnegie-Mellon, Fall'04), Andres Cordon-Franco (Seville, 2004), Valentine Kabanets (Simon Fraser University), Antonina Kolokolova (Toronto, 2004/05), Stefano Cavagnetto (Rome), Nathan Segerlind (S.Diego), Sam Buss (S.Diego), Gaisi Takeuti (Urbana), Steve Cook (Toronto), Oleg Verbitsky (Lvov), Stefan Dantchev (Leicester), Ran Raz (Weizmann institute), Mohan Paturi (S.Diego), Olaf Beyersdorff (Berlin), Vojta Rodl (Atlanta), Johan Hastad (Stockholm), Ulrich Kohlenbach (Aarhus), A.A.Razborov (Princeton/Moscow), Neil Thapen (Oxford).
(Approximately in order of appearance.)