FROM 2025: Working Formal Methods Symposium Iasi, Romania, September 17-19, 2025 |
| Conference website | https://fromsymposium.github.io/ |
| Submission link | https://easychair.org/conferences/?conf=from2025 |
| Submission deadline | June 7, 2025 |
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.
Submission Guidelines
All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are welcome:
Papers of up to 16 pages prepared according to the EPTCS template must be submitted electronically using the EasyChair submission system. 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.
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.
List of Topics
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
Applications
- Computational logic
- Computer mathematics
- Program analysis
- Software and hardware verification
Committees
Program 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
- Daniel Horpacsi - Eotvos Lorand University, Budapest
- Mihaela Sighireanu - ENS Saclay, Paris
- Madalina Erascu - West University, Timisoara
- Tomas Vojnar - Masaryk University, Brno
- Pierre Ganty - IMDEA Software, Madrid
Organizing committee
- Andrei Arusoaie - Alexandru Ioan Cuza University of Iași
- Ștefan Ciobaca - Alexandru Ioan Cuza University of Iași
- Dorel Lucanu - Alexandru Ioan Cuza University of Iași
Invited Speakers
- TBA
Publication
FROM 2025 proceedings will be published in the journal Scientific Annals of Computer Science
https://publications.info.uaic.ro/scientific-annals-of-computer-science/
Venue
The conference will be held in Iasi, Romania (more to come)
Contact
All questions about submissions should be emailed to Radu.Iosif@univ-grenoble-alpes.fr