Series

Boise Extravaganza in Set Theory Conferences

math.boisestate.edu

(BEST) organized at Department of Mathematics and Computer Science, Boise State University.

417 visits Dec 29, 2025 Details

FMOODS

cs.kent.ac.uk

Formal Methods for Open Object-based Distributed Systems. An annual series of conferences.

144 visits Sep 22, 2025 Details

Formal Methods

dblp.uni-trier.de

World Congress on Formal Methods (FM).

166 visits Feb 3, 2025 Details

LICS

informatik.hu-berlin.de

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.

102 visits Jun 27, 2024 Details

LOPSTR

cs.man.ac.uk

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

100 visits Jul 19, 2024 Details

TARK - Theoretical Aspects of Rationality and Knowledge

tark.org

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

399 visits Feb 6, 2024 Details