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. Formal methods emphasise the use of mathematical techniques and rigour in developing software and hardware. They can be used to specify, verify, and analyse systems at any stage in their life cycle: requirements engineering, modeling, design, architecture, implementation, testing, maintenance and evolution. This assumes on one hand the development of adequate mathematical methods and frameworks and on the other hand the development of tools that help the user effectively apply these methods and frameworks.

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

Previous editions of FROM:

• 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.

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
  • 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

to be announced.

Organising Committee

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

Keynote Speakers

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 5, 2025
• Symposium dates: September 17-19, 2025

Venue

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.

Contact

Email us at TBA