Regular series of meetings, conferences and symposia related to mathematical logic.
More information
More information
Sites 5
A conference aiming to provide an integrated forum for research on formal aspects of Open Object-based Distributed Systems.
World Congress on Formal Methods (FM).
International Workshop on Logic-based Program Synthesis and Transformation. Held annually since 1991.
A series of one-day meetings held at the London Mathematical Society, De Morgan House, Russell Square, London.
The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, held every year since 1992. Links to individual meetings.
A conference aiming to provide an integrated forum for research on formal aspects of Open Object-based Distributed Systems.
The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, held every year since 1992. Links to individual meetings.
A series of one-day meetings held at the London Mathematical Society, De Morgan House, Russell Square, London.
World Congress on Formal Methods (FM).
International Workshop on Logic-based Program Synthesis and Transformation. Held annually since 1991.
