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 97A917EE4D for ; Thu, 12 Sep 2013 08:45:32 +0200 (CEST) Received-SPF: None (mail3-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=mail3-smtp-sop.national.inria.fr; envelope-from="lpetre@abo.fi"; x-sender="lpetre@abo.fi"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-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=mail3-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 (mail3-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=mail3-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: AswBAI5iMVKC6NV4nGdsb2JhbABbgz9SwWEWDgEBAQEBCAsJCRQognUfTTRhCYd5DJxloQ+OLYViA4kximyDW4YchieDX4R2gWY X-IPAS-Result: AswBAI5iMVKC6NV4nGdsb2JhbABbgz9SwWEWDgEBAQEBCAsJCRQognUfTTRhCYd5DJxloQ+OLYViA4kximyDW4YchieDX4R2gWY X-IronPort-AV: E=Sophos;i="4.90,888,1371074400"; d="scan'208";a="26564848" Received: from smtp5.abo.fi ([130.232.213.120]) by mail3-smtp-sop.national.inria.fr with ESMTP; 12 Sep 2013 08:45:31 +0200 Received: from goopy.abo.fi (goopy.abo.fi [130.232.212.89]) by smtp5.abo.fi (Postfix) with ESMTP id 7E0008026C for ; Thu, 12 Sep 2013 09:45:29 +0300 (EEST) X-Virus-Scanned: amavisd-new at abo.fi Received: from smtp5.abo.fi ([130.232.213.120]) by goopy.abo.fi (goopy.abo.fi [130.232.212.89]) (amavisd-new, port 10024) with ESMTP id 7SUM-JK42tAE for ; Thu, 12 Sep 2013 09:45:28 +0300 (EEST) Received: from smtp.abo.fi (macaroni.abo.fi [130.232.213.57]) by smtp5.abo.fi (Postfix) with ESMTP for ; Thu, 12 Sep 2013 09:45:28 +0300 (EEST) Received: from webmail1.abo.fi (webmail1el5.abo.fi [130.232.212.30]) by smtp.abo.fi (Postfix) with ESMTP id BB844401B5 for ; Thu, 12 Sep 2013 09:45:28 +0300 (EEST) Received: from kappa.cs.abo.fi (kappa.cs.abo.fi [130.232.86.212]) by webmail1.abo.fi (Horde MIME library) with HTTP; Thu, 12 Sep 2013 09:45:28 +0300 Message-ID: <20130912094528.rjqeuwe8cg4sk8ow@webmail1.abo.fi> Date: Thu, 12 Sep 2013 09:45:28 +0300 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] SoSyM Special Issue on Integrated Formal Methods SoSyM Special Issue on Integrated Formal Methods http://www.sosym.org/ http://www.sosym.org/theme_issues/ Guest editors: Luigia Petre, =C5bo Akademi University and Einar Broch=20=20 Johnsen, University of Oslo Editors-in-chief: Robert France, Colorado State University and=20=20 Bernhard Rumpe, RWTH Aachen University Formal methods allow the modeling and analysis of various aspects of a=20= =20 system. Modeling languages differ in the system aspects they target,=20=20 for which models can be naturally and succinctly expressed. Numerous=20=20 techniques address model analysis in these languages, specialized for=20=20 different kinds of properties. Thus, applying formal methods may=20=20 involve the modeling of different aspects of a system through=20=20 different formal paradigms. Correspondingly, different analysis=20=20 techniques will be integrated to examine differently modeled system=20=20 views, different kinds of properties, or simply in order to cope with=20=20 the sheer complexity of the system. In recent years there has been a great deal of interest addressing the=20= =20 scalability of such hybrid or integrated formal models and analysis=20=20 techniques. In addition, several formal methods have matured to the=20=20 point where they can be deployed on industrial-scale applications, in=20=20 big part due to their increasing tool support. The aim of this theme=20=20 issue is to provide a resource that describes the state-of-the-art in=20=20 integrated formal methods and to outline a roadmap that addresses key=20=20 challenges in this area. The Journal of Software and Systems Modeling (SoSyM) invites original,=20= =20 high-quality submissions for its theme issue on =93Integrated Formal=20=20 Methods (IFM)=94 focusing on topics related to IFM, including: =95 Requirements for integration: challenges and road-map;=20=20 combination of (formal and semi-formal) methods for system modeling,=20=20 analysis and development; architectures. =95 Integration phases: all integration aspects from language design=20= =20 through verification and analysis techniques; questions with respect=20=20 to maintainability. =95 Integration technologies: tools for integrating formal methods=20=20 for modeling and analysis and their adoption into software engineering=20= =20 practice. =95 Integration of varied software analysis methods: challenges and=20= =20 reports in combining formal methods with model checking techniques and=20= =20 simulation methodologies Important Dates Intent to submit 1 Oct 2013 Paper submission 15 Nov 2013 Notification 15 Feb 2014 Camera-ready version Apr 2014 Making a submission =95 Papers must be written in a scientifically rigorous manner with=20= =20 adequate references to related work. =95 Submitted papers must not be simultaneously submitted in an=20=20 extended form or in a shortened form to other journals or conferences. It is however possible to submit extended versions of previously=20=20 published work if less than 75% of the content already appeared in a=20=20 nonjournal publication, or less than 40% in a journal publication. Please see the SoSyM Policy Statement on Plagiarism for further=20=20 conditions (http://www.sosym.org/submission/#plagiarismstatement). =95 Submitted papers do not need to adhere to a particular format or=20= =20 page limit, but should be prepared using font =93Times New Roman=94 with a= =20=20 font size no smaller than 11 pt, and with 1.5 line spacing. Please=20=20 consult the SoSyM author information for submitting papers=20=20 (http://www.sosym.org/submission). =95 Each paper will be reviewed by at least three reviewers. *** =95 Communicate your intent to submit a paper by emailing the theme=20= =20 issue editors the following information before the Intent to Submit deadline: Title, Authors, and an Abstract. =95 Possible submission formats are: =95 Word (.doc, without macros) =95 Rich Text Format (.rtf) =95 PostScript (.ps, special fonts must be embedded) =95 PDF (saved as readable in version 5.0 or earlier) =95 Submit your work using the online submission system manuscript centr= al: =95 In step 1, select =93Theme Section Paper=94 as the manuscript type and select =93Dr. Bernhard Rumpe=94 as the =93Editor-in-Chief=94 (EIC). =95 In step 4, add =93Luigia Petre=94 (+ lpetre@abo.fi) or "Einar Broch Johnsen=94 (+ einarj@ifi.uio.no) as an editor and choose=20=20 =93Designate as Preferred Editor=94. =95 In step 5, make sure field =93Cover Letter=94 includes the line: =93Submission for Theme Issue on IFM=94. *** If you have any questions or require additional information about=20=20 this theme issue, please contact the editors. -- Luigia Petre, Docent, PhD Formal Methods and Networks group https://research.it.abo.fi/research/FormNet Department of Information Technologies =C5bo Akademi University, Finland www.users.abo.fi/lpetre