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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 87F7C8239C; Tue, 20 Feb 2018 21:58:00 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=haowu@cs.nuim.ie; spf=Pass smtp.mailfrom=haowu@cs.nuim.ie; spf=Pass smtp.helo=postmaster@mail.cs.nuim.ie Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of haowu@cs.nuim.ie) identity=pra; client-ip=149.157.246.225; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="haowu@cs.nuim.ie"; x-sender="haowu@cs.nuim.ie"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of haowu@cs.nuim.ie designates 149.157.246.225 as permitted sender) identity=mailfrom; client-ip=149.157.246.225; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="haowu@cs.nuim.ie"; x-sender="haowu@cs.nuim.ie"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@mail.cs.nuim.ie designates 149.157.246.225 as permitted sender) identity=helo; client-ip=149.157.246.225; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="haowu@cs.nuim.ie"; x-sender="postmaster@mail.cs.nuim.ie"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3ANeXA7RNhaRhQ51sWM7sl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0KPnypcbcNUDSrc9gkEXOFd2Cra4c0KyO6+jJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fcbglUijexe69+IAmrpgjNq8cahpdvJLwswRXTuHtIfO?= =?us-ascii?q?pWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBnM?= =?us-ascii?q?VhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs5Xymp4aV2Rx/ykC?= =?us-ascii?q?oJNyI2/m7YhcJtj6xVrgyvqRtkzo7IeYGVMeZyfqPBcd4YQ2dKQ8ZfVzZGAoO5?= =?us-ascii?q?d4YBDfAOPeFFpIb9ulsFsByzBQm2C+PoxD5Im2T70rEh0+g7FwHGwQ0gH9cUvH?= =?us-ascii?q?TVstr4LaEfWv27wqnPyDXMdfJW2THl5YfWaB8huvGNUq5wccXLyEkvDRnJjlKK?= =?us-ascii?q?qYzqJz+V0PkNs2me7+Z6VOKglWgqoBxyrDi33sogl4bEi4YPxlzZ9Sh0wpw5Kc?= =?us-ascii?q?O3RUN6e9KoDoVcuiGCO4Z1Xs8uWXxktDsnxrEcuZO3YTIGxZA5yxPZdveJaZKH?= =?us-ascii?q?4gj5W+aUOTp4hGxqeLa4hxuq9Eiv0Oz8Vs2u3FlWtSpJiN/Mtm0M1xzW8MSHS+?= =?us-ascii?q?Vy8l+g2TaJyQ/T9vlJLV07mKffMZIt3749m5gJvUjdESL7mV/6gLGIekgk4uSo?= =?us-ascii?q?7v7oYrTipp+SLY90jQT+P7wumsOlBuQ5PBUOUnOH9uSnzrHj+1D5QLRPjvEsk6?= =?us-ascii?q?nWrojWJd4Hqa6hHw9VzoEj5g6xDzej0dQXgWIHIUleeBOHiojpI0vBLOr5Dfe5?= =?us-ascii?q?mVSskS1ky+rIPr37Gp/NNGTMkK/9fbZh7E5R0BY8wspa55JQE70BJPPzWlTttN?= =?us-ascii?q?HDFR84Mwm0w/79B9ln14MeX3iPAq6DP6/Iv1+I/PolI/OQa48NpDb9N/8l6uby?= =?us-ascii?q?gn8+gF8RZLWm3Z8KaH+jBflmOEWYYX/0gtgbC2sKvww+TPbriFKYSzJTaWyyDO?= =?us-ascii?q?oA4WQVLZKdKqzKQIyHuJmp1zz9A5tXbGcAC0zIWX7jc9+sRusIaTmOOYl8jjEU?= =?us-ascii?q?XKPnRoM8kVmnuwL816FPJfGS5ygSvtTu2MUxr+TXkTk58idoSsWWiz7VFidzhG?= =?us-ascii?q?xMDzYy2IhiuVd2w1OOlLBihP5VHsAV6u4NGg48M5nByed3I9H0VAXbe96VSV29?= =?us-ascii?q?B9i7GzYpQ5Q22dBKK097HdK/iBvO2iesH6Q9k72QGIdy+7jA3mPtYst4wXvK2K?= =?us-ascii?q?QtyV48TY8HPHW+naN63xTYHMjIlUuejaOjaaUfmjPL9SKG0GeIt0FVVkh8XOGN?= =?us-ascii?q?VGsUa03NhdHw50fGTqSyT7UpM01FzNPEJqYOItTykX1NX7H9JZLYZyb5kG68CD?= =?us-ascii?q?6J2q7KYImuM24U3S6EVBBemhoN/F6HLhB4GyGg5mbDATZjHlGpb06oueJ3rXf+?= =?us-ascii?q?Sk4v0ymLaVdg3vy74FpdjvWARvwUxLMJow8ktzwyF1/5l9nRDt6JrSJqe6BYaN?= =?us-ascii?q?l750cB3Gmfqg85dpenKqUnml4TdB5ml0Lj2hgxDZ9P1YAhq3YyyA19AamDllVE?= =?us-ascii?q?bC7e0JztfvXcLW/54Qq1Zqjdy3nVz9fQ/KNLoP8/rV7+phukEEEz23FmyMVO3m?= =?us-ascii?q?GC64+MEBcfF5T1Fg4a3iBenJnYYzI24orV0TtlOu+psXuK0NUwQeAh1xyIftFF?= =?us-ascii?q?MarCGhW2W8EQGM+0LOACkEPvcRMfN6Zf+LNwd8+nb/KcxK+uMeB8mxqqjCJa5o?= =?us-ascii?q?Fl0wSN6240R+XP2I5AwveW2SOKXDD7lBGmqM+z0Y1CezAJF2WyjCHgAKZcYLNz?= =?us-ascii?q?Zo8EBCK2Ocq1y95iwZPwHzZV6lOlG0gu1sqkZACVd1G72hdfkQwZqHe83Camwj?= =?us-ascii?q?poiBkrr7GU2SXPx6Lrf1waOSoDSmYnhE3nCYy1lMwBGlWubk0xnReo/0z93a4d?= =?us-ascii?q?qKk7Z2fWQExTVynwNWBrVrO9rfyMeYoH5pZtuCNRV/m6al2fR7jhuDMe0jj/BC?= =?us-ascii?q?1YzSsyMT6tpNGxkRl8hX61Lndop3/QeMU2zByZ+d+YDfBW1SEuTy59jTDdQF+s?= =?us-ascii?q?edCiu8iX09/Ntfq7XmbkU5BPcS7n1quLr22m5GFjARr5kvyu3pXnGBQhlCb/0/?= =?us-ascii?q?FuVD7Ut1D8a5XwkrygNuBqdVUuCUK4o8p9HsR/lIU3rJURwmQBwI6S4GAMnGn0?= =?us-ascii?q?K9pWn6TzcD5FRDVNztfJ6xPN1EwlM3SI34O/V2nZispvZsGSY20XwmQ69YZDFO?= =?us-ascii?q?Pc7bJBhip6ilGj6x7abb58k3NVzfol81YAjvoEsRAmzmOXD7QWWE1RNzeqnBON?= =?us-ascii?q?q5i6qaISb2Gpf7Wq2Ux1kPisCbiDpkdEX3LoZpopHWlt6MR0PRTCyjm774j5dN?= =?us-ascii?q?SVcMkerAa8mAyGkulII9Q8mudOzS9gMmu4tHsjzPM9hhFG2ZChoM6GNyNw4eSi?= =?us-ascii?q?D1oQMzr5asdW8Dj2gKobgsuNw4GpEb1wEzUMW5TySu+wC3QZsvGjfwCQDDx5rn?= =?us-ascii?q?aABZLUAg7Z7kMi53TQC4zuNneZI1EdzM5+X1+cI0cZjQ1QFC0zhpsRFwakgsHt?= =?us-ascii?q?Nk5yoC0SohbgpwdWy+RlKzH+VGnYvgKhdjY3DoWZLV9W5wRI+l3ad8CTqqprBS?= =?us-ascii?q?ZT+YaJrg2WIWmSZgAOBGpPR0/AT0j9JZGl/t2G6PKZQOG5Kr+GeLiVtalXUfGP?= =?us-ascii?q?2JSk36Nn4zfKK8SSNT9vA+B/klBORnFiB+zdkjwUDSIN02rXbtWYvz+34Skxtd?= =?us-ascii?q?q+tv/sXUan/5WnAKAULNRy8Fa7jbrHf/WZgA5yMjIezYkNg3TPzfxXx1QZziVG?= =?us-ascii?q?bDOmV7MaumjHVuaYgaRWShIaaD42LNFP4Oc41w9CEcrakc+z1aM+gv1xQ0xIXk?= =?us-ascii?q?H7m924TeItGEiRcnT9KwLDL7mAPjrRwsiyaqSmRJVcjaNJsRyouHCaDwurJTmc?= =?us-ascii?q?kCPtWzi0MO5Xiy+HehtEt8X1aQ5sD1/nTcn6Qge2K9J+lzY2h7c5gnePMWcWKn?= =?us-ascii?q?53dEYJ5qaM7CZUg7BlFm8E9WdvNuKemiyUx/jRKpERvuFsHzxv0eld5TBy17tY?= =?us-ascii?q?6ztJQbltgizMo8R1i1in1OyO1nxqXAcK4ipLiYWRrABrEaHY7YVbVGzauhQK4W?= =?us-ascii?q?yTTRkGup8tFt3ivLpB4tPL0qn6LXFL+JTJ/o9UG8jZL9iWNmYJNRvyBCXZFhVD?= =?us-ascii?q?SzmnPGKZikBA1LmO63aOqJUlsbDomYESUflGSEFzGPJeQlh0BNEZZZ5xWDQ5l7?= =?us-ascii?q?WWpMoJ/mal6gLcTd4co4jKUPTUDPnybH6ElrRefDMNxqHxN5hWMZ+93FZtLhFr?= =?us-ascii?q?nY/HAGLbRtQLuTdgKAQzpQEF4nZ5VHA280DkcQio6X4XU/e/2AM12SVkZuF41D?= =?us-ascii?q?7rq2gqbg7KrSwvjWE6gpPjnDGUNj/8evTjFbpKAjb54hBieqjwRBx4OFXrzB5U?= =?us-ascii?q?cQzcTrcUtINOMGViiQvSo5xKQKQORrYCZgIRwLeWaqdxiAgOmmCc3UZCoND9J9?= =?us-ascii?q?56jgJzK8yntDRGxgNmKt84d/SJefh5i2NIj6fLhReGk+A8xAhHeBQI+WKWPiUT?= =?us-ascii?q?/koVN7xgJif6p+E=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DnAgAzi4xa/+H2nZVcDg8BAQUBCwGDT?= =?us-ascii?q?2YDbYQQiiWOB4MZlkkUggIKGAuBXoYoGgYEMBgBAgEBAQEBAQEBAWoogjgiglE?= =?us-ascii?q?BGwYxEgIFQQImAgJcAgmKLAQMrCSCJ4QXAWmDfIIeAQEBAQEBHAWBD4N/giiBV?= =?us-ascii?q?4FoKYROgWcEGYEbFAGDAD0xgjQFo2lMCYgkmiKIC44GhkuDIQIECwIZAYE6Ah8?= =?us-ascii?q?5gTsOCIEFOioBghk9giKBVwQ7i0gBASUHgh8BAQE?= X-IPAS-Result: =?us-ascii?q?A0DnAgAzi4xa/+H2nZVcDg8BAQUBCwGDT2YDbYQQiiWOB4M?= =?us-ascii?q?ZlkkUggIKGAuBXoYoGgYEMBgBAgEBAQEBAQEBAWoogjgiglEBGwYxEgIFQQImA?= =?us-ascii?q?gJcAgmKLAQMrCSCJ4QXAWmDfIIeAQEBAQEBHAWBD4N/giiBV4FoKYROgWcEGYE?= =?us-ascii?q?bFAGDAD0xgjQFo2lMCYgkmiKIC44GhkuDIQIECwIZAYE6Ah85gTsOCIEFOioBg?= =?us-ascii?q?hk9giKBVwQ7i0gBASUHgh8BAQE?= X-IronPort-AV: E=Sophos;i="5.46,541,1511823600"; d="scan'208";a="255524476" Received: from mail.cs.nuim.ie ([149.157.246.225]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 20 Feb 2018 21:57:59 +0100 Received: from mx2.cs.nuim.ie (mx2.cs.nuim.ie [149.157.246.226]) by mail.cs.nuim.ie (8.14.3/8.14.3/Debian-9.4) with ESMTP id w1KKuFoA023861; Tue, 20 Feb 2018 20:56:15 GMT X-Virus-Scanned: Debian amavisd-new at mx2.cs.nuim.ie Received: from mail.cs.nuim.ie ([149.157.246.225]) by mx2.cs.nuim.ie (mx2.cs.nuim.ie [149.157.246.226]) (amavisd-new, port 10024) with LMTP id Cwtd4PtdeCRG; Tue, 20 Feb 2018 20:56:14 +0000 (GMT) Received: from [192.168.192.59] (cm-80.111.51.092.ntlworld.ie [80.111.51.92] (may be forged)) (authenticated bits=0) by mail.cs.nuim.ie (8.14.3/8.14.3/Debian-9.4) with ESMTP id w1KKtvpR023855 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Tue, 20 Feb 2018 20:55:58 GMT From: Hao Wu Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 11.2 \(3445.5.20\)) Message-Id: <65531BDF-C03F-447B-B21C-36C016766ABB@cs.nuim.ie> Date: Tue, 20 Feb 2018 20:57:07 +0000 To: FMxSOCandBPM@cs.unibo.it, acl2@utlists.utexas.edu, agents@cs.umbc.edu, all@cost-ic0701.org, all@upscale-project.eu, announce@informatics-europe.org, announcements@lists.artist-embedded.org, appsem@tcs.informatik.uni-muenchen.de, ascens@maillist.ifi.lmu.de, ast@cs.vu.nl, cade@itu.dk, caic1402arvi@isp.uni-luebeck.de, caml-list@inria.fr, categories@mta.ca, comlab@comlab.ox.ac.uk, comm-theory@ieee.org, complog@cs.nmsu.edu, concurrency@cwi.nl, concurrency@listserver.tue.nl, EAPLS@jiscmail.ac.uk, coq-club@inria.fr, dbworld@cs.wisc.edu, dipartimento@di.unipi.it, ecoop-info@ecoop.org, envisage-all@envisage-project.eu, events@fmeurope.org, facs-events@jiscmail.ac.uk, fg-arc@lists.uni-paderborn.de, fmics@inrialpes.fr, fm-announcements@lists.nasa.gov, fmnet@jiscmail.ac.uk, focs@comlab.ox.ac.uk, formal-methods@cs.uidaho.edu, hats-all@lists.hats-project.eu, hol-info@lists.sourceforge.net, ic.eatcs@di.unipi.it, ifip@ifip.or.at, ifmsig@cs.tcd.ie, lics@research.bell-labs.com, lmo-conference@email.polytech.unice.fr, maude-users@cs.uiuc.edu, moca-announce@list.it.uu.se, model-based-testing@yahoogroups.com, nvti-list@cwi.nl, nwpt-info@lists.ioc.ee, papm@inf.ed.ac.uk, petrinet@informatik.uni-hamburg.de, procos@jiscmail.ac.uk, pvs@csl.sri.com, qest-announce@iti.uiuc.edu, resist@laas.fr, risks@csl.sri.com, rv@cs.uiuc.edu, sal@csl.sri.com, sbc-l@sbc.org.br, sci-diku-prog-lang@list.ku.dk, security@FOSAD.ORG, sensoria-core@di.unipi.it, seworld@sigsoft.org, spin_list@research.bell-labs.com, stimdi-rek-subscribe@yahoogroups.com, theorem-provers@ai.mit.edu, theory-a@listserv.nodak.edu, theory@cl.cam.ac.uk, theorynt@listserv.nodak.edu, tucsnews@lists.utu.fi, types-announce@lists.seas.upenn.edu, users@mozart-oz.org, yices@csl.sri.com, zforum@jiscmail.ac.uk X-Mailer: Apple Mail (2.3445.5.20) X-Validation-by: haowu@cs.nuim.ie Subject: [Caml-list] iFM 2018 Call for Papers =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D CALL FOR PAPERS iFM 2018=20=20=20=20=20 14th International Conference on integrated Formal Methods=20 September 5-7, 2018, Maynooth, Ireland https://ifm2018.cs.nuim.ie/ =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D =3D=3D=3D Important dates =3D=3D=3D Abstract submission: Monday, 16 April 2018 Paper submission: Friday, 20 April 2018 Notification: Thursday, 14 June 2018 Camera-ready copy: Tuesday, 1 July 2018 Conference: 5-7 September 2018 Deadlines expire at 23:59 anywhere on earth on the dates displayed above. =3D=3D=3D Objectives and scope =3D=3D=3D 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: 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 - Combining formal methods - Integration of formal methods into software engineering practice - Program verification, model checking, and static analysis - Theorem proving, decision procedures, SAT/SMT solving=20 - Runtime analysis, monitoring, and testing - Program synthesis - Analysis and synthesis of hybrid, embedded, probabilistic, distributed, or concurrent systems - Abstraction and refinement - Model learning and inference =3D=3D=3D Submission guidelines =3D=3D=3D iFM 2018 solicits high quality papers reporting research results and/or experience reports related to the overall theme of formal method integration. We accept papers in the following categories: - Regular papers (limit 15 pages) on - original scientific research results - tools, their foundation and evaluations - applications of formal methods, including rigourous evaluations - Short papers (limit 8 pages) on - any subject of interest in the area of formal methods that can be described with sufficient detail within the page limit Page limits include bibliography and any appendices. All submissions must be original, unpublished, and not submitted for publication elsewhere. Each paper will undergo a thorough review process. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. Submissions should be made using the iFM 2018 Easychair site:=20 https://easychair.org/conferences/?conf=3Difm2018 Submissions must be in PDF format, using the Springer LNCS style files. The conference proceedings will be published in Springer's Lecture Notes in Computer Science series. All accepted papers must be presented at the conference. Their authors must be prepared to sign a copyright transfer statement. At least one author of each accepted paper must register to the conference by the early registration date, to be indicated by the organizers, and present the paper. =3D=3D=3D Organization =3D=3D=3D =3D General chair =3D Rosemary Monahan, Maynooth University, Ireland =3D PC chairs =3D Carlo A. Furia, Chalmers University of Technology, Sweden Kirsten Winter, University of Queensland, Australia =3D Program committee =3D Erika Abraham, RWTH Aachen, Germany Bernhard Aichernig, University of Graz, Austria Elvira Albert, Complutense University of Madrid, Spain Domenico Bianculli, University of Luxembourg, Luxembourg Eerke Boiten, De Montfort University, UK Einar Broch Johnsen, University of Oslo, Norway Maria Christakis, MPI-SWS, Germany David Cok, GrammaTech, USA Robert Colvin, University of Queensland, Australia Ferruccio Damiani, University of Turin, Italy Eva Darulova, MPI SWS, Germany Frank de Boer, CWI Amsterdam, Netherlands John Derrick, University of Sheffield, UK Brijesh Dongol, Brunel University, UK Catherine Dubois, ENSIIE, France Diego Garbervetsky, University of Buenos Aires, Argentina Peter Hoefner, Data61, Australia Marieke Huisman, University of Twente, Netherlands Rajeev Joshi, NASA JPL, USA Nikolai Kosmatov, CEA LIST, France Laura Kov=C3=A1cs, Vienna University of Technology, Austria Rustan Leino, Amazon, USA Larissa Meinicke, University of Queensland, Australia Dominique Mery, LORIA Nancy, France Toby Murray, University of Melbourne, Australia Luigia Petre, =C3=85bo Akademi University, Finland Ruzica Piskac, Yale University, USA Chris Poskitt, SUTD, Singapore Kostis Sagonas, Uppsala University, Sweden Gerhard Schellhorn, Universitaet Augsburg, Germany Steve Schneider, University of Surrey, UK Gerardo Schneider, University of Gothenburg, Sweden Emil Sekerinski, McMaster University, Canada Martin Steffen, University of Oslo, Norway Helen Treharne, University of Surrey, UK Caterina Urban, ETH Zurich, Switzerland Mark Utting, University of Sunshine Coast, Australia Heike Wehrheim, University of Paderborn, Germany Mitsuharu Yamamoto, Chiba University, Japan Chenyi Zhang, Jinan University, China =3D Publicity chair =3D Hao Wu, Maynooth University, Ireland =3D=3D=3D Conference location =3D=3D=3D iFM 2018 is organized by Maynooth University and will take place in Maynooth, Ireland.