The Seminar on Applied Mathematical Logic (a.k.a. the Hájek Seminar) usually takes place on Wednesdays 4pm in the lecture room 318 of the Institute of Computer Science (Pod Vodárenskou věží 2, Prague 8. See the map). The seminar hosts talks on recent work in mathematical logic and applications by members of the Prague logic community and guests.

For more information on ICS seminars, take a look at the seminar section of the ICS webpages.

Note: The seminar will resume in September 2020.

Recent talks


The seminar archive can be found here.