[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