FROM 2021

in the framework of

SYNASC 2021
23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

Timisoara, Romania
7-10 December, 2021

Workshop deadlines

  • 29 September 2021: Deadline for full paper submission
  • 7 October 2021: Notification of acceptance
  • 15 October 2021: Registration
  • 15 October 2021: Submission of revised papers and registration
  • 7-10 December 2021: Workshop

Workshop description

FROM aims to bring together researchers and practitioners who work on formal methods by contributing new theoretical results, methods, techniques, and frameworks, and/or make the formal methods to work by creating or using software tools that apply theoretical contributions.

FROM 2021 is the fifth event in a yearly workshop series. The previous editions were held in Bucuresti, Iasi, Timisoara, and Cluj.

Submission of papers

We invite submissions containing original research results in the form of:
+ full research papers
+ short papers (work in progress)

Papers of up to 8 pages prepared according to the CPS template must be submitted electronically using the submission system that will be later accessible through EasyChair.
Research papers must contain original research results not submitted and not published elsewhere. 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 4 pages). Papers will be refereed and accepted on the basis of their scientific merit and relevance to the workshop topics.

Publication

Accepted research papers should be presented at the conference and the best papers will be selected for publication in the proceedings published by Conference Publishing Service (CPS) (submitted in IEEE Xplore)

We intend to invite authors of the best original contributions — regular or short — to submit extended versions to a special issue of a journal. For previous editions, we published selected papers in Fundamenta Informaticae (2018) and Journal of Logical and Algebraic Methods in Programming (2019).

Link to the page: https://from2021.cs.unibuc.ro/

Submission

Papers of up to 8 pages prepared according to the CPS template must be submitted electronically through EasyChair by making a new submission to the track “Working Formal Methods Symposium”.

Research papers must contain original research results not submitted and not published elsewhere. 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 4 pages). Papers will be refereed and accepted on the basis of their scientific merit and relevance to the workshop topics.

Program Committee

  • Andrei Arusoaie, Alexandru Ioan Cuza University of Iași
  • Adrian Crăciun, West University of Timișoara
  • Florin Crăciun, Babeș-Bolyai University of Cluj-Napoca
  • Cătălin Dima, Université Paris-Est Créteil
  • Ioana Leuştean, University of Bucharest
  • Laurențiu Leuştean, University of Bucharest (Co-chair)
  • Dorel Lucanu, Alexandru Ioan Cuza University of Iași
  • Mircea Marin, West University of Timișoara (Co-chair)
  • Simona Motogna, Babeș-Bolyai University of Cluj-Napoca
  • David Nowak, CNRS & University of Lille
  • Grigore Roşu, University of Illinois at Urbana-Champaign
  • Vlad Rusu, INRIA Lille Nord Europe
  • Viorica Sofronie-Stokkermans, University Koblenz-Landau

Organizing Committee

  • Isabela Drămnesc, West University of Timișoara
  • Mircea Marin, West University of Timișoara (Chair)
  • Natalia Moangă, University of Bucharest