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.

Informal proceedings

Conference venue

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

  • Organizing Commitee

  • Andrei Arusoaie, "Alexandru Ioan Cuza" University of Iași
  • Denisa Diaconescu, University of Bucharest
  • Ioana Leuștean, University of Bucharest
  • Oana Peiu, ICUB representative
  • Ștefan Popescu, University of Bucharest
  • Ana Țurlea, University of Bucharest
  • 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

Submission

Sumbissions are closed!

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.

Programme

All talks will be hosted at "Dimitrie Pompeiu" amphitheater, located at the second floor of the Faculty of Mathematics and Computer Science.
Our informal proceedings is available here.
Download our programme here.

July 5, 2017

10:00-10:45

Registration

10:45-11:00

Opening

11:00-11:50

Ion Petre

Network controllability: theory and applications
11:50-12:10

Coffee Break

12:10-13:00

Florentin Ipate

System Modelling, Validation and Testing using Kernel P Systems
13:00-15:00

Lunch

15:00-15:50

Radu Grosu

Parking with a Worm’s Brain
15:50-16.00

Coffee break

16:00-16:50

Gabriel Ciobanu

Scheduled Migration in Distributed Systems [slides]
16:50-17:20

Bogdan Aman

Multiparty Session Types for Mobility

July 6, 2017

09:30-10:20

Gabriel Sandu

Independence-friendly logic (IF-logic) and applications
10:20-10:40

Coffee break

10:40-11:30

Daniel Gaina

Specification and Verification of Invariant Properties of Transitional Systems
11:30-12:00

Ionut Tutu

A hybrid-logic approach to dynamic networks of interactions
12:00-12:30

Adriana Balan

A Multi-Valued Framework for Coalgebraic Logics over Generalised Metric Spaces [slides]
12:30-14:30

Lunch

14:30-15:20

Gabriel Istrate

Proof Complexity and Satisfiability Solving for several Combinatorial Principles [slides]
15:20-15:40

Coffee break

15:40-16:10

PhD Session: Claudia Chirita

A Formal Approach to Computational Creativity
16:10-16:30

PhD Session: Andrei Sipos

Representable functions in Moisil logic [slides]
16:30-16:50

PhD Session: Vlad Craciun

Automated analysis of possible malware applications
16:50-17:10

PhD Session: Ana Turlea

A Two Steps Test Suite Generation Approach based on Extended Finite State Machines [slides]

July 7, 2017

09:30-10:20

Marius Minea

Building Models for Verification of Security Properties .
10:20-10:40

Coffee break

10:40-11:30

Cezara Dragoi

Partially synchronous programming abstractions for fault-tolerant distributed algorithms
11:30-12:20

Florin Craciun

A Session Logic for Communication Protocols
12:20-14:00

Lunch

14:00-14:50

Alexandru Baltag

Knowing Correlations
14:50-15:40

Razvan Diaconescu

Mathematical foundations for conceptual blending [slides]
15:40-15:50

Coffee break

15:50-16:40

Andrei Popescu

Proof assistants as smart programming languages
18:30

Social dinner at "Casa Universitarilor" (Strada Dionisie Lupu 46)



July 8, 2017

09:30-10:20

Grigore Rosu/Traian Serbanuta

Matching Logic: Syntax and Semantics [slides]
10:20-10:40

Coffee break

10:40-11:30

Vlad Rusu

Proving Partial Correctness Beyond Programs
11:30-12:20

Stefan Ciobaca

Proving Reachability Modulo Theories
12:20-13:00

Discussions

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

Top