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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id E70317EDC2 for ; Tue, 20 Nov 2012 12:29:44 +0100 (CET) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of lpetre@abo.fi) identity=pra; client-ip=130.232.213.120; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="lpetre@abo.fi"; x-sender="lpetre@abo.fi"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of lpetre@abo.fi designates 130.232.213.120 as permitted sender) identity=mailfrom; client-ip=130.232.213.120; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="lpetre@abo.fi"; x-sender="lpetre@abo.fi"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@smtp5.abo.fi) identity=helo; client-ip=130.232.213.120; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="lpetre@abo.fi"; x-sender="postmaster@smtp5.abo.fi"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AloBAJpoq1CC6NV4mWdsb2JhbABFwlgjAQEBAQEICwsHFCeCQiwdAoFZCYgNnniREJBYjDEUhGEDkkqDMYVZhV2DQ4Q8gVk X-IronPort-AV: E=Sophos;i="4.83,285,1352070000"; d="scan'208";a="163124300" Received: from smtp5.abo.fi ([130.232.213.120]) by mail4-smtp-sop.national.inria.fr with ESMTP; 20 Nov 2012 12:29:44 +0100 Received: from foxy.abo.fi (foxy.abo.fi [130.232.213.211]) by smtp5.abo.fi (Postfix) with ESMTP id 4F66280300 for ; Tue, 20 Nov 2012 13:29:42 +0200 (EET) X-Virus-Scanned: amavisd-new at abo.fi Received: from smtp5.abo.fi ([130.232.213.120]) by foxy.abo.fi (foxy.abo.fi [130.232.213.211]) (amavisd-new, port 10024) with ESMTP id IhXHjfryXi4B for ; Tue, 20 Nov 2012 13:29:42 +0200 (EET) Received: from smtp.abo.fi (macaroni.abo.fi [130.232.213.57]) by smtp5.abo.fi (Postfix) with ESMTP for ; Tue, 20 Nov 2012 13:29:42 +0200 (EET) Received: from webmail1.abo.fi (webmail3el5.abo.fi [130.232.212.32]) by smtp.abo.fi (Postfix) with ESMTP id 3639B4021A for ; Tue, 20 Nov 2012 13:29:42 +0200 (EET) Received: from kappa.cs.abo.fi (kappa.cs.abo.fi [130.232.86.212]) by webmail3.abo.fi (Horde MIME library) with HTTP; Tue, 20 Nov 2012 13:29:42 +0200 Message-ID: <20121120132942.rnwl1iopc0wk8sg4@webmail3.abo.fi> Date: Tue, 20 Nov 2012 13:29:42 +0200 From: Luigia Petre To: caml-list@inria.fr MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; DelSp="Yes"; format="flowed" Content-Disposition: inline Content-Transfer-Encoding: quoted-printable User-Agent: Internet Messaging Program (IMP) H3 (4.1.6) X-Validation-by: lpetre@abo.fi Subject: [Caml-list] integrated Formal Methods 2013, Turku, Finland: 2nd Call for Papers SECOND CALL FOR PAPERS ********************************************************************** 10th International Conference on integrated Formal Methods (iFM 2013) June 10 - 14, 2013 - Turku, Finland http://www.it.abo.fi/iFM2013/ ********************************************************************** 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. 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 SUBMISSION GUIDELINES iFM 2013 solicits high quality papers reporting research results and/or experience reports related to the overall theme of method integration.=A0 The conference proceedings will be published by Springer Lecture Notes in Computer Science series. All papers must be original, unpublished, and not submitted for publication elsewhere. All 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=A0 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. 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. INVITED SPEAKERS We have the pleasure of announcing the following distinguished speakers who have kindly accepted our invitation to lecture at iFM 2013: - Jean-Raymond Abrial, Marseille, France - Cosimo Laneve, University of Bologna, Italy - Susanne Graf, VERIMAG, France - Kim Larsen, Aalborg University, Denmark SPECIAL ISSUES To celebrate the 10th edition of iFM, special issues of two prominent Springer journals are agreed upon: - Formal Aspects of Computing - Software and Systems Modeling The two special issues will be based on extended and revised versions of the best papers from iFM 2013, complemented by an open call for papers. All submissions (including the papers selected from iFM) will go through a separate peer-review process according to the usual scientific standards of these journals. WORKSHOPS AND TUTORIALS The iFM conference will be accompanied by two days of workshops and tutorials. The conference will take place during 12-14.6.2013 and the tutorials and workshops right before it, during 10-11.6.2013. IMPORTANT DATES - Tutorial and Workshop proposal deadline: December 1, 2012 - Tutorial and Workshop notification: December 14, 2012 - Abstract Submission: January 10, 2013 - Paper submission: January 17, 2013 - Paper notification: March 11, 2013 - Final version paper: March 31, 2013 iFM PROGRAMME COMMITTEE CHAIRS: - Einar Broch Johnsen, University of Oslo, Norway - Luigia Petre, =C5bo Akademi University, Finland iFM 2013 TUTORIALS and WORKSHOPS CHAIR Pontus Bostr=F6m, =C5bo Akademi University, Finland iFM 2013 ORGANIZING COMMITTEE CHAIR Luigia Petre, =C5bo Akademi University, Finland PROGRAM COMMITTEE - Erika Abraham, RWTH Aachen University, Germany; - Elvira Albert, Complutense University of Madrid, Spain; - Marcello Bonsangue, Leiden University, the Netherlands; - Phillip J Brooke, Teesside University, UK; - Ana Cavalcanti, University of York, UK; - Dave Clarke, Catholic University of Leuven, Belgium; - John Derrick, Unversity of Sheffield, UK; - Jin Song Dong, National University of Singapore, Singapore; - Kerstin Eder, University of Bristol, UK; - John Fitzgerald, Newcastle University, UK; - Andy Galloway, University of York, UK; - Marieke Huisman, University of Twente, the Netherlands; - Reiner H=E4hnle, Technical University of Darmstadt, Germany; - Einar Broch Johnsen, University of Oslo, Norway; - Peter Gorm Larsen, Aarhus University, Denmark; - Diego Latella, ISTI-CNR, Pisa, Italy; - Michael Leuschel, University of Duesseldorf, Germany; - Shaoying Liu, Hosei University, Japan; - Michele Loreti, University of Florence, Italy; - Dominique Mery, LORIA and University of Lorraine, France; - Stephan Merz, INRIA Lorraine, France; - Richard Paige, University of York, UK; - Luigia Petre, =C5bo Akademi University, Finland; - Kristin Yvonne Rozier, NASA Ames Research Center, USA; - Philipp Ruemmer, Uppsala University, Sweden; - Thomas Santen, European Microsoft Innovation Center, Germany; - Ina Schaefer, Technical University of Braunschweig, Germany; - Steve Schneider, University of Surrey, UK; - Emil Sekerinski, McMaster University, Canada; - Kaisa Sere, Abo Akademi University, Finland; - Graeme Smith, University of Queensland, Australia; - Colin Snook, University of Southampton, UK; - Kenji Taguchi, AIST, Japan; - Helen Treharne, University of Surrey, UK; - Heike Wehrheim, University of Paderborn, Germany; - Herbert Wiklicky, Imperial College, UK; - Gianluigi Zavattaro, University of Bologna, Italy ********************************************************************** This call for papers and additional information about the conference can be found at http://www.it.abo.fi/iFM2013 For information regarding the conference you can contact: ifm2013@abo.fi --=20 Luigia Petre, Docent, PhD Department of Information Technologies =C5bo Akademi University, Finland www.users.abo.fi/lpetre