 |
|  |
||||||||||
 |
||||||||||||
  |
||||||||||||
|
CADE
Conference on Automated Deduction. Annual conference series under the auspices of the Association of Automated Reasoning.
Formal Methods
World Congress on Formal Methods (FM).
Set Theory and its Neighbours
A series of one-day meetings held at the London Mathematical Society, De Morgan House, Russell Square, London.
Mathematical Foundations of Programming Semantics
Held annually since 1985.
MFPS
Mathematical Foundations of Programming Semantics. An annual series of meetings.
AiML - Advances in Modal Logic
A bi-annual workshop and book series. The aim of the workshop series is to report on important new developments in pure and applied modal logic, at varying locations throughout the world. The book series is based on the workshops.
LOPSTR
International Workshop on Logic-based Program Synthesis and Transformation. Held annually since 1991.
TARK - Theoretical Aspects of Rationality and Knowledge
Binannual conferences on interdisciplinary issues involving reasoning about rationality and knowledge.
Methods for Modalities
A series of workshops on the relationship between modal formalisms and computer science.
FMOODS
Formal Methods for Open Object-based Distributed Systems. An annual series of conferences.
|
|
||
 |
|||