Extended selected papers will be considered for a special issue in Journal of Logical and Algebraic Methods in Programming (JLAMP).
12.01.2026 14:48 โ ๐ 2 ๐ 0 ๐ฌ 0 ๐ 0
#FMBC26 will feature two keynotes from
- Pamina Georgiou from Certora
and
- Alexander Hicks from @ethereum.foundation
12.01.2026 14:47 โ ๐ 0 ๐ 0 ๐ฌ 1 ๐ 0
Proceedings will be published as a volume of the OpenAccess Series in Informatics (OASIcs) by Dagstuhl.
12.01.2026 14:47 โ ๐ 0 ๐ 0 ๐ฌ 1 ๐ 0
FMBC - Home
We just extended the deadline for #FMBC26. New dates as follows:
- Abstract submission: January 18th, 2026
- Full paper submission: January 25th, 2026
If you are working on Formal Methods for Blockchain consider submitting your work to #FMBC26 (fmbc.gitlab.io)
12.01.2026 14:46 โ ๐ 0 ๐ 0 ๐ฌ 1 ๐ 0
FM 2026
FM 2026 will be held in Tokyo from May 18 to 22, 2026.
FM 2026 is the 27th international symposium on Formal Methods in a series organized by Formal Methods Europe (FME), an independent association wh...
If you are working on Formal Methods consider submitting your work to #FM2026 by @formalmtds.bsky.social
The 27th International Symposium on Formal Methods takes place in Tokyo from May 18 to 22. Abstract submission deadline is November 2025.
conf.researchr.org/home/fm-2026
15.10.2025 13:06 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0
Prof Cyber Security and Head of School Computer Science and Informatics at De Montfort University. Own views. He/him.
Formal methods (last ever books on Z or refinement). Cyber security. Privacy. Data politics. Not all hypes. DM:eerke.boiten@dmu.ac.uk.
Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications. Also in the cesspit
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
Associate professor at Charles University, Czech Republic, computer science, program verification, linux
Interests: PL design, type systems, program synthesis, optimization, formal verification, model checking, Coq, Lean, ...
Program verification/analysis, software engineering, and programming languages.
PhD Student at University of Southern California.
Opinions are my own.
PhD Candidate @ Cambium, INRIA Paris
OCaml x Program Verification
https://remyjck.github.io
CS PhD student @ UC Santa Barbara, doing program synthesis and verification. https://junrui-liu.github.io/
Opinions are my own.
Professor of Computer Science, University of Padova, Italy. Research interests: Programming languages, Program analysis, Program verification.
postdoc @ ai lab, Vrije Universiteit Brussel
working on providing reliable and verifiable ai mechanisms
#RL & formal methods
delgrange.me
A feed of interesting AI / math / formal methods papers. Posts by @m-dodds.bsky.social
Assistant Professor (Lecturer) at University of Manchester
Formal Methods Engineering Lab: https://manchester-fme.github.io
CS professor at UT Austin, does research in programming languages & formal methods.
formal methods researcher, CEO of Kestrel Institute
Formal Methods Learner (2019-), Software Engineer in Test (2018-), iOS/Web app developer, Git Challenge Problem Author (-2018). /kษฏษฒiหwสk/
Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out Q2 2026)
Newsletter: https://buttondown.email/hillelwayne/
Philosophy goblin in training at MIT, using formal methods for woke agendae
Security researcher with an interest in formal methods.
Bฬถuฬถiฬถlฬถdฬถiฬถnฬถgฬถ breaking things @ Interrupt Labs |
Teaching @ Australian National University
https://adrian-herrera.com
Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her.
https://cs.wellesley.edu/~avh/
