FROM 2025 (Working Formal Methods Symposium)

Submission Guidelines

Papers of up to 16 pages (excluding references and appendices) 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.

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

Selected papers will be invited to submit an extended version to the Journal of Logical and Algebraic Methods in Programming, subject to formal approval by Elsevier.

• Submit your work using EasyChair.
• See the call for papers.

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.

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.

Keynote Speakers

• Georgiana Caltais, University of Twente
• Jérôme Leroux, Laboratoire Bordelais de Recherche en Informatique
• Rupak Majumdar, Max Planck Institute for Software Systems and Automated Reasoning Group, Amazon Web Services
• Chin Wei Ngan, National University of Singapore
• Traian Florin Șerbănuță , University of Bucharest and Pi Squared Inc.

Tutorial Speaker

Important Dates

• Paper/abstract submission deadline: June 7, 2025 June 22nd, 2025, anywhere on Earth (extended)
• Author notification: July 15, 2025 July 22nd, 2025
• Revised paper/abstract submission deadline: August 29, 2025
• Registration deadline: September 5, 2025
• Symposium dates: September 17-19, 2025

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.

Contact

Email one of the organizers at andrei.arusoaie@uaic.ro or stefan.ciobaca@uaic.ro.