Regular series of meetings, conferences and symposia related to mathematical logic.
CADE
Conference on Automated Deduction. Annual conference series under the auspices of the Association of Automated Reasoning.
FMOODS'08
A conference aiming to provide an integrated forum for research on formal aspects of Open Object-based Distributed Systems.
Formal Methods
World Congress on Formal Methods (FM).
LOPSTR
International Workshop on Logic-based Program Synthesis and Transformation. Held annually since 1991.
MFPS
Mathematical Foundations of Programming Semantics. An annual series of meetings.
Set Theory and its Neighbours
A series of one-day meetings held at the London Mathematical Society, De Morgan House, Russell Square, London.
TABLEAUX
The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, held every year since 1992. Links to individual meetings.
TARK - Theoretical Aspects of Rationality and Knowledge
Binannual conferences on interdisciplinary issues involving reasoning about rationality and knowledge.
[Mozilla Einstein]
Last update:
September 4, 2015 at 6:24:02 UTC
Science
Shopping
Society
Sports
All Languages
Arts
Business
Computers
Games
Health
Home
News
Recreation
Reference
Regional