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.

News

• Upcoming talks at the Seminar on Applied Mathematical Logic in October:
  • Oct 9, Tadeusz Litak (Friedrich-Alexander Uni. Erlangen-Nürnberg): Loeb constructively meets μ
  • Oct 23, Michał M. Stronkowski (Warsaw Uni. of Technology): Profiniteness and finitely generated varieties
  • Oct 30, Tommaso Mortaschini (ICS CAS): Profinite Heyting algebras and the representation problem for Esakia spaces