LogICS




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.

Due to the Covid-19 pandemic, the seminar will be held online via Zoom until further notice.

In spring 2021, the SAML will organize joint sessions with the seminar of the Bern Logic Group (logicians at the Institute of Compuer Science and the Mathematical Institute of the University of Bern). Note that the Zoom streaming details for the Bern-Prague joint sessions may differ from the usual SAML streaming details.

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


Upcoming talks



Recent talks

Archive

The seminar archive can be found here.