Welcome to the webpages of the Logic Group of the Institute of Computer Science of the Czech Academy of Sciences (ICS CAS). You'll find us here.
Latest News & Updates
Members
-
Marta Bílková
-
Sam Braunfeld
-
Petr Cintula
-
Fabio De Martin Polo
Postdoctoral Researcher
-
Wesley Fussner
-
Han Gao
Postdoctoral Researcher
-
Zuzana Haniková
-
Josef von Hoffmann
PhD Student
-
Aleksi Honkasalo
Postdoctoral Researcher
-
Filip Jankovec
PhD Student
-
Krzysztof Krawczyk
Postdoctoral Researcher
-
Roman Kuznets
-
Chun-Yu Lin
PhD Student
-
Ondrej Majer
Project Researcher
-
Krishna Manoorkar
Postdoctoral Researcher
-
Joseph McDonald
Postdoctoral Researcher
-
Grigory Olkhovikov
Postdoctoral Researcher
-
Jonathan Osinski
Postdoctoral Researcher
-
Wolfgang Poiger
Postdoctoral Researcher
-
Adam Přenosil
-
Giuliano Rosella
Postdoctoral Researcher
-
Igor Sedlár
-
Amanda Vidal
Postdoctoral Researcher
Past members: Paolo Baldi (→ University of Milan), Libor Běhounek (→ University of Ostrava), Stefano Bonzio (→ Polytechnic University of the Marche in Ancona), Nicholas Ferenz (→ University of Lisbon), Thomas Macaulay Ferguson (→ Rensselaer Polytechnic Institute), David Fernández-Duque (→ University of Barcelona), Petr Hájek (✞), Dagmar Harmancová, Rostislav Horčík (→ Czech Technical University), Karel Chvalovský (→ Czech Technical University), Tommaso Moraschini (→ University of Barcelona), Milan Petrík (→ Czech University of Life Sciences), Luca Reggio (→ University of Oxford), Andrew Tedder (→ Ruhr University Bochum), Apostolos Tzimoulis (→ University of Luxembourg), Jamie Wannenburg (→ University of Pretoria), Kentarô Yamamoto (→ Polish Academy of Sciences, Institute of Mathematics).
Our Research Focus
Research topics: non-classical logic, modal logic, substructural logics, dynamic logic, abstract algebraic logic, universal algebra, philosophy of mathematics, epistemic logic, relevant logic, algebras for program verification, probabilistic logics, and much more...
Current Projects:
- SIMILE: Substitution in Material Inference and Logical Environments (PI: Wesley Fussner)
2026–2028 (Czech Science Foundation) - ALF: Algebraizing first-order logics (PI: Adam Přenosil)
2026–2030 (Czech Science Foundation Junior Star) - INTERACT: Interpolation, Amalgamation, and Computation (PI: Wesley Fussner)
2025–2029 (Czech Science Foundation Junior Star) - Modern Czech Logic in the Philosophy of Mathematics (PI: Zuzana Haniková)
2025–2027 (Czech Science Foundation) - KATRA: Knowledge, Action and Time — A Relevant Approach (PI: Igor Sedlár)
2025–2027 (Czech Science Foundation) - We're a partner in the MOSAIC project
2020–2026 (EU MSCA-RISE)
Recent Projects:
- CELIA: Coalition and Epistemic Logic — An Intensional Approach to Groups (PI: Olivier Roy & Marta Bílková, coPI: Ondrej Majer)
2022–2025 (Czech Science Foundation and German Research Foundation, Lead Agency) - GRADLACT: Graded Logics of Action (PI: Igor Sedlár)
2022–2024 (Czech Science Foundation) - MetaSuMo: Metamathematics of Substructural Modal Logics (PI: Petr Cintula)
2022–2024 (Czech Science Foundation) - NOCLID: Nonclassical Logical Models of Information Dynamics (PI: Igor Sedlár)
2018–2021 (Czech Science Foundation Junior Project)
Upcoming Seminars & Events
Our regular research seminar runs on Wednesdays 4pm and talks are often streamed via Zoom. More information can be found at the seminar webpage. To join the seminar mailing list, contact the organisers, Zuzana Haniková and Igor Sedlár.
Upcoming:
- 13.05.2026 Joseph McDonald (ICS CAS): MacNeille Completion, Canonical Completion, and Duality for Cylindric Orthocomplemented Lattices
- 20.05.2026 no seminar
Join Us
The ICS and the Czech Academy of Sciences regularly open calls for postdoctoral researchers, and tenure-track positions are opened on a yearly basis at the ICS. Let us know if you are interested in applying.
Current calls:
- Postdoctoral fellow in mathematical logic and algebra.
Deadline: 13 April 2026. - Postdoctoral fellow in philosophical logic and the philosophy of logic.
Deadline: 31 July 2026.
The ICS welcomes applications within international schemes such as the MSCA Postdoctoral Fellowships. Applications are particularly encouraged since the government of the Czech Republic supports no-money MSCA-PF projects. Another funding option are the Individual Postdoctoral Fellowships of the Czech Science Foundation. Please get in touch if you are interested in applying.
Teaching and Supervision
Members of the group offer supervision of Master and PhD theses focusing on their research topics. We can serve as supervisors and co-supervisors for students based at universities in and outside the Czech Republic. Get in touch if you're interested in writing your thesis with us.
Current PhD students:
- Filip Jankovec (co-supervised by Petr Cintula)
- Josef von Hoffmann (supervised by Wesley Fussner)
- Chun-Yu Lin (supervised by Marta Bílková)
- Thomas Schlögl (co-supervised by Roman Kuznets at TU Wien)
Past PhD students:
- Giorgio Cignarale (co-supervised by Roman Kuznets at TU Wien), thesis On A priori Belief Updates in the Epistemic Analysis of Distributed Systems defended in 2025.
- Pietro Vigiani (co-supervised by Igor Sedlár at the Scuola Normale Superiore di Pisa), thesis Reasoning about Relevant Epistemic Logic defended in 2025.
- Rojo Randrianomentsoa (co-supervised by Roman Kuznets at TU Wien), thesis Epistemic Logic for Distributed Systems with Crash Failures defended in 2025.
- Adam Přenosil (supervised by Marta Bílková at the Charles University in Prague), thesis Reasoning With Inconsistent Information defended in 2018.
- Karel Chvalovský (supervised by Marta Bílková at the Charles University in Prague), thesis Undecidability of Some Substructural Logics defended in 2015.
Recently taught courses:
- Duality in Algebra and Logic, Charles University, Spring 2026. (W. Fussner).
- Mathematical Logic. Czech Technical University, Fall 2025. (P. Cintula / TA: F. Jankovec)
- Dynamic Logic. Charles University, Fall 2025. (I. Sedlár and W. Poiger)
- Nonclassical Models of Reasoning, Charles University, Fall 2025. (Z. Haniková)
- Readings on Material Inference, Charles University, Fall 2025. (W. Fussner)
- Reading Modern Czech Logic, Charles University, Fall 2024. (Z. Haniková)
- Nonclassical Models of Reasoning, Charles University, Spring 2024. (Z. Haniková)
- Methods in Philosophical Logic, Charles University, Fall 2024. (W. Fussner)
- Dynamic Logic. Charles University, Fall 2023. (I. Sedlár)
- Dynamic Logic. Charles University, Fall 2021. (I. Sedlár)
- Mathematical Logic. Czech Technical University, Fall 2021. (P. Cintula)