From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id BE5D07F027 for ; Thu, 10 Mar 2016 14:41:17 +0100 (CET) IronPort-PHdr: 9a23:DlXAZB3O5ivFBsCFsmDT+DRfVm0co7zxezQtwd8ZsegeKPad9pjvdHbS+e9qxAeQG96LtLQU26GL6ejJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd6NyZTnnL3os7ToICx2xxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cYjdt6r5cFCfyyP/1lDO8QMDNzZ2k//sTrvBzrTA2B4WEZW3kXkVxSHBTFqRjzVZf8tG32u7wu9jOdOJjbV7E3UHyL5b1iSBbtwHMOPSQw8GjSos12gqVBpRu9ph852ZHIYMScPfF+c6Wbcd5MFjkJZdpYSyEUWtD0VIAIFedUZLtV Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=abraham@informatik.rwth-aachen.de; spf=None smtp.mailfrom=eab@informatik.rwth-aachen.de; spf=None smtp.helo=postmaster@mx-out-2.rwth-aachen.de Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of abraham@informatik.rwth-aachen.de) identity=pra; client-ip=134.130.5.187; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="eab@informatik.rwth-aachen.de"; x-sender="abraham@informatik.rwth-aachen.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of eab@informatik.rwth-aachen.de) identity=mailfrom; client-ip=134.130.5.187; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="eab@informatik.rwth-aachen.de"; x-sender="eab@informatik.rwth-aachen.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mx-out-2.rwth-aachen.de) identity=helo; client-ip=134.130.5.187; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="eab@informatik.rwth-aachen.de"; x-sender="postmaster@mx-out-2.rwth-aachen.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AoAQDHeOFWk7sFgoZehBBeAQENAahOjSeGegqCPIRzOxEBAQEBAQEBARABAQEBCQsJCSEvgi2COAYVLgIFCywKAgUWCwILAwIBAgE1Fg0IAQGIIA6eJI9dj058ixWCXYJuCy0TgScFlzyFam1AgUWHAEuGegSFUocthz02gWIMAU2BVWqIFwIeB4EUAQEB X-IPAS-Result: A0AoAQDHeOFWk7sFgoZehBBeAQENAahOjSeGegqCPIRzOxEBAQEBAQEBARABAQEBCQsJCSEvgi2COAYVLgIFCywKAgUWCwILAwIBAgE1Fg0IAQGIIA6eJI9dj058ixWCXYJuCy0TgScFlzyFam1AgUWHAEuGegSFUocthz02gWIMAU2BVWqIFwIeB4EUAQEB X-IronPort-AV: E=Sophos;i="5.24,315,1454972400"; d="scan'208";a="207026430" Received: from mx-out-2.rwth-aachen.de ([134.130.5.187]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 10 Mar 2016 14:41:16 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A2BmDAA6eOFW/5sagoZegz4iMF4BAQ0BtXWGegqCPIRzTAEBAQEBAWUnhGUGFS4CBQssCgIFFgsCCwMCAQIBNRYNCAEBiCAOniSPXY9OfIsVgl2CbgstE4EnBZc8hWptQIFFhwBLhnoEhVKHLYc9YoE2DAFNgVVqiBcCHgeBFAEBAQ X-IronPort-AV: E=Sophos;i="5.24,315,1454972400"; d="scan'208";a="429054260" Received: from rwthex-s2-b.rwth-ad.de ([134.130.26.155]) by mx-2.rz.rwth-aachen.de with ESMTP; 10 Mar 2016 14:41:15 +0100 Received: from [137.226.194.24] (137.226.194.24) by rwthex-s2-b.rwth-ad.de (2002:8682:1a9b::8682:1a9b) with Microsoft SMTP Server (TLS) id 15.0.1130.7; Thu, 10 Mar 2016 14:41:14 +0100 To: From: Erika Abraham Organization: RWTH Aachen University Message-ID: <56E17979.6040108@informatik.rwth-aachen.de> Date: Thu, 10 Mar 2016 14:41:13 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.3.0 MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8"; format=flowed Content-Transfer-Encoding: 7bit X-ClientProxiedBy: rwthex-w1-a.rwth-ad.de (2002:8682:1a9c::8682:1a9c) To rwthex-s2-b.rwth-ad.de (2002:8682:1a9b::8682:1a9b) X-Validation-by: abraham@informatik.rwth-aachen.de Subject: [Caml-list] iFM 2016 Call for Participation =========================================================== CALL FOR PARTICIPATION iFM 2016 12th International Conference on integrated Formal Methods June 1-3, 2016, Reykjavik, Iceland http://en.ru.is/ifm/ =========================================================== === Important dates === Guaranteed hotel reservations: March 15, 2016 Early registration deadline: April 22, 2016 Conference: June 1-3, 2016 === Objectives and scope === Applying formal methods may involve the usage of different formalisms and different analysis techniques to validate a system, either because individual components are most amenable to one formalism or technique, because one is interested in different properties of the system, or simply to cope with the sheer complexity of the system. The iFM conference series seeks to further research into hybrid approaches to formal modeling and analysis; i.e., the combination of (formal and semi-formal) methods for system development, regarding both modeling and analysis. The conference covers all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice. Areas of interest include but are not limited to: - Formal and semi-formal modelling notations - Integration of formal methods into software engineering practice - Hybrid systems - Program verification - Program synthesis - Model checking - Static analysis - Runtime analysis, monitoring, performance evaluation - Decision procedures, SAT and SMT solving - Software engineering - Component-based systems (compositional, embedded, distributed, etc.) - Testing - Abstraction and refinement === Invited speakers === - Marsha Chechik (University of Toronto, Canada): Dimensions of Model Transformation Reuse - Laura Kovacs (Chalmers University of Technology, Sweden and TU Wien, Austria): Symbolic Computation and Automated Reasoning for Program Analysis - Reiner Haehnle (Technical University Darmstadt, Germany): Can Formal Methods Improve the Efficiency of Code Reviews? === List of accepted papers === - Daniel Darvas, Istvan Majzik and Enrique Blanco Vinuela. "Formal Verification of Safety PLC Based Control Software" - Gerhard Schellhorn, Oleg Travkin and Heike Wehrheim. "Towards a Thread-Local Proof Technique for Starvation Freedom" - Petra van den Bos, Rick Smetsers and Frits Vaandrager. "Enhancing Automata Learning by Log-Based Metrics" - Sean Sedwards, Pedro D'Argenio, Arnd Hartmanns and Axel Legay. "Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata" - Olaf Owe. "Reasoning about Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems" - Oana Andrei, Muffy Calder, Matthew Chalmers, Alistair Morrison and Mattias Rost. "Probabilistic Formal Analysis of App Usage to Inform Redesign" - Sebastian Krings and Michael Leuschel. "SMT Solvers for Validation of B and Event-B models" - Mathijs Schuts, Jozef Hooman and Frits Vaandrager. "Refactoring of Legacy Software using Model Learning and Equivalence Checking: An Industrial Experience Report" - Stephan Barth. "Deciding Monadic Second Order Logic over omega-words by Specialized Finite Automata" - Adrian Riesco and Juan Rodriguez-Hortala. "Temporal Random Testing for Spark Streaming" - Leo Freitas, James Baxter, Ana Cavalcanti and Andy Wellings. "Verifying a Priority Scheduler for an SCJ Runtime Environment" - Andreas Mueller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger and Andre Platzer. "A Component-based Approach to Hybrid Systems Safety Verification" - Michael Ameri and Carlo A. Furia. "Why Just Boogie? Translating Between Intermediate Verification Languages" - Sascha Fendrich and Gerald Luettgen. "A Generalised Theory of Interface Automata, Component Compatibility and Error" - Christian Prehofer. "Property Preservation for Extension Patterns of State Transition Diagrams" - Hosein Nazarpour, Ylies Falcone, Saddek Bensalem, Marius Bozga and Jacques Combaz. "Monitoring Multi-threaded Component-Based Systems" - Elvira Albert, Miguel Gomez-Zamalloa and Miguel Isabel. "Combining Static Analysis and Testing for Deadlock Detection" - Andrii Kovalov and Juliana Kuester Filipe Bowles. "Avoiding Medication Conflicts for Patients with Multimorbidities" - Pedro Antonino, Bill Roscoe and Thomas Gibson-Robinson. "Efficient Deadlock Checking using Local Analysis and SAT Solving" - Jens Bendisposto, Philipp Koerner, Michael Leuschel, Jeroen Meijer, Jaco Van de Pol, Helen Treharne and Jorden Whitefield. "Symbolic Reachability Analysis of B through ProB and LTSmin" - Bjornar Luteberget, Christian Johansen and Martin Steffen. "Rule-based Consistency Checking of Railway Infrastructure Designs" - Viorel Preoteasa. "Verifying Pointer Programs using Separation Logic and Invariant Based Programming in Isabelle" - Wei Chen, David Aspinall, Andrew D. Gordon, Charles Sutton and Igor Muttik. "On Robust Malware Classifiers by Verifying Unwanted Behaviours" - Ian Cassar and Adrian Francalanza. "On Implementing a Monitor-Oriented Programming Framework for Actor Systems" - Lubos Korenciak, Vojtech Rehak and Adrian Farmadin. "Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-delay CTMC" - Pavel Zaichenkov, Olga Tveretina and Alex Shafarenko. "A Constraint Satisfaction Method for Configuring Non-Local Service Interfaces" - Renata Hodovan and Akos Kiss. "Fuzzing JavaScript Engine APIs" - Matt Luckcuck, Ana Cavaltanti and Andy Wellings. "Formal Model of the Safety-Critical Java Level 2 Paradigm" - Rahul Kumar, Thomas Ball, Jakob Lichtenberg, Nate Deisinger, Apoorv Upreti and Chetan Bansal. "Enabling Static Driver Verifier using Microsoft Azure" === Workshops === iFM 2016 will be accompanied by a series of satellite events: The 6th International Symposium on Unifying Theories of Programming (UTP 2016) http://utp2016.ecnu.edu.cn/ Workshop on Pre- and Post-Deployment Verification Techniques (PrePost) http://icetcs.ru.is/prepost/ Workshop on Formal Methods for and on the Cloud (iFMCloud'16) https://ifmcloud2016.nntb.no/ Workshop on Verification and Validation of Cyber-Physical Systems (V2CPS) http://www.cs.ox.ac.uk/conferences/VVCPS16/ PhD Symposium at iFM'16 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM 2016) http://en.ru.is/ifm/ifm-phd-symposium/ === Conference location === iFM 2016 is organized by the University of Reykjavik and will take place at the university campus in Reykjavik, the capital of Iceland. === Committees === General Chair: Marjan Sirjani (University of Reykjavik, Iceland) Program Chairs: Erika Abraham (RWTH Aachen University, Germany) Marieke Huisman (University of Twente, The Netherlands) Workshop Chair: Marcel Kyas (University of Reykjavik, Iceland) Wojciech Mostowski (Halmstad University, Sweden) Program Committee: Wolfgang Ahrendt (Chalmers University of Technology, Sweden) Elvira Albert (Complutense University of Madrid, Spain) Bernd Becker (Albert-Ludwigs-University Freiburg, Germany) Clara Benac Earle (Universidad Politecnica de Madrid, Spain) Borzoo Bonakdarpour (McMaster University, Canada) Ferruccio Damiani (Universita di Torino, Italy) Frank de Boer (CWI, The Netherlands) Delphine Demange (University of Rennes 1/IRISA, France) Jan Friso Groote (Eindhoven University of Technology, The Netherlands) Dilian Gurov (KTH Royal Institute of Technology, Sweden) Holger Hermanns (Saarland University, Germany) Einar Broch Johnsen (University of Oslo, Norway) Peter Gorm Larsen (Aarhus University, Denmark) Martin Leucker (University of Lubeck, Germany) Dominique Mery (Universite de Lorraine, LORIA, France) Rosemary Monahan (Maynooth University, Ireland) Nadia Polikarpova (MIT, USA) Cesar Sanchez (IMDEA Software Institute, Spain) Sriram Sankaranarayanan (University of Colorado, USA) Ina Schaefer (Technische Universitaet Braunschweig, Germany) Gerardo Schneider (Chalmers, University of Gothenburg, Sweden) Emil Sekerinski (McMaster University, Canada) Armando Tacchella (University of Genoa, Italy) Mark Utting (University of the Sunshine Coast, Australia) Heike Wehrheim (University of Paderborn, Germany) Kirsten Winter (University of Queensland, Australia)