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

[Radu Iosif]

FROM 2025 - 9th Working Formal Methods Symposium  
September 17-19, 2025, Iași, România

The Working Formal Methods Symposium (FROM) aims to bring together researchers and practitioners working on formal methods by contributing new theoretical results, methods, techniques, and frameworks, and/or by creating or using software tools that apply theoretical contributions. The program includes invited lectures and regular contributions.

Organizers:

   Verimag, CNRS, University of Grenoble Alpes
   Faculty of Computer Science, Alexandru Ioan Cuza University of Iași

 Important Dates

   Paper/abstract submission deadline: June 7, 2025
   Author notification: July 15, 2025
   Revised paper/abstract submission deadline: August 29, 2025
   Registration deadline: September 2, 2025
   Symposium dates: September 17-19, 2025

 Submissions

Papers of up to 16 pages prepared according to the EPTCS template (https://urldefense.com/v3/__https://style.eptcs.org/__;!!IBzWLUs!ULwOO0T-iYIWjwLl15Gddfw2I8P6ve0nOGOyR-IK7ZEsGGE9G2SCk7FgVxO_oeMxRPSFpQorvEOF_E-sLnzxG8ZDuVQJLF9dJIN0-Bm6yQJ70-s$ ) must be submitted electronically using the EasyChair submission system (https://urldefense.com/v3/__https://easychair.org/conferences?conf=from2025__;!!IBzWLUs!ULwOO0T-iYIWjwLl15Gddfw2I8P6ve0nOGOyR-IK7ZEsGGE9G2SCk7FgVxO_oeMxRPSFpQorvEOF_E-sLnzxG8ZDuVQJLF9dJIN0-Bm6zuuorBc$ ). Research papers must contain original research results not submitted or published elsewhere. Accepted papers will be included in the EPTCS proceedings and indexed in the Web of Science. Selected papers will be invited to submit an extended version to the journal Scientific Annals of Computer Science (https://urldefense.com/v3/__https://publications.info.uaic.ro/scientific-annals-of-computer-science/__;!!IBzWLUs!ULwOO0T-iYIWjwLl15Gddfw2I8P6ve0nOGOyR-IK7ZEsGGE9G2SCk7FgVxO_oeMxRPSFpQorvEOF_E-sLnzxG8ZDuVQJLF9dJIN0-Bm6bGoCOGA$ ).

Authors wishing to present work in progress or survey previous research are invited to submit an extended abstract (up to 8 pages). Papers will be reviewed and selected based on scientific merit and relevance.

 Topics of Interest

 Areas and Formalisms

   Category theory in computer science
   Distributed systems and concurrency
   Formal languages and automata theory
   Formal modeling, verification, and testing
   Logic in computer science
   Mathematical structures in computer science
   Semantics of programming languages
   Type systems

 Methods

   Automated reasoning and model generation
   Certified programs
   Deductive verification
   Model checking
   Proof mining
   Symbolic computation
   Term rewriting
   Formal Methods in ML/LLMs/AI

 Applications

   Computational logic
   Computer mathematics
   Program analysis
   Software and hardware verification

 Programme Committee

   Radu Iosif - Verimag, CNRS, University of Grenoble Alpes (chair)
   Arnaud Sangnier - IRIF, Univ Paris Diderot, CNRS, France
   Viorica Sofronie-Stokkermans - University of Koblenz
   Florian Zuleger - Technische Universität Wien
   Vlad Rusu - INRIA, France
   David Nowak - CNRS, France
   Andrei Sipoș - University of Bucharest
   Mircea Marin - West University of Timișoara
   Dorel Lucanu - Alexandru Ioan Cuza University of Iași
   Laurențiu Leuștean - Faculty of Mathematics and Computer Science, University of Bucharest
   Alicia Villanueva - VRAIN - Universitat Politècnica de València
   Ștefan Ciobaca - Alexandru Ioan Cuza University of Iași
   Andrei Arusoaie - Alexandru Ioan Cuza University of Iași
   Peter Habermehl - IRIF, University Paris Cité
   Dániel Horpácsi - Eötvös Loránd University, Budapest
   Mihaela Sighireanu - LMF, ENS Paris Saclay
   Madalina Erascu - West University of Timisoara
   Tomas Vojnar - Masaryk University and Brno University of Technology
   Pierre Ganty - IMDEA Software, Madrid

 Invited Speakers

TBA

 Further Information

More details available at: https://urldefense.com/v3/__https://fromsymposium.github.io/__;!!IBzWLUs!ULwOO0T-iYIWjwLl15Gddfw2I8P6ve0nOGOyR-IK7ZEsGGE9G2SCk7FgVxO_oeMxRPSFpQorvEOF_E-sLnzxG8ZDuVQJLF9dJIN0-Bm6z9ERl2I$