European Research Network on Formal Proofs COST action CA20111 COST (European Cooperation in Science and Technology) is a funding agency for research and innovation networks. Our Actions help connect research initiatives across Europe and enable scientists to grow their ideas by sharing them with their peers. This boosts their research, career and innovation.
Formal specification of MongoDB using the Maude language. Beatriz Alcaide (UCM, Spain)
Comparison of the approaches used in the software verification competitions. Madalina Erascu (West University of Timisoara, Romania)
Separation Logic is incomplete. Hans-Dieter Hiep (NLnet Foundation)
Prove your Colorings: Formal Verification of Cache Coloring of Bao Hypervisor. Nikolai Kosmatov (Thales Research and Technology)
(MCLP) Natural Logic: Proof Systems for Reasoning in Natural Language. Lawrence S. Moss (Indiana University, US)
TBA. Sibylle Möhle (University of Regensburg, Germany)
A Global Specification Model for Data-Aware Coordination (with an application to smart contracts). António Ravara (NOVA School of Science and Technology)
(MCLP) Singular and Plural Functions. Adrián Riesco (UCM, Spain)
Formal Analysis of Attested TLS in Industrial Settings. Usama Sardar (TU Dresden)
(MCLP) A Lean-based Language for Teaching Proof in High-school. Frédéric Tran Minh (UGA-Grenoble INP-Esisar), Laure Gonnord (Grenoble-INP / LCIS), and Julien Narboux (RIF - Université Paris Cité)
Sound and Complete Invariant-Based Heap Encodings. Esen Zafer (Uppsala University)
