[Apologies for multiple copies]
FROM 2018 - First Call for Participation

       WORKING FORMAL METHODS SYMPOSIUM (FROM)
       http://fmse.info.uaic.ro/event/from-2018/

18 - 20 June 2018
Faculty of Computer Science
Alexandru Ioan Cuza University
Iasi, Romania

*** New ***
We included in the program of the conference a new category, short contributions, where submissions may describe work in progress or PhD progress/research reports. We still have 3-4 slots available for this category. If you are interested in giving a short talk, please submit an abstract of at most 2 pages using Easychair:
https://easychair.org/conferences/?conf=from2018
Deadline for submitting short contributions: June 6, 2018
Notification: June 8, 2018


*** Attendance ***
Everyone is welcome to attend. Registration is required and the
deadline is June 15.
Please register on the FROM 2018 webpage:
https://fmse.info.uaic.ro/from-2018-registration/

*** About ***
The Working Formal Methods Symposium (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.

*** Invited speakers ***
Călin Belta, Boston University, US. Formal Synthesis of Control Strategies for Dynamical Systems

Radu Călinescu, University of York, UK. Observation-enhanced stochastic modelling

Cătălin Dima, Universite Paris-Est Creteil, France. Bisimulations for logics for strategies

Dragos Gavrilut, Bitdefender and Alexandru Ioan Cuza University, Romania. TBA

Radu Grigore, School of Computing University of Kent, UK. Selective Monitoring 

Cătălin Hriţcu, INRIA Paris, France. Formally Secure Compilation

Mircea Marin, West University of Timișoara, Romania. Unification and matching in unranked term algebras with regular expression
sorts

Grigore Roşu, University of Illinois at Urbana-Champaign, US. Formal Design, Implementation and Verification of Blockchain Languages
and Virtual Machines

Viorica Sofronie-Stokkermans, University Of Koblenz, Landau, Germany. On Symbol Elimination in Theory Extensions and Applications

Gheorghe Ștefănescu, University of Bucharest, Romania. Adaptive virtual organisms: A compositional model for hardware-software binding in the IoT era

*** Accepted papers ***
Bogdan Aman and Gabriel Ciobanu. Timed Migration with Costs in Distributed Systems

Ruxandra Stoean. Machine Learning and Formal Methods or the Ballad of East and West

Gabriel Ciobanu and Eneia Nicolae Todoran. Continuation Semantics for Concurrent Languages

Stefan Popescu. Solving a variant of the 2-D pattern matching problem using Networks of Polarized Evolutionary Picture Processors with a restriction in polarity.

Vlad Rusu. Compositional Verification of Reachability-Logic Properties on Reachability-Logic Specifications

Georgiana Caltais and Mohammadreza Mousavi. Encoding Causality via Modal Formulae

Denisa Diaconescu. Bisimulations in many-valued modal logics
Andrei Alexandru and Gabriel Ciobanu. Infinite Sets in Fraenkel-Mostowski Theory

Ioana Leustean and Natalia Moangă. A many-sorted polyadic modal logic

Andrei Arusoaie. Unification in Matching Logic

Ioana Leuștean and Traian Florin Serbanuta. An operational-semantics-based approach to program verification using dynamic logic

Short Contributions:
Ana Turlea, Raluca Lefticaru and Felician Campean. Search based Model in the Loop Testing for Cyber Physical Systems

We gratefully acknowledge financial support from Amazon’s Development Center in Iasi and Continental Automotive in Iasi.

Laurențiu Leuștean, co-chair FROM 2018
Dorel Lucanu, co-chair FROM 2018