[TYPES/announce] FROM 2018 Call for Participation

[Stefan Ciobaca]

[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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180602/2e698f99/attachment-0001.html>