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 AE7845D4 for ; Thu, 14 Jun 2018 09:23:20 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.51,222,1526335200"; d="scan'208";a="331762650" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 14 Jun 2018 11:23:18 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id D42EA8247D; Thu, 14 Jun 2018 11:23:18 +0200 (CEST) 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 58D0082416; Thu, 14 Jun 2018 11:19:17 +0200 (CEST) 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 IronPort-PHdr: =?us-ascii?q?9a23=3AYWznORRVrtZbXxsL27XxjfBot9psv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa6zZReN2/xhgRfzUJnB7Loc0qyK6/2mATRIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSizexfbN/IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf?= =?us-ascii?q?5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbD?= =?us-ascii?q?VwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4KB2SB/ulS?= =?us-ascii?q?gHNiU5/33Tisx3l6JUvg+urAF7z4PbfI2ZMfxzdb7fc9wHX2pMRsZfWDBODIyz?= =?us-ascii?q?YYUBEukPM+FDoonhvlsOqAeyBQmwCO7tzDJDm3/43bc90+QkCQzI3hYvH9UTu3?= =?us-ascii?q?vUsdX+KaAfUeCvw6nPwzTDcuhb1ivm6ITSdBAhvPCMXbdqfcrQ10YiDgXIhUie?= =?us-ascii?q?p4ziOjOazOUNs26D4uV+T+2vkG4mpB1xoje1x8cskJPFhoUPylDL7Sl5xps1Jd?= =?us-ascii?q?y9SEJhYN6rDoNcuD2AOItzWM8tWX1ntDwnyr0Fv5OwYSsEyIw/yhLCZPGKd5KE?= =?us-ascii?q?7g/jWeuTOzt0mn1odbOlixqs70StyvXwWtS33VtKtCZIlsfAumoT2xHT8MSLVP?= =?us-ascii?q?pw80G80jiVzQ/T8PtLIUUsmKrbNZEhxrkwm4IWsUvZHy/2nF/6g7ONdkk+/Oio?= =?us-ascii?q?9uXnYrD8qp+dKYB4kgD+MqIwlcyjGek0LwcDUmyB9eih1LDu/1f1TKtFg/A3iK?= =?us-ascii?q?XVro7WKMQDqq68GQBV04Ij6xilDzeh1dQVhXkHI0hCeBOJkojkIE3BIOviAfe5?= =?us-ascii?q?nlSskTJry+rHPrL/GpnNNGTMkK/9fbZh7E5R0AQzzdVe551IEbEMO+nzW0/0tN?= =?us-ascii?q?zAFBA1KQ20w+D9CNV8zIwSQ2yPArWBOqPIrVCI/v4vI/WLZIINpDnyMf0l5/r3?= =?us-ascii?q?gX89mF8dZrWp0IAMaHG4G/RmO1+WbWDtgtcHC2cKvxAxQPbkiF2YSTRTfWq9X7?= =?us-ascii?q?og5jEnD4KrFZvMRoe0gLCYwCi7GoBWaXtdB1CXEXbocp2EVO0WZCKTJM9hiD0E?= =?us-ascii?q?WqK7R48vzxH9/DP9nqdhIuvP8Skfrp/vkcJ47OzLlBw06ScmXJezyWaIGkF9mS?= =?us-ascii?q?s3Wndi3Kl4vlFVwUzF17V5hrpZGIoAtLtyTg4mOMuEnKRBANfoV1edJo7YGmbj?= =?us-ascii?q?ec2vBHQKdvx0xtYPZ0hnHND71ELIxGysHr4Q0b2GVsVtrvDsmkPpLsM48E7okb?= =?us-ascii?q?E7hgB8EMBUc2u7h6s59gWBX9eUwXXcrL6jcOEn5ACI9GqHyjPR7kRRUQo2Wr6D?= =?us-ascii?q?W20eYw3XoIag6w=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0ChCADVMSJb/+H2nZVdFgcBARcBCgGDN?= =?us-ascii?q?2J/KIN5lFSCdJN4gXgLI4EMhgIaBgEEMBgBAgEBAQEBAQEBAWwcCwFCDgEGAYF?= =?us-ascii?q?dDIJfLAZFDDoCJgJlARUQQ4JGAoF/BAucEI5ighyEW4NsgWiBC4Eihh6BVD+BD?= =?us-ascii?q?ySCMwWDDSsLBBiBI4MkFB2CJAKNHYtxCYV5iWpdQYFzgUyCRYU0ig1OUIM/gjA?= =?us-ascii?q?CBAsCEwGBIx44gSAcDgiBBRpLAXIIgR8INYgKgkmCZoJlY4sygw2CTAEB?= X-IPAS-Result: =?us-ascii?q?A0ChCADVMSJb/+H2nZVdFgcBARcBCgGDN2J/KIN5lFSCdJN?= =?us-ascii?q?4gXgLI4EMhgIaBgEEMBgBAgEBAQEBAQEBAWwcCwFCDgEGAYFdDIJfLAZFDDoCJ?= =?us-ascii?q?gJlARUQQ4JGAoF/BAucEI5ighyEW4NsgWiBC4Eihh6BVD+BDySCMwWDDSsLBBi?= =?us-ascii?q?BI4MkFB2CJAKNHYtxCYV5iWpdQYFzgUyCRYU0ig1OUIM/gjACBAsCEwGBIx44g?= =?us-ascii?q?SAcDgiBBRpLAXIIgR8INYgKgkmCZoJlY4sygw2CTAEB?= X-IronPort-AV: E=Sophos;i="5.51,222,1526335200"; d="scan'208";a="268751596" Received: from mail.cs.nuim.ie ([149.157.246.225]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 14 Jun 2018 11:19:16 +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 w5E9F7BQ007520; Thu, 14 Jun 2018 10:15:07 +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 JrCWUZGfHI8C; Thu, 14 Jun 2018 10:15:05 +0100 (IST) Received: from [10.22.0.22] ([185.92.25.26]) (authenticated bits=0) by mail.cs.nuim.ie (8.14.3/8.14.3/Debian-9.4) with ESMTP id w5E9D1vw007401 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Thu, 14 Jun 2018 10:13:07 +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\)) Date: Thu, 14 Jun 2018 17:13:15 +0800 Message-Id: X-Mailer: Apple Mail (2.3445.6.18) To: undisclosed-recipients:; X-Validation-by: haowu@cs.nuim.ie Subject: [Caml-list] iFM 18' PhD Symposium Call for Papers Reply-To: Hao Wu X-Loop: caml-list@inria.fr X-Sequence: 16939 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=3D Call for Papers PhD Symposium at iFM'18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM'18) Maynooth, Ireland, September 04, 2018 http://ifm2018.cs.nuim.ie/PhDSymposium Paper submission: June 22, 2018 Author notification: July 15, 2018 =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=3D Scope =3D=3D=3D The theory, implementation, integration or application of formal methods in a broad sense. =3D=3D=3D Who can submit? =3D=3D=3D PhD students and young researchers at an early career stage (up to 2 years after PhD completion). =3D=3D=3D Why to submit? =3D=3D=3D Participants will have the possibility to give short presentations about their research projects. Furthermore, we are happy to announce an invited talk by Dr. Grant Passmore, Co-Founder and Co-CEO, Aesthetic Integration, London.=20 - The doctoral symposium offers an excellent opportunity to present your work in an international setting, and to get feedback from senior researchers in the field. - The doctoral symposium lets you exchange knowledge and experiences with fellow PhD-students in a related topic. - The best paper/presentation will be awarded. - The selected contributions will be published as a technical report of the University of Oslo, Norway. =3D=3D=3D What to submit? =3D=3D=3D You are welcome to submit an extended abstract of 1-3 pages, describing your research project which you would like to present. Co-authors are allowed. The results may have been accepted or even published elsewhere. If you are author of an accepted iFM'18 publication, it is sufficient to submit the title, authors and abstract of that paper. Multiple submissions by one author are not permitted.=20 Submissions should be written in English and follow the=20 EasyChair formatting guidelines, available at http://www.easychair.org/publications/for_authors Please submit your abstract electronically in pdf via the EasyChair page https://easychair.org/conferences/?conf=3Dphdifm18 The submitted abstracts will undergo a lightweight reviewing process. A symposium proceedings containing the accepted abstracts will be available as a technical report of=20 the University of Oslo. =3D=3D=3D Invited Presentation =3D=3D=3D Dr. Grant Olney Passmore.=20 - Co-Founder and Co-CEO, Aesthetic Integration, London - Life Member, Clare Hall, University of Cambridge - Honorary Associate, LABORES - Laboratoire de Recherche=20 Scientifique, Paris http://www.cl.cam.ac.uk/~gp351/ =3D=3D=3D Symposium Co-Chairs =3D=3D=3D Erika Abraham (RWTH Aachen University, Germany), chair=20 S. Lizeth Tapia Tarifa (University of Oslo, Norway), chair =3D=3D=3D Program Committee =3D=3D=3D Nils Jansen (Radboud University)=09=09=09=09=09 Richard Bubel (TU Darmstadt)=09=09=09=09 Jos=C3=A9 Proen=C3=A7a (HASLab - INESC TEC/University of Minho)=09=09=09= =09 Marie Farrell (National University of Ireland Maynooth)=09=09=09 Luigia Petre (=C3=85bo Akademi University) Zolt=C3=A1n Horv=C3=A1th (E=C3=B6tv=C3=B6s Lor=C3=A1nd University) =20=20 --=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=