Loading...
Science, engineering, and mathematics — biology, chemistry, physics, astronomy, earth sciences, social sciences, and technology research. A curated gateway to academic and professional scientific resources.
57129 resources
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.
A conference aiming to provide an integrated forum for research on formal aspects of Open Object-based Distributed Systems.