Series

IEEE Symposium on Logic in Computer Science: an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense.

101 visits Jun 27, 2024 Details

LOPSTR

cs.man.ac.uk

International Workshop on Logic-based Program Synthesis and Transformation. Held annually since 1991.

99 visits Jul 19, 2024 Details

MFPS

math.tulane.edu

Mathematical Foundations of Programming Semantics. An annual series of meetings.

66 visits Jun 28, 2025 Details

NMRW

kr.org

International Workshops on Nonmonotonic Reasoning.

339 visits Aug 2, 2024 Details

Set Theory and its Neighbours

ucl.ac.uk

A series of one-day meetings held at the London Mathematical Society, De Morgan House, Russell Square, London.

333 visits Apr 2, 2026 Details

TABLEAUX

i12www.ira.uka.de

The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, held every year since 1992. Links to individual meetings.

20 visits Dec 12, 2024 Details

TARK - Theoretical Aspects of Rationality and Knowledge

tark.org

Binannual conferences on interdisciplinary issues involving reasoning about rationality and knowledge.

398 visits Feb 6, 2024 Details

Category Info