Formal Methods Portal

Formal methods portal promotes information dissemination in the area of formal methods, including synthesis, verification, analysis, automated reasoning, theorem proving, constraint solving, as well as advanced programming environments including logic and constraint programming.

Conferences, Workshops, Journals and Repositories

Conferences and workshops

CAV: Computer-Aided Verification, DBLP
FMCAD: Formal Methods in Computer-Aided Design, DBLP
CADE: Automated Deduction, DBLP
FM: Formal Methods Symposium and Formal Methods Europe, DBLP
ETAPS: Theory and Practice of Software, WP, DBLP
VMCAI: Verification, Model Checking, and Abstract Interpretation, DBLP
SAS: Static Analysis Simposium, DBLP
SMT: SMT Workshop
RV: Runtime Verification, DBLP
HVC: Haifa Verification Conference, DBLP
ICFEM: International Conference on Formal Engineering Methods, DBLP
SYNT: Synthesis, DBLP for 2014, DBLP for 2015
LOPSTR: Logic-based Program Synthesis and Transformation, DBLP
ILP: Inductive Logic Programming, DBLP
ITP: Interactive Theorem Proving, DBLP

Journals

If journal URLs are not present, one reason may be due to obscure automatically generated URLs, which have been estimated as likely to change. Please note that currently conferences and workshops are more active than journals in this field, though no venue is a subset of another.

Journal of Automated Reasoning (Springer)
Acta Informatica (Springer)
Formal Methods in System Design (Springer)
Formal Aspects of Computing (Springer)

Projects and networks

Special interest groups and societies

The site is intended as a top-level portal for other online resources, as well as an incubator for new forms of information dissemination. In some cases it specifically avoids replicating other information or areas that have separate descriptions and broad organizations of their own. Currently it does not aim to index all programming language, software engineering, or electronic design automation venues and organizations, despite their clear connection to the area of formal methods. Please consider checking the corresponding ACM and IEEE pages, among others.

The site is currently maintained by Viktor Kuncak.

The information on these pages is available under the Attribution-ShareAlike 2.5 Generic (CC BY-SA 2.5) Creative Commons Licence, unless stated otherwise.