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 sympa.inria.fr (Postfix) with ESMTPS id F19FF82355; Mon, 11 Dec 2017 12:43:47 +0100 (CET) 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 Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of haowu@cs.nuim.ie) identity=pra; client-ip=149.157.246.225; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="haowu@cs.nuim.ie"; x-sender="haowu@cs.nuim.ie"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.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=mail2-smtp-roc.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 (mail2-smtp-roc.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=mail2-smtp-roc.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=3Am+D05h+YZl22n/9uRHKM819IXTAuvvDOBiVQ1KB+?= =?us-ascii?q?2+4XIJqq85mqBkHD//Il1AaPBtqLra8cw8Pt8IneGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2NBXupSjmwxsCITLUPAx5?= =?us-ascii?q?DNzQMoXJydmx1uq1vZzPNUEA0DOybLVuNz29tkPMs8Mdx4ZuN/B1gk/Apn9gcO?= =?us-ascii?q?NN2SZpLgrMx0+64d2/qtorpy1Uv9o879VLWKH3OrwiSr5VByhgPn1joIW/vB/F?= =?us-ascii?q?ShaJ7XY0U2MYlQBNChTE5wq/U4rrtTP38O1n13/edZn/S7YzRDKp4qJmTgPzoC?= =?us-ascii?q?MGLCIitmjNls1rkOdWpRisqxByz8jTeo7DcLIqd7vFZt4fbXZKRYBQUSJGGIa1?= =?us-ascii?q?c4oMSfcHPKNdsoT7rFsDq12yCF/oTLfm0TRFgGTe2KQ71+AgCh2A3QIhWdYLrT?= =?us-ascii?q?LYoYOxfPMbSvydx7KO0yiFafcAnX+p44HEfzggvezKUbEmNYKFwkAuHFqZ1g+Z?= =?us-ascii?q?s5LkFzKOzqIQtWne6/dtX++kiCgrplc16mykz8Ioz43InZ49y1be9Cw/zpxjYZ?= =?us-ascii?q?XsQ0dnbNGjCppdrAmfK4IwScp0Byk8syE/zrQMkZW8eSwDwtIg11jWYLqacN7M?= =?us-ascii?q?qkboU+OUZCt4iXV/aZq+ihu/t0+6xbu4Hp2/11NSqi1KutLX8HYIzAGV58SaHL?= =?us-ascii?q?81qkym3z2SzRre7OpVCUsrlOzdL8hliuo7kZwYrF7ZEyn9iW3yjbSKbUg+5OWy?= =?us-ascii?q?rfj6b/PgosnYf9t/jRi7OaAzkOS+B/45O04ART7fsbCw1aXq51H4RbhMkvoenq?= =?us-ascii?q?ifrZbbPcVdp7LvR0cB340k7A76DjGo1/wVln4ANBRCYh3Ry8C9NlfQIevxAvr6?= =?us-ascii?q?ilCouDpt2fHdN7LsR43XKXrOm6uncKsrrwYIxRQ+y8xEz5xRB6wbJ+r+HEjru4?= =?us-ascii?q?qcRks3Ogevhuv5BdNhzascWHmEB6aYNOXbuhmV5bRra72Ca8ocoj3VL/k+++Wo?= =?us-ascii?q?kHk43EcUcaSz15wNbja0E6IiaxGXZHvnmf8AF30Ltw4mQfeshkfUFXYHaXP3Vq?= =?us-ascii?q?Q64Sw9A4+jAIHfXaipgaedx2G9F4ZfIG9BFAbIWSPmcoOJR98OaTmZJ8ZglnoN?= =?us-ascii?q?Xv68SNllnUWgswTh47FgK+7d8GsfpdTq355o5LuX3UU88iZxBsDY1myRT2Z4hU?= =?us-ascii?q?sDXHkr3ax2oUs7x1ueh+ww1/xRCccW7vdNegM7LoLHiexzF8u3QhjGfNqCVBCr?= =?us-ascii?q?X4PiSWUwRZQ8ysMFeG5xGpO/iBHb3myrH+lR3+iKCp0s2qPS3mC3INw7wmqQkO?= =?us-ascii?q?F1jlcjWcpAHWa9wLJ0+07SCtiN2xGdlq2xXb4RxyPE7myDi2CDuEUdVAd6SuPO?= =?us-ascii?q?WnVJIgOCqdH+o0jFSbGjE7khOQZpxMuLK68MctrtnElLT/elJdLfaG/3lX3mQV?= =?us-ascii?q?7cw7qRYIevZn4Qxj71A1NCjgEO9jCLORVoQm/1pmXVBXlnE1TofkXn/MF6qWin?= =?us-ascii?q?CE4oiRyXKVZsgf79rhsSifGYDvkaxb8I/TsssCl1GlmVztvWDN2PvQ18ZL4aat?= =?us-ascii?q?Q4thMPgWTHqw04Op27M4hpmV9YdQAh+wu60QpvFsBBl8YthHcr1xZpb6Of2xVM?= =?us-ascii?q?emXclcToM6XSAmj08laiZ+jf0RfD04DSsvMX5egiqlPuoCmoEEQl6XBuz9hWlW?= =?us-ascii?q?aa59DKBQ8YTIj+FEo6oVwy86nAZSI6/KvW1GZnNKC1tnnL0JQ0B71hgkK4Ycx3?= =?us-ascii?q?O7iAUhToEosRAM34bKR+glWyclcNOuZV6ag/Muuna/rAxa+2N6BtkC/wySwT+o?= =?us-ascii?q?1m01mQ3y51Q/WO0YxTh7nMxAqcVCzUh0yl9NvtmMZPYjREWiLr0zbMD5UXe6xv?= =?us-ascii?q?dsAGBXr4Z4Xj3dx6r5X2XzhD7l/lDFQDjovhLQGYZBn59RZa3gIQu3PhkzHui3?= =?us-ascii?q?QgiDwis7CewD3m7cPZXTZBHVRkEi0q2UzhJ5OzldETGUOvdQUBmBrj+ED736kd?= =?us-ascii?q?pbgpayGHWl9JeR/yLnp+erG9rbeLecVPrpkltSESVO22ehaRTbur51NOyD/iGm?= =?us-ascii?q?dfgSo2dHSxp5/ilAZ7gm+1PX9zq33WY8Zt3QyZ79vZE7oZiiYGSS5ihDySHkK7?= =?us-ascii?q?IdSz5v2dltHGs/z4Wm68ANkbJTXrwISapW6yzWlrGgGkkuqt3NvgHQE5lyL3yo?= =?us-ascii?q?8uHXHUrBv7eJjD3KD8OutiOEBjQkL/vY4yTp1+n4wqlZcM8XwbnYmO8GAZ12H0?= =?us-ascii?q?PdxYn6/ycSxJDWoX3tXO5gX6w2VnL2mV3MTkSmjbzMo3I5HufnIO1zl45sZMD7?= =?us-ascii?q?qS57FsmSpuvkH+tg/Yer5ghjobz70j5GNMx6ldpREg1D61B7cAFFNEeCv+0ROS?= =?us-ascii?q?4Ib65PFFamG1bL2Y1ktlltWoDbXEqwoaRXWvKbk4GiolpOV2N23RmjWn6ojjZ8?= =?us-ascii?q?T4ZslVsACVllHBgr4Ge9oKivMWiH8/airGtno/xrtjgA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BjBwDabi5a/+H2nZVbDhABBgyCSnRmd?= =?us-ascii?q?I8+jgiZCRSCAQoYAQqBXogsQBcBAQEBAQEBAQEBaiiCOCKCUAEGAhMQOQIFGQV?= =?us-ascii?q?PGT8BAwEBCRQFiTRkEKlyhBUBAYZMDAEgBYNogguBVYFqhHSCAIEbFAGGHgWSX?= =?us-ascii?q?IZviHNTAoMfhFihC40KiScCBAsCGQGBOQIgATeBOhWBBDqCKj+CHoE4BAE6iA8?= =?us-ascii?q?BASUHghoBAQE?= X-IPAS-Result: =?us-ascii?q?A0BjBwDabi5a/+H2nZVbDhABBgyCSnRmdI8+jgiZCRSCAQo?= =?us-ascii?q?YAQqBXogsQBcBAQEBAQEBAQEBaiiCOCKCUAEGAhMQOQIFGQVPGT8BAwEBCRQFi?= =?us-ascii?q?TRkEKlyhBUBAYZMDAEgBYNogguBVYFqhHSCAIEbFAGGHgWSXIZviHNTAoMfhFi?= =?us-ascii?q?hC40KiScCBAsCGQGBOQIgATeBOhWBBDqCKj+CHoE4BAE6iA8BASUHghoBAQE?= X-IronPort-AV: E=Sophos;i="5.45,391,1508796000"; d="scan'208,217";a="304908978" Received: from mail.cs.nuim.ie ([149.157.246.225]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 11 Dec 2017 12:43:46 +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 vBBBft0n017571; Mon, 11 Dec 2017 11:41:55 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 v5IhLE4K4fFf; Mon, 11 Dec 2017 11:41:54 +0000 (GMT) Received: from haowumail (pg-x23.cs.nuim.ie [149.157.244.150]) (authenticated bits=0) by mail.cs.nuim.ie (8.14.3/8.14.3/Debian-9.4) with ESMTP id vBBBffdI017568 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Mon, 11 Dec 2017 11:41:42 GMT From: "HaoWu" To: , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , Date: Mon, 11 Dec 2017 11:41:43 -0000 Message-ID: <023201d37275$0eb995e0$2c2cc1a0$@cs.nuim.ie> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_0233_01D37275.0EBCA320" X-Mailer: Microsoft Outlook 16.0 Thread-Index: AdNydLSzqNpMEhB5RmuQPmTvTWc86g== Content-Language: en-us X-Validation-by: haowu@cs.nuim.ie Subject: [Caml-list] iFM 2018 Call For Paper This is a multipart message in MIME format. ------=_NextPart_000_0233_01D37275.0EBCA320 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable =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 =20 14th International Conference on integrated Formal Methods=20 September 5-7, 2018, Maynooth, Irland =20 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 =20 =3D=3D=3D Important dates =3D=3D=3D =20 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 =20 Deadlines expire at 23:59 anywhere on earth on the dates displayed above. =20 =3D=3D=3D Objectives and scope =3D=3D=3D =20 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. =20 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 =20 =3D=3D=3D Submission guidelines =3D=3D=3D =20 iFM 2018 solicits high quality papers reporting research results and/or experience reports related to the overall theme of formal method integration. =20 We accept papers in the following categories: =20 - Regular papers (limit 15 pages) on - original scientific research results - tools, their foundation and evaluations - applications of formal methods, including rigourous evaluations =20 - 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 =20 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. =20 Submissions should be made using the iFM 2018 Easychair site:=20 =20 https://easychair.org/conferences/?conf=3Difm2018 =20 Submissions must be in PDF format, using the Springer LNCS style files. =20 The conference proceedings will be published in Springer's Lecture Notes in Computer Science series. =20 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. =20 =3D=3D=3D Organization =3D=3D=3D =20 =3D General chair =3D Rosemary Monahan, Maynooth University, Ireland =20 =3D PC chairs =3D Carlo A. Furia, Chalmers University of Technology, Sweden Kirsten Winter, University of Queensland, Australia =20 =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 Eeke Boiten, University of Kent, 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, ENSIEE, 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=E1cs, 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, =C5bo 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 =20 =3D Publicity chair =3D Hao Wu, Maynooth University, Ireland =20 =3D=3D=3D Conference location =3D=3D=3D =20 iFM 2018 is organized by Maynooth University and will take place in Maynooth, Ireland. ------=_NextPart_000_0233_01D37275.0EBCA320 Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable

=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

=A0=A0=A0=A0=A0=A0=A0=A0=A0= =A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 CALL FOR PAPERS

=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0= =A0=A0=A0 iFM 2018=A0=A0=A0=A0

&nb= sp;

14th International Conference on integra= ted Formal Methods

=A0=A0=A0=A0=A0=A0= =A0=A0=A0=A0=A0September 5-7, 2018, Maynooth, Irland

 

=A0=A0=A0=A0=A0=A0= =A0=A0=A0=A0=A0=A0=A0=A0=A0 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 any= where on earth on the dates displayed

ab= ove.

 

=3D=3D=3D Objectives and scope =3D=3D=3D

 

Applying formal methods m= ay 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

<= p class=3DMsoNormal>simply to cope with the sheer complexity of the system.= The iFM

conference series seeks to furt= her research into hybrid approaches to

f= ormal modeling and analysis: the combination of (formal and

<= p class=3DMsoNormal>semi-formal) methods for system development, regarding = both modeling

and analysis. The conferen= ce covers all aspects from language design

through verification and analysis techniques to tools and their

integration into software engineering practice.<= o:p>

 

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, deci= sion procedures, SAT/SMT solving

- Runt= ime analysis, monitoring, and testing

- = Program synthesis

- Analysis and synthes= is of hybrid, embedded, probabilistic, distributed,

=A0 or concurrent systems

-= Abstraction and refinement

- Model lear= ning and inference

 

=

=3D=3D=3D Submission guidelines =3D=3D=3D

 

iFM 2018 s= olicits high quality papers reporting research results

and/or experience reports related to the overall theme of fo= rmal

method integration.

<= p class=3DMsoNormal> 

We accept pap= ers in the following categories:

&n= bsp;

- Regular papers (limit 15 pages) on

=A0=A0=A0=A0 -=A0 original scientific rese= arch results

=A0=A0=A0=A0 -=A0 tools, th= eir foundation and evaluations

=A0=A0=A0= =A0 -=A0 applications of formal methods, including rigourous evaluations

 

= - Short papers (limit 8 pages) on

=A0= =A0=A0=A0 -=A0 any subject of interest in the area of formal methods that c= an be

=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0= =A0=A0=A0=A0 =A0=A0=A0=A0 described with sufficient detail within the page = limit

 

Page limits include bibliography and any appendices. All submission= s

must be original, unpublished, and not= submitted for publication

elsewhere.=A0= Each paper will undergo a thorough review process.

Submissions will be judged on the basis of significance, relev= ance,

correctness, originality, and clar= ity.

 

Submissions should be made using the iFM 2018 Easychair site: <= /o:p>

 

=A0= =A0 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 tran= sfer statement. At least one

author of e= ach accepted paper must register to the conference by the

early registration date, to be indicated by the organizer= s, and

present the paper.

=

 

=3D=3D=3D Or= ganization =3D=3D=3D

 

=3D General chair =3D

Rosemary Monahan, Maynooth University, Ireland

 

=3D PC chairs =3D

Carlo A. Furia, Chalmers University of Tec= hnology, Sweden

Kirsten Winter, Universi= ty of Queensland, Australia

 <= /o:p>

=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 Luxem= bourg, Luxembourg

Eeke Boiten, Universit= y of Kent, UK

Einar Broch Johnsen, Unive= rsity of Oslo, Norway

Maria Christakis, = MPI-SWS, Germany

David Cok, GrammaTech, = USA

Robert Colvin, University of Queensl= and, Australia

Ferruccio Damiani, Univer= sity of Turin, Italy

Eva Darulova, MPI S= WS, Germany

Frank de Boer, CWI Amsterdam= , Netherlands

John Derrick, University o= f Sheffield, UK

Brijesh Dongol, Brunel U= niversity, UK

Catherine Dubois, ENSIEE, = France

Diego Garbervetsky, University of= Buenos Aires, Argentina

Peter Hoefner, = Data61, Australia

Marieke Huisman, Unive= rsity of Twente, Netherlands

Rajeev Josh= i, NASA JPL, USA

Nikolai Kosmatov, CEA L= IST, France

Laura Kov=E1cs, Vienna Unive= rsity of Technology, Austria

Rustan Lein= o, Amazon, USA

Larissa Meinicke, Univers= ity of Queensland, Australia

Dominique M= ery, LORIA Nancy, France

Toby Murray, Un= iversity of Melbourne, Australia

Luigia = Petre, =C5bo Akademi University, Finland

Ruzica Piskac, Yale University, USA

Chr= is Poskitt, SUTD, Singapore

Kostis Sagon= as, Uppsala University, Sweden

Gerhard S= chellhorn, 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<= /p>

Helen Treharne, University of Surrey, UK=

Caterina Urban, ETH Zurich, Switzerland=

Mark Utting, University of Sunshine Coast, Austral= ia

Heike Wehrheim, University of Paderbo= rn, Germany

Mitsuharu Yamamoto, Chiba Un= iversity, Japan

Chenyi Zhang, Jinan Univ= ersity, 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.

= ------=_NextPart_000_0233_01D37275.0EBCA320--