========================================================== CALL FOR (VIRTUAL) PARTICIPATION iFM 2020

16th International Conference on integrated Formal Methods 16-20 November 2020, hosted virtually from Lugano, Switzerland

https://ifm20.si.usi.ch/ ===========================================================

Due to the disruptions caused by the COVID-19 pandemic, iFM 2020 will be a virtual event. To attend it, you should register by 9 November 2020.

=== Important dates ===

Registration deadline: 9 November 2020 Main conference: 18-20 November 2020

=== Invited speakers ===

- Edward A. Lee (University of California at Berkeley, United States) - David Parker (University of Birmingham, United Kingdom) - Hongseok Yang (School of Computing, KAIST, Korea)

=== Paper presentations ===

PALM: a technique for Process ALgebraic specification Mining Sara Belluccini, Rocco De Nicola, Barbara Re and Francesco Tiezzi

Modular Integration of Crashsafe Caching into a Verified Virtual File System Switch Stefan Bodenm��ller, Gerhard Schellhorn and Wolfgang Reif

Formal Verification of Executable Complementation and Equivalence Checking for B��chi Automata Julian Brunner

Lock and Fence When Needed: State Space Exploration + Static Analysis = Improved Fence and Lock Insertion Sander de Putter and Anton Wijs

Chain of events: Modular Process Models for the Law S��ren Debois, Hugo A. L��pez, Tijs Slaats, Amine Abbad Andaloussi and Thomas Hildebrandt

An Event-B Based Generic Framework for Hybrid Systems Formal Modelling Guillaume Dupont, Yamine Ait Ameur, Marc Pantel and Neeraj Singh

Grey-Box Learning of Register Automata Bharat Garhewal, Frits Vaandrager, Falk Howar, Timo Schrijvers, Toon Lenaerts and Rob Smits

Active Objects with Deterministic Behaviour Ludovic Henrio, Einar Broch Johnsen and Violet Ka I Pun

History-based Specification and Verification of Java Collections in KeY Hans-Dieter Hiep, Jinting Bian, Frank De Boer and Stijn De Gouw

Algebra-based Loop Synthesis Andreas Humenberger, Nikolaj Bjorner and Laura Kovacs

Meeduse: A Tool to Build and Run Proved DSLs Akram Idani

Reformulation of SAT into a Polynomial Box-Constrained Optimization Problem (Short Paper) St��phane Jacquet and Sylvain Hall��

Formal Policy Synthesis for Continuous-State Systems via Reinforcement Learning Milad Kazemi and Sadegh Soudjani

Fast and Effective Well-Definedness Checking for Formal Models Michael Leuschel

Detection of Polluting Test Objectives for Dataflow Criteria Thibault Martin, Nikolai Kosmatov, Virgile Prevosto and Matthieu Lemerre

Clustering-Guided SMT(LRA) Learning Tim Meywerk, Marcel Walter, Daniel Gro��e and Rolf Drechsler

Jaint: A Framework for User-Defined Dynamic Taint-Analyses based on Dynamic Symbolic Execution of Java Programs Malte Mues, Till Schallau and Falk Howar

Synthesizing clock-efficient timed automata Neda Saeedloei and Feliks Kluzniak

A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-based Sorting Algorithms Mohsen Safari and Marieke Huisman

Tight Error Analysis in Fixed-point Arithmetic Stella Simic, Alberto Bemporad, Omar Inverso and Mirco Tribastone

Generating SPARK from Event-B Models Sanjeevan Sritharan and Thai Son Hoang

Philosophers may Dine - Definitively! Safouan Taha, Lina Ye and Burkhart Wolff

Automatic Generation of Guard-Stable Floating-Point Code Laura Titolo, Mariano Moscato, Marco Antonio Feliu Gabaldon and Cesar Munoz

Formal methods for GPGPU programming: is the demand met? Lars B. van den Haak, Anton Wijs, Mark van den Brand and Marieke Huisman

=== Organisation ===

= General chair = Carlo A. Furia (USI Universit�� della Svizzera Italiana, Switzerland)

= PC chairs = Brijesh Dongol (University of Surrey, UK) Elena Troubitsyna (KTH -- Royal Institute of Technology, Sweden)

= Local Organisation =

Web Chair Mohammad Rezaalipour (USI Universit�� della Svizzera italiana, CH)

Publicity Chair Diego Marcilio (USI Universit�� della Svizzera italiana, CH)

Finance Chair Elisa Larghi (USI Universit�� della Svizzera italiana, CH)

= Program committee = Erika Abraham (RWTH, Aachen University, Germany) Wolfgang Ahrendt (Chalmers University of Technology, Sweden) Yamine Ait Ameur (IRIT/INPT-ENSEEIHT, France) ��tienne Andr�� (Universit�� de Lorraine, France) Richard Banach (The University of Manchester, UK) Maurice H. ter Beek (ISTI-CNR, Italy) Pierre-Evariste Dagand (CNRS-LIP6, France) Ferruccio Damiani (University of Torino, Italy) John Derrick (University of Sheffield, UK) Brijesh Dongol (University of Surrey, UK) Marc Frappier (University of Sherbrooke, Canada) Carlo A. Furia (USI Universit�� della Svizzera italiana, Switzerland) Marieke Huisman (University of Twente, Netherlands) Fuyuki Ishikawa (National Institute of Informatics, Japan) Einar Broch Johnsen (University of Oslo, Norway) Stephan Merz (Inria Nancy, France) Paritosh Pandya (IIT Mumbai, India) Patrizio Pelliccione (Chalmers University of Technology, Sweden) Luigia Petre (��bo Akademi University, Finland) R. Ramanujam (Institute of Mathematical Sciences, India) Steve Schneider (University of Surrey, UK) Emil Sekerinski (McMaster University, Canada) Silvia Lizeth Tapia Tarifa (University of Oslo, Norway) Stefano Tonetta (FBK, Italy) Elena Troubitsyna (KTH, Sweden) Juri Vain (Tallin Technical University, Estonia) Tom���� Vojnar (Brno University of Technology, Czech Republic) Farn Wang (NTU, Taiwan) Heike Wehrheim (University of Paderborn, Germany) Kirsten Winter (University of Queensland, Australia) Naijun Zhan (Chinese Academy of Sciences, China)