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