Men Speaker


About The Conference

Formal methods use mathematical techniques and rigour for developing software and hardware. The formal methods can be used to specify, verify, and analyse in any part of the system life cycle: requirements engineering, modeling, design, architecture, implementation, testing, maintenance and evolution. This assume on the one hand the development of adequate mathematical methods and frameworks and on the other hand the development of tools that help the user to effectively apply these methods/frameworks in the life cycle of the system. Working Formal Methods Symposium (FROM) aims to bring together researchers and practitioners who work for formal methods by contributing with 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.

Faculty of Computer Science of the Alexandru Ioan Cuza University of Iasi, ICUB (The Research Institute of the University of Bucharest), and the Faculty of Mathematics and Computer Science of the University of Bucharest organize FROM 2018, the second one from a yearly workshop series. The first edition held in 2017 in Bucharest:
and it was a very successful event, with sixteen invited talks, delivered by top researchers in field, and seven contributed talks. Starting with the current edition, the goal is to increase the weight of the contributed talks.

The program of the symposium will include invited lectures and regular contributions. Submissions on the general topic of theoretical computer science, formal methods and applications are solicited.

Call for Papers

Call For Papers (txt)


  • Deadline for abstract submission: 29 April 2018
  • Author notification: 21 May 2018
  • Conference days: 18 - 20 June 2018

Invited Speakers

speaker img

Călin Belta

Boston University, US

speaker img

Radu Călinescu

University of York, UK

speaker img

Cătălin Dima

Universite Paris-Est Creteil, France

speaker img

Dragos Gavrilut

Bitdefender and Alexandru Ioan Cuza University, Romania

speaker img

Radu Grigore

School of Computing University of Kent, UK

speaker img

Radu Grosu

Vienna University of Technology, Austria

speaker img

Cătălin Hriţcu

INRIA Paris, France

speaker img

Mircea Marin

West University of Timișoara, Romania

speaker img

Grigore Roşu

University of Illinois at Urbana-Champaign, US

speaker img

Viorica Sofronie-Stokkermans

University Of Koblenz, Landau, Germany

speaker img

Gheorghe Ștefănescu

University of Bucharest, Romania

There are several further pending invitations.

Contributed Talks



Programme commitee

Organizing Commitee

  • Andrei Arusoaie, Alexandru Ioan Cuza University of Iași
  • Ştefan Ciobâcă, Alexandru Ioan Cuza University of Iași (chair)
  • Rodica Condurache, Alexandru Ioan Cuza University of Iași
  • Bogdan Aman, Alexandru Ioan Cuza University of Iași
  • Cezar Andrici, Alexandru Ioan Cuza University of Iași


Faculty of Computer Science, Alexandru Ioan Cuza University of Iași

16, General Henri Mathias Berthelot Street, Iași 700259, România

The easiest way to reach Iasi is by plane. There are direct flights to/from Bruxelles, Paris, London, Vienna, Rome, Tel Aviv, Bucharest, Munchen, Koln, Bergamo, Bologna, Catania, Treviso, Torino, Barcelona, Timisoara and Larnaca. A taxi from the airport to the city center will cost around 20 to 30 RON. All the certificated taxis in Iași are yellow and easily recognizable.

Contact Us

  • Ştefan Ciobâcă
  • Faculty of Computer Science
  • Alexandru Ioan Cuza University of Iaşi
  • General Berthelot, 16, IAŞI 700483, ROMANIA