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 BDD9C7EF29; Fri, 18 Dec 2015 14:25:45 +0100 (CET) IronPort-PHdr: 9a23:dYkC7RGLJ15a9872MPnOy51GYnF86YWxBRYc798ds5kLTJ75pMqwAkXT6L1XgUPTWs2DsrQf27SQ6/iocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWC0YLvj6ibwN76XUZhvHKFe7R8LRG7/036l/I9ps9cEJs30QbDuXBSeu5blitCLFOXmAvgtI/rpMYwuxJ54Kp4spYZGeWjIuVrBYBfWWAjdWAo5dbuvB/rUBeQ630AXyMQlkwbLRLC6USuW9Hxryrhs+N78DSGIsDwUb1yXzD0vPQjcwPhlCpSb21xy2rQkMEl1f9W Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=m.huisman@utwente.nl; spf=None smtp.mailfrom=m.huisman@utwente.nl; spf=None smtp.helo=postmaster@out28-ams.mf.surf.net Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of m.huisman@utwente.nl) identity=pra; client-ip=145.0.1.28; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="m.huisman@utwente.nl"; x-sender="m.huisman@utwente.nl"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of m.huisman@utwente.nl) identity=mailfrom; client-ip=145.0.1.28; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="m.huisman@utwente.nl"; x-sender="m.huisman@utwente.nl"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@out28-ams.mf.surf.net) identity=helo; client-ip=145.0.1.28; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="m.huisman@utwente.nl"; x-sender="postmaster@out28-ams.mf.surf.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DJAwA5CHRWnBwBAJFegm6BHl4BAQ0GvSCCGxcBCYI8gzCBOTsRAQEBAQEBAQEQAQEBAQEICwkJIS5BAQEDCwKBWoIOHUkCIwGBACcECog4BAqbSKFvIY0UgnRUgjUMQYE2BZMIg3eBDIQwiFGBGkmDfI8HCyWDV4NzAREnggJICR2BQHKCRlomAh4HHAGBBwEBAQ X-IPAS-Result: A0DJAwA5CHRWnBwBAJFegm6BHl4BAQ0GvSCCGxcBCYI8gzCBOTsRAQEBAQEBAQEQAQEBAQEICwkJIS5BAQEDCwKBWoIOHUkCIwGBACcECog4BAqbSKFvIY0UgnRUgjUMQYE2BZMIg3eBDIQwiFGBGkmDfI8HCyWDV4NzAREnggJICR2BQHKCRlomAh4HHAGBBwEBAQ X-IronPort-AV: E=Sophos;i="5.20,446,1444687200"; d="scan'208,217";a="192960003" Received: from out28-ams.mf.surf.net ([145.0.1.28]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 18 Dec 2015 14:25:44 +0100 Received: from EXEDGE02.ad.utwente.nl (exedge02.ad.utwente.nl [130.89.5.49]) by outgoing1-ams.mf.surf.net (8.14.4/8.14.4/Debian-4) with ESMTP id tBIDNhCi009081; Fri, 18 Dec 2015 14:23:43 +0100 Received: from EXMBX31.ad.utwente.nl (130.89.4.146) by EXEDGE02.ad.utwente.nl (130.89.5.49) with Microsoft SMTP Server (TLS) id 14.3.181.6; Fri, 18 Dec 2015 14:23:43 +0100 Received: from EXMBX34.ad.utwente.nl (130.89.4.149) by EXMBX31.ad.utwente.nl (130.89.4.146) with Microsoft SMTP Server (TLS) id 15.0.1076.9; Fri, 18 Dec 2015 14:23:42 +0100 Received: from EXMBX34.ad.utwente.nl ([130.89.4.149]) by EXMBX34.ad.utwente.nl ([130.89.4.149]) with mapi id 15.00.1076.000; Fri, 18 Dec 2015 14:23:42 +0100 From: To: Thread-Topic: Deadline extended: iFM 2016 (integrated Formal Methods), 1 - 3 June 2016, Reykjavik Thread-Index: AQHROZdQt0LwQnUdmEinzhBTp7+Sng== Date: Fri, 18 Dec 2015 13:23:42 +0000 Message-ID: Accept-Language: en-US, nl-NL Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: user-agent: Microsoft-MacOutlook/14.5.9.151119 x-ms-exchange-transport-fromentityheader: Hosted x-originating-ip: [130.89.28.86] Content-Type: multipart/alternative; boundary="_000_D299C6ED268CBmhuismanutwentenl_" MIME-Version: 1.0 X-Bayes-Prob: 0.005 (Score 0, tokens from: utwente-out:default, utwente:default, base:default, @@RPTN) X-Spam-Score: -0.50 () [Tag at 5.00] HTML_MESSAGE:0.001,DKIM(none:0),CC(NL:-0.5) X-CanIt-Geo: ip=130.89.5.49; country=NL; region=Provincie Overijssel; city=Enschede; latitude=52.2183; longitude=6.8958; http://maps.google.com/maps?q=52.2183,6.8958&z=6 X-CanItPRO-Stream: utwente-out:default (inherits from utwente:default,base:default) X-Canit-Stats-ID: 0uPT1nHjw - c7b74ca9a386 - 20151218 (trained as not-spam) X-Scanned-By: CanIt (www . roaringpenguin . com) X-Validation-by: m.huisman@utwente.nl Subject: [Caml-list] Deadline extended: iFM 2016 (integrated Formal Methods), 1 - 3 June 2016, Reykjavik --_000_D299C6ED268CBmhuismanutwentenl_ Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable Apologies for cross-posting! =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D The submission deadline for iFM 2016 has been extended: Abstract submission: January 6, 2016 (extended) Paper submission: January 13, 2016 (extended) Paper notification: February 29, 2016 Please find an updated version of CfP below. Best regards, Erika Abraham Marieke Huisman =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=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 2016 12th International Conference on integrated Formal Methods June 1-3, 2016, Reykjavik, Iceland http://en.ru.is/ifm/ =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=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: January 6, 2016 (extended) Paper submission: January 13, 2016 (extended) Paper notification: February 29, 2016 Final version: March 14, 2016 Conference: June 1-3, 2016 =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; 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 =3D=3D=3D Submission guidelines =3D=3D=3D iFM 2016 solicits high quality papers reporting research results and/or experience reports related to the overall theme of method integration. We solicit papers in the following categories: - research papers (max. 15 pages including bibliography) - regular tool papers (max. 15 pages including bibliography) - short tool papers (max. 8 pages including bibliography) - case study papers (max. 15 pages including bibliography) All submissions must be original, unpublished, and not submitted for publication elsewhere. Each paper will undergo a thorough review process. If necessary, a paper may be supplemented with a clearly marked appendix, which will be consulted at the discretion of the reviewers. Submissions should be made using the iFM 2016 Easychair site: https://easychair.org/conferences/?conf=3Difm2016 Submissions must be in PDF format, using the Springer LNCS style files; we suggest to use the LaTeX2e package (the llncs.cls class file, available in llncs2e.zip and the typeinst.dem available in typeinst.zip as a template for your contribution). 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 date, to be indicated by the organizers, and present the paper. =3D=3D=3D Invited speakers =3D=3D=3D Marsha Chechik (University of Toronto, Canada) Laura Kovacs (Chalmers University of Technology, Sweden) Reiner Haehnle (Technical University Darmstadt, Germany) Edmund Clarke (Carnegie Mellon University, USA) =3D=3D=3D Workshops =3D=3D=3D iFM 2016 will be accompanied by a series of workshops. Further information is available from the conference website http://en.ru.is/ifm/ =3D=3D=3D Conference location =3D=3D=3D iFM 2016 is organized by the University of Reykjavik and will take place at the university campus in Reykjavik, the capital of Iceland. =3D=3D=3D Committees =3D=3D=3D 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) --_000_D299C6ED268CBmhuismanutwentenl_ Content-Type: text/html; charset="us-ascii" Content-ID: <6D875A60E8C09E4EAC3F6DCF55FCF2CB@exchange.utwente.nl> Content-Transfer-Encoding: quoted-printable
Apologies for cross-posting!

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

The submission deadline for iFM 2016 has been e= xtended:

Abstract submission:  January 6, 2016 (ext= ended)
Paper submission:     January 13, 201= 6 (extended)
Paper notification:   February 29, 2016

Please find an updated version of CfP below.

Best regards,

Erika Abraham
Marieke Huisman


=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=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 2016     

 12th International Conference on integrat= ed Formal Methods 
             = ;June 1-3, 2016, Reykjavik, Iceland

             = ;      http://en.ru.is/ifm/=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=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:  January 6, 2016 (ext= ended)
Paper submission:     January 13, 201= 6 (extended)
Paper notification:   February 29, 2016
Final version:        March= 14, 2016
Conference:           = June 1-3, 2016

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

Applying formal methods may involve the usage o= f 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 properti= es of the system, or
simply to cope with the sheer complexity of the= system. The iFM
conference series seeks to further research int= o hybrid approaches to
formal modeling and analysis; i.e., the combina= tion of (formal and
semi-formal) methods for system development, re= garding both modeling
and analysis.  The conference covers all a= spects 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 t= o: 
  - Formal and semi-formal modelling notat= ions
  - Integration of formal methods into sof= tware engineering practice
  - Hybrid systems
  - Program verification
  - Program synthesis
  - Model checking
  - Static analysis
  - Runtime analysis, monitoring, performa= nce evaluation
  - Decision procedures, SAT and SMT solvi= ng 
  - Software engineering 
  - Component-based systems (compositional= , embedded, distributed, etc.) 
  - Testing 
  - Abstraction and refinement 

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

iFM 2016 solicits high quality papers reporting= research results
and/or experience reports related to the overal= l theme of method
integration.

We solicit papers in the following categories:<= /font>

  - research papers (max. 15 pages includi= ng bibliography)
  - regular tool papers (max. 15 pages inc= luding bibliography)
  - short tool papers (max. 8 pages includ= ing bibliography)
  - case study papers (max. 15 pages inclu= ding bibliography)

All submissions must be original, unpublished, = and not submitted for
publication elsewhere. Each paper will undergo = a thorough review
process. If necessary, a paper may be supplemen= ted with a clearly
marked appendix, which will be consulted at the= discretion of the
reviewers.

Submissions should be made using the iFM 2016 E= asychair site:
Submissions must be in PDF format, using the Sp= ringer LNCS style
files; we suggest to use the LaTeX2e package (t= he llncs.cls class
file, available in llncs2e.zip and the typeinst= .dem available in
typeinst.zip as a template for your contributio= n). The conference
proceedings will be published in Springer's Lec= ture Notes in Computer
Science series.

All accepted papers must be presented at the co= nference. Their authors
must be prepared to sign a copyright transfer s= tatement. At least one
author of each accepted paper must register to = the conference by the
early date, to be indicated by the organizers, = and present the paper.

=3D=3D=3D Invited speakers =3D=3D=3D

 Marsha Chechik (University of Toronto, Ca= nada)
 Laura Kovacs (Chalmers University of Tech= nology, Sweden)
 Reiner Haehnle (Technical University Darm= stadt, Germany)
 Edmund Clarke (Carnegie Mellon University= , USA)

=3D=3D=3D Workshops =3D=3D=3D

iFM 2016 will be accompanied by a series of wor= kshops. Further
information is available from the conference we= bsite

=3D=3D=3D Conference location =3D=3D=3D<= /div>

iFM 2016 is organized by the University of Reyk= javik and will take
place at the university campus in Reykjavik, th= e capital of Iceland.

=3D=3D=3D Committees =3D=3D=3D

General Chair:
  Marjan Sirjani (University of Reykjavik,= Iceland)

Program Chairs:
  Erika Abraham (RWTH Aachen University, G= ermany)
  Marieke Huisman (University of Twente, T= he Netherlands)

Workshop Chair:
  Marcel Kyas (University of Reykjavik, Ic= eland)
  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 Politecni= ca 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 o= f Technology, The Netherlands)
  Dilian Gurov (KTH Royal Institute of Tec= hnology, Sweden)
  Holger Hermanns (Saarland University, Ge= rmany)
  Einar Broch Johnsen (University of Oslo,= Norway)
  Peter Gorm Larsen (Aarhus University, De= nmark)
  Martin Leucker (University of Lubeck, Ge= rmany)
  Dominique Mery (Universite de Lorraine, = LORIA, France)
  Rosemary Monahan (Maynooth University, I= reland)
  Nadia Polikarpova (MIT, USA)
  Cesar Sanchez (IMDEA Software Institute,= Spain)
  Sriram Sankaranarayanan (University of C= olorado, USA)
  Ina Schaefer (Technische Universitaet Br= aunschweig, Germany)
  Gerardo Schneider (Chalmers, University = of Gothenburg, Sweden)
  Emil Sekerinski (McMaster University, Ca= nada) 
  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)

--_000_D299C6ED268CBmhuismanutwentenl_--