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 D10D87F893; Wed, 19 Mar 2014 23:57:52 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of emil@mcmaster.ca) identity=pra; client-ip=130.113.128.25; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="emil@mcmaster.ca"; x-sender="emil@mcmaster.ca"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of emil@mcmaster.ca) identity=mailfrom; client-ip=130.113.128.25; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="emil@mcmaster.ca"; x-sender="emil@mcmaster.ca"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@pinegw02.uts.mcmaster.ca) identity=helo; client-ip=130.113.128.25; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="emil@mcmaster.ca"; x-sender="postmaster@pinegw02.uts.mcmaster.ca"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqEKAI8fKlOCcYAZbWdsb2JhbABaAoJAf4R8tTOEIYRRJYENDg0GBQkJFCiCHSxJAlkLAXSFf4IDDZ4psgMXjg1UFYJ0JoEUBJRbhR6FGo8tgU0 X-IPAS-Result: AqEKAI8fKlOCcYAZbWdsb2JhbABaAoJAf4R8tTOEIYRRJYENDg0GBQkJFCiCHSxJAlkLAXSFf4IDDZ4psgMXjg1UFYJ0JoEUBJRbhR6FGo8tgU0 X-IronPort-AV: E=Sophos;i="4.97,689,1389740400"; d="scan'208,217";a="53349674" Received: from pinegw02.uts.mcmaster.ca ([130.113.128.25]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 19 Mar 2014 23:57:50 +0100 Received: from pinegw04.uts.mcmaster.ca (pinegw04.UTS.McMaster.CA [130.113.128.58]) by pinegw02.uts.mcmaster.ca (8.14.4/8.14.4) with ESMTP id s2JMsIUh028864 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Wed, 19 Mar 2014 18:54:19 -0400 Received: from cgpsrv2.cis.mcmaster.ca (univmail.CIS.McMaster.CA [130.113.64.46]) by pinegw04.uts.mcmaster.ca (8.14.4/8.14.4) with ESMTP id s2JMrvj9000979; Wed, 19 Mar 2014 18:53:57 -0400 Received: from [165.154.32.135] (account emil@univmail.cis.mcmaster.ca HELO [192.168.0.9]) by cgpsrv2.cis.mcmaster.ca (CommuniGate Pro SMTP 5.2.12) with ESMTPSA id 501818881; Wed, 19 Mar 2014 18:53:57 -0400 From: Emil Sekerinski Content-Type: multipart/alternative; boundary="Apple-Mail=_8DE50F56-0322-4308-9EE9-1CA7869CE5C4" Date: Wed, 19 Mar 2014 18:53:54 -0400 Message-Id: <99D58784-FDB1-4A4C-B82D-ACBDDD94326E@mcmaster.ca> Mime-Version: 1.0 (Mac OS X Mail 7.2 \(1874\)) X-Mailer: Apple Mail (2.1874) X-PMX-Version-Mac: 6.0.3.2322014, Antispam-Engine: 2.7.2.2107409, Antispam-Data: 2014.3.19.224818 X-PerlMx-Spam: Gauge=IIIIIIII, Probability=8%, Report=' HTML_70_90 0.1, LINES_OF_YELLING_3 0.05, MIME_LOWER_CASE 0.05, BODY_SIZE_10000_PLUS 0, DATE_TZ_NA 0, MISSING_HEADERS 0, __ANY_URI 0, __CP_MEDIA_2_BODY 0, __CP_URI_IN_BODY 0, __CT 0, __CTYPE_HAS_BOUNDARY 0, __CTYPE_MULTIPART 0, __CTYPE_MULTIPART_ALT 0, __HAS_FROM 0, __HAS_HTML 0, __HAS_MSGID 0, __HAS_X_MAILER 0, __INT_PROD_LOC 0, __INT_PROD_QUALITY 0, __LINES_OF_YELLING 0, __MIME_HTML 0, __MIME_VERSION 0, __MSGID_APPLEMAIL 0, __PHISH_SPEAR_STRUCTURE_1 0, __SANE_MSGID 0, __SUBJ_ALPHA_END 0, __TAG_EXISTS_HTML 0, __URI_NO_MAILTO 0, __URI_NO_PATH 0, __URI_NS , __USER_AGENT_APPLEMAIL 0, __X_MAILER_APPLEMAIL 0' X-Spam-Flag: NO X-Validation-by: emil@mcmaster.ca Subject: [Caml-list] Integrated Formal Methods 2014 - Call for Papers --Apple-Mail=_8DE50F56-0322-4308-9EE9-1CA7869CE5C4 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=iso-8859-1 ********************************************************************** 11th International Conference on integrated Formal Methods, iFM 2014 Co-located with the 11th International Symposium on Formal Aspects of Component Software, FACS 2014 September 9 - 12, 2014 - Bertinoro, Italy http://ifm2014.cs.unibo.it ********************************************************************** IMPORTANT DATES - Abstract Submission: April 17, 2014 - Paper submission: April 25, 2014 - Paper notification: June 6, 2014 - Final version paper: June 27, 2014 OBJECTIVES AND SCOPE Applying formal methods may involve modeling different aspects of a system which are best expressed using different formalisms. Correspondingly, different analysis techniques may be used to examine different system views, different kinds of properties, or simply in order 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 modeling and analysis, and covering 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:=20 - Formal and semiformal modelling notations;=20 - Integration of formal methods into software engineering practice;=20 - Refinement;=20 - Theorem proving; - Tools;=20 - Logics;=20 - Model checking;=20 - Model transformations;=20 - Semantics;=20 - Static Analysis;=20 - Type Systems;=20 - Verification; - Case Studies;=20 - Experience reports=20 CONFERENCE LOCATION iFM 2014 is organized by the University of Bologna and will take place at the Centro Residenziale Universitario in Bertinoro, a small medieval hilltop town 50km east of Bologna. INVITED SPEAKERS iFM 2014 will have the following keynote speakers jointly with FACS 2014:=20 - Rocco De Nicola (IMT Lucca) - Sophia Drossopoulou (Imperial College) - Jean-Bernard Stefani (INRIA) - Helmut Veith (TU Wien) WORKSHOPS There are two days of workshops and tutorials. iFM will take place September 9 - 11, 2014, FMCO will take place September 10 - 12, and the tutorials and workshops on September 9 and September 12: - Harnessing Theories for Tool Support in Software (TTSS) - Logics and Model-checking for Self-* Systems (MOD*) - Tools and Methods for Cyber-Physical Systems of Systems - ENVISAGE Contracts for SLAs Further information is on the web site. SUBMISSION GUIDELINES iFM 2013 solicits high quality papers reporting research results and/or experience reports related to the overall theme of method integration. The conference proceedings will be published in Springer's Lecture Notes in Computer Science series. All submissions must be original, unpublished, and not submitted for publication elsewhere. 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). Papers should not exceed 15 pages in length. Each paper will undergo a thorough review process. Submissions should be made using the iFM 2014 Easychair web site: https://www.easychair.org/account/signin.cgi?conf=3Difm2014 All accepted papers must be presented at the conference. The 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.=20 GENERAL CHAIR=20 - Gianluigi Zavattaro, University of Bologna, Italy iFM PROGRAMME COMMITTEE CHAIRS:=20 - Elvira Albert, Complutense University of Madrid, Spain - Emil Sekerinski, McMaster University, Canada FMCO and iFM WORKSHOP CHAIR - Elena Giachino, University of Bologna, Italy iFM PROGRAM COMMITTEE - Erika Abraham, RWTH Aachen University, Germany - Clara Benac, Technical University of Madrid, Spain - Ana Cavalcanti, University of York, UK - Frank de Boer, CWI Amsterdam, Netherlands - Eerke Boiten, University of Kent, UK - Michael Butler, University of Southampton, UK - David D=E9harbe, Federal University of Rio Grande do Norte, Brazil - John Derrick, University of Sheffield, UK - Marc Frappier, University of Sherbrooke, Canada - Elena Giachino, University of Bologna, Italy - Susanne Graf, Verimag, France - John Hatcliff, Kansas State University, USA - Einar Broch Johnsen, University of Oslo, Norway - Rajeev Joshi, NASA Jet Propulsion Laboratory, USA - Laura Kov=E1cs, Chalmers University of Technology, Sweden - Diego Latella, National Research Council, Pisa, Italy - Stefan Leue, University of Konstanz, Germany - Shaoying Liu, Hosei University, Japan - Dominique Mery, LORIA and University of Lorraine, France - Antoine Mine, Ecole Normale Sup=E9rieur, France - Luigia Petre, =C5bo Akademi University, Finland=20 - Guillermo Rom=E1n D=EDez, Technical University of Madrid, Spain - Fernando Rosa, Complutense University of Madrid, Spain - Augusto Sampaio, University of Pernambuco, Brazil - Thomas Santen, European Microsoft Innovation Center, Germany - Steve Schneider, University of Surrey, UK - Graeme Smith, University of Queensland, Australia - Kenji Taguchi, AIST, Japan - Tayssir Touili, University Paris Diderot, France - Helen Treharne, University of Surrey, UK=20 - J=FCri Vain, Tallinn University of Technology, Estonia - Heike Wehrheim, University of Paderborn, Germany - Peter Wong, Fredhopper B.V., Netherlands= --Apple-Mail=_8DE50F56-0322-4308-9EE9-1CA7869CE5C4 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=iso-8859-1 **************************************= ********************************
11th International Conference on integrated Formal Methods, iFM 20= 14

Co-located with the 11th Internationa= l Symposium on  Formal Aspects of
Component Software, FACS 2014

September 9 - 12, 2014 - Bertinoro, Italy
http://ifm2014.cs.u= nibo.it

***********************************= ***********************************

IMPO= RTANT DATES
- Abstract S= ubmission: April 17, 2014
- Paper notification: June 6, 2014
- Final version paper: June 27, 2014

OBJECTIVES AND SCOPE
Applying formal methods may involve modeling different as= pects of a
system which = are best expressed using different formalisms.
Correspondingly, different analysis techniques may b= e used to examine
differ= ent system views, different kinds of properties, or simply in
order to cope with the sheer complexi= ty of the system. The iFM
formal modeling and analy= sis; i.e., the combination of (formal and
semi-formal) methods for system development, regarding mo= deling and
analysis, and= covering all aspects from language design through
verification and analysis techniques to tools an= d their integration
into= software engineering practice. 

Areas of interest include but are not limited to: 

- Formal and semiformal modelling notations= ; 
- Integration of= formal methods into software engineering practice; 
- Refinement; 
- Theorem proving;
- Tools; 
- Logics; 
- Model checking; 
- Model transformations; 
- Semantics; 
- Static Analysis; 
- Type Systems; 
- Verification;
- Case Studies; 
- Experience reports 

CONFERENCE L= OCATION
iFM 2014 is orga= nized by the University of Bologna and will take
place at the Centro Residenziale Universitario in = Bertinoro, a small
medie= val hilltop town 50km east of Bologna.

INVITED SPEAKERS
iFM 2014 will have the following keynote speakers jointly with FA= CS 2014: 

- Rocco De Nicola (IMT Lu= cca)
- Sophia Drossopoul= ou (Imperial College)
- = Jean-Bernard Stefani (INRIA)
- Helmut Veith (TU Wien)

WORKSHOPS<= /span>
There are two days of wo= rkshops and tutorials. iFM will take place
September 9 - 11, 2014, FMCO will take place September 1= 0 - 12, and
the tutorial= s and workshops on September 9 and September 12:
- Harnessing Theories for Tool Support in Software= (TTSS)
- Logics and Mod= el-checking for Self-* Systems (MOD*)
- Tools and Methods for Cyber-Physical Systems of Systems
- ENVISAGE Contracts for = SLAs
Further information= is on the web site.

SUBMISSION GUIDELIN= ES
iFM 2013 solicits hig= h quality papers reporting research results
and/or experience reports related to the overall theme = of method
= integration. T= he conference proceedings will be published in
Springer's Lecture Notes in Computer Science series.= All submissions
must be= original, unpublished, and not submitted for publication
elsewhere. Submissions must be in PDF f= ormat, 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). Pa= pers should
not exceed 1= 5 pages in length. Each paper will undergo a thorough
review process. Submissions should be made us= ing the iFM 2014
Easycha= ir web site:

GENERAL CHAIR 
- Gianluigi Zavattaro, University of Bologna, Italy

iFM PROGRAMME COMMITTEE CHAIRS: 
- Elvira Albert, Complutense University of Madri= d, Spain
<= span style=3D"font-family: Menlo-Regular; font-size: 11px;">- Emil Sekerins= ki, McMaster University, Canada

FMCO and= iFM WORKSHOP CHAIR
- El= ena Giachino, University of Bologna, Italy

iFM PROGRAM COMMITTEE
- Erika Abraham, RWTH Aachen University, Germany
- Clara Benac, Technical University of Madrid, Sp= ain
- Ana Cavalcanti, Un= iversity of York, UK
- F= rank de Boer, CWI Amsterdam, Netherlands
- Eerke Boiten, University of Kent, UK
- Michael Butler, University of Southampton= , UK
- David D=E9harbe, = Federal University of Rio Grande do Norte, Brazil
- John Derrick, University of Sheffield, UK
- Marc Frappier, University o= f Sherbrooke, Canada
- E= lena Giachino, University of Bologna, Italy
- Susanne Graf, Verimag, France
- John Hatcliff, Kansas State University, USA
- Einar Broch Johnsen, Un= iversity of Oslo, Norway
- Rajeev Joshi, NASA Jet Propulsion Laboratory, USA
- Laura Kov=E1cs, Chalmers University of Techn= ology, Sweden
- Diego La= tella, National Research Council, Pisa, Italy
- Stefan Leue, University of Konstanz, Germany=
- Shaoying Liu, Hosei Universi= ty, Japan
= - Dominique Me= ry, LORIA and University of Lorraine, France
- Antoine Mine, Ecole Normale Sup=E9rieur, France
- Luigia Petre, =C5bo Akadem= i University, Finland 
- Guillermo Rom=E1n D=EDez, Technical University of Madrid, Spain
- Fernando Rosa, Complutense = University of Madrid, Spain
- Augusto Sampaio, University of Pernambuco, Brazil
- Thomas Santen, European Microsoft Innovat= ion Center, Germany
- St= eve Schneider, University of Surrey, UK
- Graeme Smith, University of Queensland, Australia<= br style=3D"font-family: Menlo-Regular; font-size: 11px;">- Kenji Taguchi, AIST, Japan
- Tayssir Touili, Univers= ity Paris Diderot, France
- J=FCri Vain, Tallinn University of Technology,= Estonia
<= span style=3D"font-family: Menlo-Regular; font-size: 11px;">- Heike Wehrhei= m, University of Paderborn, Germany
- Peter Wong, Fredhopper B.V., Netherlands
= --Apple-Mail=_8DE50F56-0322-4308-9EE9-1CA7869CE5C4--