Diego Marmsoler
@dmarmsoler.bsky.social
Formal Methods Researcher, Senior Lecturer @ University of Exeter, Developer of Isabelle/Solidity, marmsoler.com
Extended selected papers will be considered for a special issue in Journal of Logical and Algebraic Methods in Programming (JLAMP).
January 12, 2026 at 2:48 PM
Extended selected papers will be considered for a special issue in Journal of Logical and Algebraic Methods in Programming (JLAMP).
#FMBC26 will feature two keynotes from
- Pamina Georgiou from Certora
and
- Alexander Hicks from @ethereum.foundation
- Pamina Georgiou from Certora
and
- Alexander Hicks from @ethereum.foundation
January 12, 2026 at 2:47 PM
#FMBC26 will feature two keynotes from
- Pamina Georgiou from Certora
and
- Alexander Hicks from @ethereum.foundation
- Pamina Georgiou from Certora
and
- Alexander Hicks from @ethereum.foundation
Proceedings will be published as a volume of the OpenAccess Series in Informatics (OASIcs) by Dagstuhl.
January 12, 2026 at 2:47 PM
Proceedings will be published as a volume of the OpenAccess Series in Informatics (OASIcs) by Dagstuhl.