From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 246B35D5 for ; Mon, 9 Apr 2018 09:05:13 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.48,426,1517871600"; d="scan'208";a="321892995" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 09 Apr 2018 11:05:10 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id A2A9382448; Mon, 9 Apr 2018 11:05:10 +0200 (CEST) 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 690D78240C; Mon, 9 Apr 2018 09:59:28 +0200 (CEST) Authentication-Results: mail2-smtp-roc.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 IronPort-PHdr: =?us-ascii?q?9a23=3AAKFOgBYpAzQMAgqP22shm9H/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZpMu7YB7h7PlgxGXEQZ/co6odzbaO6Oa4ASQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9HiTahb75+Ngm6oRnMvcQKnIVuLbo8xAHUqXVSYe?= =?us-ascii?q?RWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhnZ?= =?us-ascii?q?TAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+v6bpgRh31hy?= =?us-ascii?q?cdLzM38H3YhMN/g6xGoxyvqQJxzYnPbYGJLfp+e7/RfdMGSWdDWMtaSixPApm7?= =?us-ascii?q?b4sKF+cPP/xXr47grFQOsBu1GA6hBOP1xT9PiH72wLY33Pg6EQ3c2gwgAtMOsH?= =?us-ascii?q?HOoNX0KqgfSOa4x7TGwzXEavNZwzb96I7Qfx8/u/6MRrJxftbRyUY1FgPFlE+c?= =?us-ascii?q?qYv/PzOazugNtXWb7+tlVe61im4otQd8qSWsyMc0koTFm40Yx1Te+SlkwIs4J8?= =?us-ascii?q?e0RFB0bNOlCpdcqT+WOotuTs8/TGxlvDw2xqAGtJO5ZiQG1YoryhDFZ/CacoWF?= =?us-ascii?q?4hTuX/uLLzhinnJqYre/ig6y8Ue+zu38UdG50FNQoSpEltnArGwC1wfJ5siBV/?= =?us-ascii?q?t9/0Kh1SyO1w/N8u1EIEY0mrTHK5M537I9mZ4evV7eEiL2mkj6lrGae0ol9+Sy?= =?us-ascii?q?9ejrfLXrqoeZN4BuiwH+Nqoumta4AeQ9KgUOX3KU+eOy1b3+5kD2XK5Kgucwkq?= =?us-ascii?q?nEsZDaIN4Xpq+nDANNyIYs9w6/Dyu60NQfhXQHIldFeBObgIjyIFzOO/D5DfKn?= =?us-ascii?q?g1u2ijtrxvbGPqfgAprXNHTDnq3hd65n60FA0Aoz0cxf55VMB74dOv3zX0vxuM?= =?us-ascii?q?XcDh84KAy03/3qCM5914MbQWKAGLWVMKLUsV+S5+IgOfOAZIEPuDzlMfgq++bu?= =?us-ascii?q?jWMlmV8aZaSmwZwXaGmhEvt6J0WZfGHjj8waEWYKuwo+VPblhEeDUT5VfXayXr?= =?us-ascii?q?gz6is1CIK8Xs//QdWDpay6+wyyGJF8XkVuAUvKDHHpfYLCWutIICuZJpVJjyAA?= =?us-ascii?q?VKO9UMk8yRy+vRS8xrZ6aqLd9SAeqYnL38Mz+ujZnlc/+SEwR82Z10mGSHpo22?= =?us-ascii?q?IDH2BuheZ4u0M5gl6H1YBlm+dTHNheoutTVQU3PoKawvE+Q9n0XAXceNyEYFeg?= =?us-ascii?q?TNK8BDgtT9kqhtITeUFlFpOllB+HlyOsBbgIkbeGAZEy7rn023nqO907wmza1b?= =?us-ascii?q?I9ylQjSMZDOWCqwKll+EybDpbRiEicv7qhbuId2iDK7mKK0WuN+lxeUUt1TKjD?= =?us-ascii?q?VnASYA3aoJCx71jJQrm1IbEuMw9FyNWebKpEa5vtiEgASPqncN3Ff0q6gCGuGF?= =?us-ascii?q?COwvfEZ4Pmdk0cwDibBEtA2wsa/H3faVBkDz2/okrfFyQoCFTuJkfx/ONzo3D9?= =?us-ascii?q?QkJwhwqDakkk07uu5jYUg+adQrUdxPZMsy49pjpzBlewxPrTF9PGrAMlNK5bZN?= =?us-ascii?q?c06n9M0mfdvgY7OYzmJqskm11aOw9wukaryxV6DZ9RucknoX5syxB9beqT11ZZ?= =?us-ascii?q?czSX9ZvrfLvSMXS08RyyL+bd3VfVzcyM96EE+dwztFSlugXtXkEl9X56ycNY1X?= =?us-ascii?q?CNzpHLFxYJXIjvX1xx6wV34bfeJmEm6pzTz3lgGbK1vSTF1c5vA/Eqjl6tdNBY?= =?us-ascii?q?KOaFEgH1O8ARAM+2buswlBzhYxQaPftb+6NxNseiX/aAxq+wNelt2Sq8imZK65?= =?us-ascii?q?w731/IvydiR+jUxL4LxvyFxAyfWnH7lljl+s7+kpsBaC8fGHak4SrlH4VUb6x2?= =?us-ascii?q?O48AT3qtZ4W5yZB3nZXFX39D6EXlGlUHndegdReIZVvn20tc2ABfr3mmkjCQzj?= =?us-ascii?q?pukjgttqeEmiLUh6zscV8OPGhMWW9pgFLhJ5Svp9QbR1SzKQ4gjxLj6kHkg+BV?= =?us-ascii?q?oaJyM0HRQFxDeiH3KydrWe2ttf7KbclE87sjtiBTWe76ZkDcQ7W7vhhemy3kBW?= =?us-ascii?q?5XwHU+ei2qvZnitxdhzn+cIH9zqzzUddw0jRfW+MeZTPpV9j4HXzVjzzneGkP5?= =?us-ascii?q?J8Ou/9ifi9HOr6T2V2WlE5xVfy7DyYKbqDD9/mp3GxaykfepldChFwUmlWf63J?= =?us-ascii?q?9nXDnDtz7wY8/20aWiMKRmYg0gBVH98+J7FIBm1IwqwpgMnTAbiJCO/HUvmny1?= =?us-ascii?q?Ld5Xn6PzKDIJRDUQ68TY+wXswkZjaHiEw4a8UnyX2Y1qYNz+KmcT3Wc26MZEBb?= =?us-ascii?q?2Z6rdJtSZwq1u86xrWZelhkzwdj+Yo6XUXxe8T/EIoxziRD/UPBkRCJgTnjFKV?= =?us-ascii?q?7s216qhbeSLndL+73Q93m9amEbeJrylYWW3lPJY+WzJtqN5ydBrJ13H+7sTucc?= =?us-ascii?q?LdYZcPuwaIkhHPp/lcKJU2meANmDJ8f2n6uDltzfAnjFlq3IqmlIOYKiNr+Obx?= =?us-ascii?q?BAFAKnj0Yc0U0jXslrpF2MeR1MaiE9EpAjwTWbPpS/zuHT5UvP+hKgXKWCUxtm?= =?us-ascii?q?2aH7fDNQ6Z5kB8qnvTEpPtKneWYXkQyN9/XhbbKEEbyBgOWz49hbY7FxuhwcXg?= =?us-ascii?q?dAFw7XYM5RqwsgVX4ulzM1/kSGaZrwCtLn8tRYODaRNQ6AZf4UzYGc2C76RuHj?= =?us-ascii?q?xTuJCtsUjFMGGAZh9UJWUAU1fCCUqndqOv/trb2+ODAqylNfqIarKL7aRESd+D?= =?us-ascii?q?3tSy05ZtuTuAK4HHJXBmJ/Yg3gxYR3E/EMPc330UQSdSkwrWZcXdow2zvCdt6o?= =?us-ascii?q?ik+/WuVAPs+M6XEbxddNFm/R+ehaaYK6iTmWB1KnIQzZ4H2GXJ1Kk38nkpog0o?= =?us-ascii?q?UAOCVfwbuCjWS7jRk+pcCAQWQy9yctZO7ro9mAhRfYb2o+vR7ZZ6j+U+Dl5EUR?= =?us-ascii?q?rokYe0ZohCKGakcVjDGUyjNbKcJDSNzduzKa+2VrpKiOl8vAb2pjeAGAnuMinH?= =?us-ascii?q?3zXoTxm1LeBJgSeHOzRSucegdBd1CC7iUJaucQW6NuhzjCYq6ac5nX7DL2Ucdz?= =?us-ascii?q?Jxd0cIqrSa9mVThfA7U3dd739pLKyeliXc9PTSMZ0MsPFmKjV9l+Vd72491qNO?= =?us-ascii?q?qipDQbg9hCvfqcRjphS+iO6RxyB8eBNP7DNKmMSGsVgmcbnZ+55aSDPN1BYM9n?= =?us-ascii?q?mLBg4U4d1iBtTs/a1c15yHiKL+Ly1T29nQu8AVAo7dI4SaMz5pLRrkHyTFChct?= =?us-ascii?q?ST+wKXrSnVIblvae/37To5Qn7tDwhZEVTLJET3QxF+gGEQJ4AMFELpYzFi81ib?= =?us-ascii?q?OAyccO432jqhLcbMFbpYzcEOmfCO6pNS6Ui78CahcVhfvlNokJLaX+3F5rcEU/?= =?us-ascii?q?m5aMHFDfGZhcoyZsdSc/u0EL62J/CGY03gateA2q+mIWPfy1hRUzgwp6J+0msi?= =?us-ascii?q?rvpx8bA3PsiRcYglEr38jjgHWSdzP1KuG8UMUeAiX4vmA1M4jnWEB+bQS2mEF+?= =?us-ascii?q?L3HfSvYZhrpkfEh2jg7XsJ4JGOIYBaRAb1kZw/eQevMj3HxXozmuwV5c6K3DBI?= =?us-ascii?q?cm3AIxep+Es21BnR5+YNMxK7CWIq4NhlFLgoqQtzSz3/p3zQMDYw4G+WmfYigF?= =?us-ascii?q?pAkFKLQgOzGA/O134gmLmj8FcWNKSvlu6vlj8k47N+2a5ynn1qZeNk2rceuFIO?= =?us-ascii?q?fRsGPJkeaNS08wkEITiw9Y4bwwydtnO0GVT0Ai1v6aGQwhNMfPJEROYsFP7nnP?= =?us-ascii?q?bGCJq+qJiZlxMoy7U+TpVvOmr60Vj0SvEUAzAsIK6oBJFZ20+ErfKN+hKqMejx?= =?us-ascii?q?gh+ULwKxHNB/FCYzqAi3EGpc2+xZl+m4RRO3VVCmJ4KT+w9p7boQRsgfHFVdxw?= =?us-ascii?q?f3ReFoADM2orXMq1nSNF+mxJFjiyysoVyQHE4T66uzzVSjTnK5JofPefIBhrDt?= =?us-ascii?q?+e+zQk+K2/iFqR+56YOmK+fd95tvfL6PgGvNCaF7VZQP01vkPHnYREAnirSHLn?= =?us-ascii?q?FdOpYYXtLY8oKZT6C3C7TlH6jjU5QsO0INagKbKZqQXpXppP9pOEwDBmPMa2Fj?= =?us-ascii?q?wYXRt946kM6Lg6ahUHS5s+aBGuuR56f6yiJQ6e086ya2KsMidNCeFFzOOxaqBQ?= =?us-ascii?q?yWwhYvL+gHomQJASyvG2tFUHApQSgVfSyLLrZpFXeTTuFzpbf0GHpDIwv3dgMK?= =?us-ascii?q?Au3+p5xheM+VgHOjqGcOhkLXFfsssnLViWZ35/DywxTBmBjs6L4xLp1rYU+DZb?= =?us-ascii?q?lNt82vYDrWPvstnSbC/qUbHv4ZbU9ismY/A7paw0MovpJsaAptXSk3iXT4P4sR?= =?us-ascii?q?fDVzS1U7JelNNLZSNeXPRSlHo5EcANosxM5Qw4XYEjJPgHDKgqq7mwQTF/SzUO?= =?us-ascii?q?xCkXUJmMmjEOn6P037zVlxzVdJU5LDQEvZFZg90eUmh4Y2dWoKisVo7+nHTCUX?= =?us-ascii?q?QCJgkU9wgK6Q4d0sd0ee/k46LNRYNMjSNQord6SCbKHIRy+B33RyXehV/3SfOv?= =?us-ascii?q?u/O2wgZb0LTt1NddRAM6BVJQ3OpbkA0kJfU/LqAMvsjOtTCJdmv1uXKrzua6YB?= =?us-ascii?q?FXxNLPc1DkEIffnWP1SCwa8jsTX4ALgHbaUJ0UlQ1kbq0mjFJULYajc1r+oTs+?= =?us-ascii?q?yMAhB6O/WoWvzlAqhXoHRDrsH9kFQ/l8t1bacDdsaZ2v7pH+fZtTBHJI/duQsB?= =?us-ascii?q?MRiF9qNCD8wp1ZM8VA8j8QTRBKqCmd+tC7U4tIy4s+FZIIJ9Z0oDL5MKZPPZGK?= =?us-ascii?q?v3As/LfmjjfC/D4grFqxxB24AOmlUqRf+ylWARooO3+2oVJpDOIxtHzfthjWo0?= =?us-ascii?q?to8uIeHbGBgFlgiDJ8BYxVCyxXk3++IV81SnBduqNVL7qRO9BRWfwuYhirIDQ6?= =?us-ascii?q?D/9g0VbNtV10kHDjcml2sQRb8AjWRE8/UDRTj7vw3XUAqcDiPT4BV7pEYzYgKS?= =?us-ascii?q?vIeCyBniUCnB9YI353E8QZC9Fa5pkQxs1S48vHD0ehf3JWFCd+Px41hKIM3XVI?= =?us-ascii?q?t1+VLHiEXFiYMM3XuxgyRv+/6cugLfD35gBC09m1u/t+8bgCQjunlF/0GIyMn8?= =?us-ascii?q?rHrtSP83C2WuLgKeTlOy3KV37KkBG1w7YpXcGTonrjdTFDIpw/8kIKJJjsDWmS?= =?us-ascii?q?YkZDLqMfYUFAE6ZnaNAAo+0IPsI=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AlBwDBHMta/+H2nZVbDhABGAaDNmFvh?= =?us-ascii?q?AiVCoMDknGBZgsYC4FXhUQaBgEENBQBAgEBAQEBAQEBAWscDII1IoJTARsGMRI?= =?us-ascii?q?CBUECJgICXAIJhRYPpD2CHIN3AV+DZoIZBYEJhmKBVD+BDCKEI4FQBBiBBxQBA?= =?us-ascii?q?4MjMIIkAocNI49WQQiFVoZJiVqEf4kchBqCKQIECwITAYEjAjMhgTwOCIEFOio?= =?us-ascii?q?Bghk9gW6GG4JJhQQEN410AQEkB4IYAQE?= X-IPAS-Result: =?us-ascii?q?A0AlBwDBHMta/+H2nZVbDhABGAaDNmFvhAiVCoMDknGBZgs?= =?us-ascii?q?YC4FXhUQaBgEENBQBAgEBAQEBAQEBAWscDII1IoJTARsGMRICBUECJgICXAIJh?= =?us-ascii?q?RYPpD2CHIN3AV+DZoIZBYEJhmKBVD+BDCKEI4FQBBiBBxQBA4MjMIIkAocNI49?= =?us-ascii?q?WQQiFVoZJiVqEf4kchBqCKQIECwITAYEjAjMhgTwOCIEFOioBghk9gW6GG4JJh?= =?us-ascii?q?QQEN410AQEkB4IYAQE?= X-IronPort-AV: E=Sophos;i="5.48,426,1517871600"; d="scan'208";a="321874239" Received: from mail.cs.nuim.ie ([149.157.246.225]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 09 Apr 2018 09:59:27 +0200 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 w397ujnx032507; Mon, 9 Apr 2018 08:56:45 +0100 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 1y7atJrh3eZ8; Mon, 9 Apr 2018 08:56:44 +0100 (IST) Received: from [149.157.123.165] ([149.157.123.165]) (authenticated bits=0) by mail.cs.nuim.ie (8.14.3/8.14.3/Debian-9.4) with ESMTP id w397uJdV032504 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Mon, 9 Apr 2018 08:56:19 +0100 From: Hao Wu Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 11.3 \(3445.6.18\)) Message-Id: <9B4B355E-367A-44B9-AC7C-5BB6FCD54D65@cs.nuim.ie> Date: Mon, 9 Apr 2018 08:56:32 +0100 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, seworld@sigsoft.org, 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, EAPLS@jiscmail.ac.uk, coq-club@inria.fr, dbworld@cs.wisc.edu, dipartimento@di.unipi.it, 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, DMANET@zpr.uni-koeln.de, agda@lists.chalmers.se, aila@unicam.it, alg.announce@catalyse.net, asci@twi.tudelft.nl, asl@vassar.edu, cabernet-events@jiscmail.ac.uk, calendar@computer.org, ccal@math.ist.utl.pt, cipher-cfp@ieee-security.org, clean-list@science.ru.nl, clp@comp.nus.edu.sg, cmcs@cs.indiana.edu, comprox@doc.ic.ac.uk, compulognet-parimp@dia.fi.upm.es, cphc-conf@jiscmail.ac.uk, csd@lists.ut.ee, elsnet-list@let.uu.nl, finite-model-theory@lists.rwth-aachen.de, gdr.gpl@imag.fr, humanist@lists.princeton.edu, infi@mpi-sb.mpg.de, ipa@tue.nl, ipa@win.tue.nl, isabelle-users@cl.cam.ac.uk, it-announce@cs.usyd.edu.au, ki-inf@uni-koblenz.de, kr@kr.org, lfcs-interest@dcs.ed.ac.uk, linear@cs.stanford.edu, logic-list@helsinki.fi, logic@cs.stanford.edu, logik@math.uni-freiburg.de, loginf@wwwlat.inf.tu-dresden.de, math.logik@gmx.net, newsletter@aarinc.org, om-announce@openmath.org, prog-lang@diku.dk, prole@babel.ls.fi.upm.es, proof-complexity@math.cas.cz, relmics-l@mcmaster.ca, softtech@cs.uu.nl, swits@cs.kau.se, system-safety@listserv.gsfc.nasa.gov, termtools@lri.fr, theory-logic@cs.cmu.edu, vki-list@dfki.de X-Mailer: Apple Mail (2.3445.6.18) X-Validation-by: haowu@cs.nuim.ie Subject: [Caml-list] iFM 2081 Call For Papers Reply-To: Hao Wu X-Loop: caml-list@inria.fr X-Sequence: 16788 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: =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 Conference: 5-7 September 2018 =3D=3D Keynote speakers =3D=3D - Cristian Cadar, Imperial College London - Ana Cavalcanti, University of York - Viktor Vafeiadis, MPI-SWS =3D=3D Colocated events =3D=3D - PhD Symposium - FMICS: International Conference on Formal Methods for=20 Industrial Critical Systems =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. --=20 Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs=