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.

ICUB (The Research Institute of the University of Bucharest), the Faculty of Mathematics and Computer Science of the University of Bucharest and the Faculty of Computer Science of the Alexandru Ioan Cuza University of Iași organize FROM2017, the first one from a yearly workshop series, meant to bring together the Romanian researchers in formal methods and to foster international collaborations.

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.

Conference venue

  • 5 July - 8 July: Conference days
  • 8 June: Extended deadline for notification of acceptance
  • 28 May: Extended deadline for abstract submission
  • 31 May: Notification of acceptance
  • 21 May: Deadline for abstract submission

Regular contributions will be based on an extended abstract of 2 pages, excepting the references, formatted according to the guidelines for Springer LNCS. The abstracts should be submitted before 21 May 2017, via EasyChair:

We invite submissions of abstracts that describe either original research, or work in progress, or recently published results on any topic related to formal methods. For more information about the suggested topics, please consult the call for papers.


This is a preliminary version!

Our informal proceedings is available here!

July 5, 2017
10:00 - 10:45 Registration
10:45 - 11:00 Opening
11:00 - 11:50 Ion Petre
11:50 - 12:10 Coffee Break
12:10 - 13:00 Florentin Ipate
13:00 - 15:00 Lunch
15:00 - 15:50 Radu Grosu
15:50 - 16.00 Coffee break
16:00- 16:50 Gabriel Ciobanu
16:50 - 17:20 Bogdan Aman
July 6, 2017
09:30- 10:20 Răzvan Diaconescu
10:20- 10:40 Coffee break
10:40 - 11:30 Daniel Găină
11:30 - 12:00 Ionut Țuțu
12:00 - 12:30 Adriana Bălan
12:30 - 14:30 Lunch
14:30 - 15:20 Gabriel Istrate
15:20 - 15:40 Coffee break
15:40 - 16:10 PhD Session: Claudia Chiriță
16:10 - 16:30 PhD Session: Andrei Sipoș
16:30-16:50 PhD Session: Vlad Crăciun
16:50-17:10 PhD Session: Ana Țurlea
July 7, 2017
09:30 - 10:20 Marius Minea
10:20 - 10:40 Coffee break
10:40 - 11:30 Cezara Drăgoi
11:30 - 12:20 Florin Crăciun
12:20 - 14:00 Lunch
14:00 - 14:50 Gabriel Sandu
14:50 - 15:40 Alexandru Baltag
15:40-15:50 Coffee break
15:50 - 16:40 Andrei Popescu
19:00 Social dinner
July 8, 2017
09:30 - 10:20 Grigore Roșu/Traian Șerbănuță
10:20 - 10:40 Coffee break
10:40 - 11:30 Vlad Rusu
11:30 - 12:20 Ștefan Ciobâcă
12:20-13:00 Discussions

There are non-stop flights to Bucharest from most major European cities and in the Middle-East and connecting flights from the United States, Canada, Australia and New Zealand. Most international flights arrive at Henri Coanda (Otopeni) Airport. Airport facilities include ATM, currency exchange office, Taxi Desk and car rental. The airport is connected with the city center by official taxis and express buses. Bucharest's main train station - Gara de Nord - is a major rail centre with daily connections from/to cities throughout Europe and main cities in Romania. There are daily trains from/to Athens, Belgrade, Budapest, Istanbul, Kiev, Moscow, Prague, Sofia, and Vienna. Trains from/to Western European cities run via Budapest. Bucharest's public transportation network includes: bus (autobuz), tram (tramvai), trolley bus (troilebuz), subway (metrou) and taxi companies. Read more

Bucharest has a full range of accommodation facilities, at different rates and standards. The conference venue is downtown, so we reccomend you to book the accommodation in the center area.

Citizens of virtually all European countries, as well as Australia, Canada, Israel, Japan, New Zealand and the USA, do not require visas to visit Romania for short-stays (up to 90 days). For citizens from other countries, visas are issued at Romanian consulates. The bearers of a visa with 2 or multiple entries, a long-term visa or a residence permit issued by Schengen Member States shall no longer be required to hold a short-stay visa. If you need an official invitation to get the visa, please contact the conference organisers well in advance. Read more