[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