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 January:
 Jan 22, Guillermo Badia (University of Queensland): EhrenfeuchtFraisse methods in the model theory of Ltopological spaces over finite MTLchains