Groups and people
- Department of Logic, Institute of Philosophy, Czech Academy of Sciences
- Department of Logic, Charles University in Prague
- Department of Logic and Theoretical Computer Science, Institute of Mathematics, Czech Academy of Sciences
- Department of Decision-Making Theory, Institute of Information Theory and Automation, Czech Academy of Sciences
- Department of Algebra, Faculty of Mathematics and Physics, Charles University in Prague
- Department of Theoretical Computer Science and Mathematical Logic, Faculty of Mathematics and Physics, Charles University in Prague
- Automated Reasoning Group, various institutes
Events
- EUSFLAT 2019 September 9-13, 2019
- Logic Colloquium 2019 August 11-16, 2019
- CLMPST 2019 August 5-10, 2019
- WARU 2019 May 11-12, 2019