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://style.eptcs.org/) must be submitted electronically using the EasyChair submission system (https://easychair.org/conferences?conf=from2025). 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://publications.info.uaic.ro/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.

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://fromsymposium.github.io/