FROM 2025

About FROM

The Working Formal Methods Symposium (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.

Picture of the main building of the Alexandru Ioan Cuza University

Topics of Interest

Areas and formalisms: Category theory in computer science, Distributed systems and concurrency, Domain science and engineering, Formal languages and automata theory, Formal modelling, verification and testing, Logic in computer science, Logical frameworks, Mathematical structures in computer science, Models of computation, Semantics of programming languages, Type systems;
Methods: Automated reasoning and model generation, Automated induction, Certified programs, Data-flow and control-flow analysis, Deductive verification, Formal Methods in ML/LLMs/AI, Mechanized proofs, Model checking, Proof mining, Symbolic computation, Term rewriting;
Applications: Computational logic, Computer mathematics, Knowledge representation, ontology reasoning, deductive databases, Program analysis, Verification and synthesis of software and hardware, Uncertainty reasoning and soft computing, Submissions on any other related topics are welcome.

Programme Committee

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

Organising Committee

Andrei Arusoaie (Alexandru Ioan Cuza University of Iași)
Ștefan Ciobâcă (Alexandru Ioan Cuza University of Iași)
Diana-Elena Gratie (Alexandru Ioan Cuza University of Iași)

Previous editions

FROM 2025 is organized by the Faculty of Computer Science in Iaşi, and it is part of a series of symposiums organised on a rotating basis by the Faculty of Mathematics and Computer Science of the University of Bucharest, the Faculty of Mathematics and Computer Science of the Babeș-Bolyai University of Cluj-Napoca, the Faculty of Computer Science of the Alexandru Ioan Cuza University of Iași, and the Faculty of Mathematics and Computer Science of the West University of Timișoara

The eigth edition of FROM was organised jointly by Faculty of Mathematics and Computer Science of West University of Timisoara and the Institute for Logic and Data Science (ILDS) in Timișoara (2024).
The seventh edition was held physically in 2023 in Bucharest.
The sixth edition was held physically in 2022 in Iași.
The fifth edition (2021), in Timişoara, organized as a virtual event due to the COVID-19 pandemic.
The fourth edition was organized in Cluj-Napoca in 2020, also organised as a virtual event.
The third edition was held in 2019 in Timişoara.
The second edition was held in 2018 in Iaşi.
The first edition was held in 2017 in Bucharest.

Venue

Alexandru Ioan Cuza University

Faculty of Computer Science

Room: TBA

General Berthelot St, 16, Iași, România

Travel arrangements

You can reach Iaşi by plane (check the Iași Airport page for details), by train (tickets available via CFR Călători), or by car (the distance to Bucharest is ~400km, 6 hours).

Hotels

We plan to arrange accommodation at Gaudeamus University Hotel, but availability is limited. However, nearby hotels include Hotel Unirea, Hotel Traian, and Apartment Hotel Prestige.

FROM 2025 (Working Formal Methods Symposium)

September 17-19, 2025

Alexandru Ioan Cuza University, Iași, Romania