Welcome to the webpages of the Logic Group at the Institute of Computer Science of the Czech Academy of Sciences. The group is part of the Department of Theoretical Computer Science at the ICS.
Upcoming talks at the Seminar on Applied Mathematical Logic in November:
- Nov 6, Neil Thapen (Math. CAS): Random resolution and approximate counting
- Nov 13, Sabine Frittella (Laboratoire d’Informatique Fondamentale d’Orléans): Probabilistic Dynamic Epistemic Logic
- Nov 20, Andrew Tedder (ICS CAS): Information Flow in Logics in the Vicinity of BB