K-user mailing list

[Stefan Ciobaca <stefan.ciobaca AT gmail.com>]

[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