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

Faculty of Mathematics and Computer Science, "Dimitrie Pompeiu" amphitheater, second floor

• 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: https://easychair.org/conferences/?conf=from2017

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.

Transportation
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

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

Visas
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

Email:    from2017 at icub.unibuc.ro