Call For Papers

FROM 2024 Eighth Working Formal Methods Symposium

September 16-18, 2024, Timisoara, Romania

co-located with SYNASC 2024


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. The program of the symposium includes invited lectures and regular contributions. Submissions on the general topics of formal methods, theoretical computer science, logic and applications are welcome. This event is co-located with the 26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2024).



  • Deadline for paper/abstract submission: June 30, 2024 (extended)
  • Deadline for author notification: July 19, 2024
  • Deadline for revised paper/abstract submission: August 29, 2024
  • Deadline for registration: September 5, 2024
  • Symposium: September 16-18, 2024


  • Dines Bjorner (Technical University of Denmark)
  • Nikolaj Bjorner (Microsoft Research, USA)
  • Laura Kovacs (TU Wien)


  • Madalina Erascu (West University of Timisoara, Romania)
  • Vlad Rusu (Inria Lille, France)
  • Andrei Voronkov (University of Manchester, England)


Papers of up to 16 pages prepared according to the EPTCS template must be submitted electronically using the EasyChair submission system here: and choosing the track “Working Formal Methods Symposium.” Research papers must contain original research results not submitted and not published elsewhere. They will be considered for inclusion in the EPTCS proceedings of the symposium, which will be indexed in the Web of Science. Authors who want to present work in progress or discuss new aspects or a survey of their older research results at the workshop are welcome to submit an extended abstract (up to 8 pages). Papers will be refereed and accepted on the basis of their scientific merit and relevance to the topics of the symposium.


The topics of interest for FROM 2024 include, but are not limited to:

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


  • 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


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


  • Florin Craciun (Babes-Bolyai University of Cluj-Napoca)
  • Volker Diekert (Universitaet Stuttgart)
  • Temur Kutsia (Johannes Kepler University Linz)
  • Laurentiu Leustean (University of Bucharest & ILDS & IMAR) (co-chair)
  • Dorel Lucanu (Alexandru Ioan Cuza University of Iasi)
  • Mircea Marin (West University of Timisoara) (co-chair)
  • David Nowak (CNRS & University of Lille)
  • Corina Pasareanu (NASA & Carnegie Mellon University)
  • Andrei Popescu (University of Sheffield)
  • Thomas Powell (University of Bath)
  • Grigore Rosu (University of Illinois at Urbana-Champaign)
  • Vlad Rusu (Inria Lille)
  • Andrei Sipos (University of Bucharest & ILDS & IMAR)
  • Viorica Sofronie-Stokkermans (University of Koblenz and Landau)
  • Alicia Villanueva (Universitat Politecnica de Valencia)
  • Radu Iosif (CNRS-VERIMAG)

Further information is available on our website,