========================================================== 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)