[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
We are delighted to invite you to participate to the
9th edition of FROM 2025 (Working Formal Methods Symposium), September 17-19,
2025, Alexandru Ioan Cuza University, Iași, Romania
https://urldefense.com/v3/__https://fromsymposium.github.io/__;!!IBzWLUs!TIZYjDVmOApm7nNyoDWW7LI18uELfEIjCidoZMWfObfN96ZWkfx9ZiiJKeQA3PMB2p8ARXFTsmIC343IrIp4pGjly84zqkU6vuFM19wQAM9zKfo$
FROM aims to bring together researchers and practitioners who work on formal
methods by contributing new theoretical results, methods, techniques, and
frameworks, and/or by creating or using software tools that apply theoretical
contributions.
Invited speakers:
- Georgiana Caltais, University of Twente: A Comparative Perspective on Fault
Trees and Actual Causality
- Jérôme Leroux, Laboratoire Bordelais de Recherche en Informatique (LaBRI):
Well Quasi Orders and Formal Verification
- Rupak Majumdar, Max Planck Institute for Software Systems and Automated
Reasoning Group, Amazon Web Services: Reasoning about Almost Sure Termination
- Chin Wei Ngan, National University of Singapore: From Separation Logic to
Staged Logic for Higher-Order Programs and Beyond
- Traian Florin Serbanuta, University of Bucharest and Pi Squared Inc.: A
Logic-Programming Approach to Arithmetic Circuit Design – Deriving
Zero-Knowledge Certificates from Mathematical Proofs
- Alexandru Ipatiov, Continental Automotive Romania SRL: A Z3 based automated
architecture-synthesis tool for automotive industry (tutorial)
Registration link:
https://urldefense.com/v3/__https://forms.gle/5p5zEDE9J35hpXZH7__;!!IBzWLUs!TIZYjDVmOApm7nNyoDWW7LI18uELfEIjCidoZMWfObfN96ZWkfx9ZiiJKeQA3PMB2p8ARXFTsmIC343IrIp4pGjly84zqkU6vuFM19wQ86kOgAg$
Participants are encouraged to register by September 14, although registration
will remain open until and during the conference. If you would like to apply
for a registration fee waiver, please contact us at [email protected]
