[TYPES/announce] [call for participation] FROM 2025 - 9th Working Formal Methods Symposium

[Radu Iosif]

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 andrei.arusoaie at uaic.ro