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 98E7D7F02A for ; Fri, 30 Sep 2016 15:18:27 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=ingridcy@ifi.uio.no; spf=None smtp.mailfrom=ingridcy@ifi.uio.no; spf=None smtp.helo=postmaster@mail-out5.uio.no Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of ingridcy@ifi.uio.no) identity=pra; client-ip=129.240.10.17; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ingridcy@ifi.uio.no"; x-sender="ingridcy@ifi.uio.no"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of ingridcy@ifi.uio.no) identity=mailfrom; client-ip=129.240.10.17; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ingridcy@ifi.uio.no"; x-sender="ingridcy@ifi.uio.no"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-out5.uio.no) identity=helo; client-ip=129.240.10.17; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ingridcy@ifi.uio.no"; x-sender="postmaster@mail-out5.uio.no"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A3OHEKxGEFUz4OibvBmqo0p1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ76rsuwAkXT6L1XgUPTWs2DsrQf2rCQ6fmrBzRIoc7Y9itdINoUD15NoP?= =?us-ascii?q?5VtjJjKfbNMVf8Iv/uYn5yN+V5f3ghwUuGN1NIEt31fVzYry76xzcTHhLiKVg9?= =?us-ascii?q?fbytScaBx/iwgqq58pjXJgFJnyaVYLVoLRzwox+b/p0diI5mb6Iw0Qfho31Seu?= =?us-ascii?q?0Qy3k+dnyJmBOpx8G/5p9vuw9Quv8hv/9dGfH7easiTLBTHRwnPWFz+czs8x/E?= =?us-ascii?q?G1jcrkAAW3kbx0IbSzPO6wv3C8/8?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DoAgAjZe5XhxEK8IFdHQEFAQsBGBgHg?= =?us-ascii?q?nMVAQEBAQF1fAekd5VcJIJEhR87EQEBAQEBAQEBAQEBEgEBAQoLCQkZJAuCMhi?= =?us-ascii?q?CHh0dLgUeAT5CJwQKHYg5AQ2hPZxSAQoBAQEjiDQIhAyCZAGCbwtYgi8FmXiGJ?= =?us-ascii?q?4oTgXONNogkiEg0g0oEI4E4cgGFNgEBJAeBAgF/AQEB?= X-IPAS-Result: =?us-ascii?q?A0DoAgAjZe5XhxEK8IFdHQEFAQsBGBgHgnMVAQEBAQF1fAe?= =?us-ascii?q?kd5VcJIJEhR87EQEBAQEBAQEBAQEBEgEBAQoLCQkZJAuCMhiCHh0dLgUeAT5CJ?= =?us-ascii?q?wQKHYg5AQ2hPZxSAQoBAQEjiDQIhAyCZAGCbwtYgi8FmXiGJ4oTgXONNogkiEg?= =?us-ascii?q?0g0oEI4E4cgGFNgEBJAeBAgF/AQEB?= X-IronPort-AV: E=Sophos;i="5.31,272,1473112800"; d="scan'208";a="238916719" Received: from mail-out5.uio.no ([129.240.10.17]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 30 Sep 2016 15:18:26 +0200 Received: from mail-mx1.uio.no ([129.240.10.29]) by mail-out5.uio.no with esmtp (Exim 4.80.1) (envelope-from ) id 1bpxhp-0005zY-H2 for caml-list@inria.fr; Fri, 30 Sep 2016 15:18:25 +0200 Received: from mail-ex12.exprod.uio.no ([129.240.120.74]) by mail-mx1.uio.no with esmtps (TLSv1.2:AES256-SHA:256) (Exim 4.80) (envelope-from ) id 1bpxho-0002Fu-Pq for caml-list@inria.fr; Fri, 30 Sep 2016 15:18:25 +0200 Received: from mail-ex04.exprod.uio.no (2001:700:100:52::7) by mail-ex12.exprod.uio.no (2001:700:100:120::74) with Microsoft SMTP Server (TLS) id 15.0.1178.4; Fri, 30 Sep 2016 15:18:24 +0200 Received: from mail-ex04.exprod.uio.no ([fe80::5da2:f347:6a4b:effc]) by mail-ex04.exprod.uio.no ([fe80::5da2:f347:6a4b:effc%19]) with mapi id 15.00.1178.000; Fri, 30 Sep 2016 15:18:24 +0200 From: Ingrid Chieh Yu To: "caml-list@inria.fr" Thread-Topic: iFM 2017: Preliminary Call for Papers (13th Intl. Conference on integrated Formal Methods, Torino) Thread-Index: AQHSGx0eT9CqiO2BfEO9SoRh6bI6Rg== Date: Fri, 30 Sep 2016 13:18:23 +0000 Message-ID: <07822727-0F5C-4343-82AA-754CA80FAB16@ifi.uio.no> Accept-Language: en-GB, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-ms-exchange-messagesentrepresentingtype: 1 x-ms-exchange-transport-fromentityheader: Hosted x-originating-ip: [129.240.169.59] Content-Type: text/plain; charset="us-ascii" Content-ID: Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-UiO-SPF-Received: X-UiO-Ratelimit-Test: rcpts/h 10 msgs/h 10 sum rcpts/h 11 sum msgs/h 11 total rcpts 5407 max rcpts/h 31 ratelimit 0 X-UiO-Spam-info: not spam, SpamAssassin (score=-6.2, required=5.0, autolearn=disabled, RP_MATCHES_RCVD=-1.163,UIO_MAIL_IS_INTERNAL=-5, uiobl=NO, uiouri=NO) X-UiO-Scanned: AA003A8B63377C38D584E78F6B90D4D48EC43949 X-UiO-SPAM-Test: remote_host: 129.240.120.74 spam_score: -61 maxlevel 80 minaction 2 bait 0 mail/h: 84 total 1777214 max/h 1434 blacklist 0 greylist 0 ratelimit 0 X-Validation-by: ingridcy@ifi.uio.no Subject: [Caml-list] iFM 2017: Preliminary Call for Papers (13th Intl. Conference on integrated Formal Methods, Torino) 13th International Conference on integrated Formal Methods (iFM 2017) http://ifm2017.di.unito.it/ PRELIMINARY CALL FOR PAPERS Important dates Abstract submission: Tuesday March 28 Paper submission: Tuesday April 4 Notification: Friday May 26 Camera-ready copy: Tuesday June 11 Conference: September 20-22 Deadlines expire at 23:59 anywhere on earth on the dates displayed above. Objectives and Scope Applying formal methods may involve the usage of different formalisms and d= ifferent analysis techniques to validate a system, either because individua= l components are most amenable to one formalism or technique, because one i= s interested in different properties of the system, or simply to cope with = the sheer complexity of the system. The iFM conference series seeks to furt= her 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 fr= om 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 semi-formal modelling notations - Combining formal methods - Integration of formal methods into software engineering practice - Program verification, model checking, and static analysis - Runtime analysis, monitoring, and testing - Program synthesis - Analysis and synthesis of hybrid, embedded, probabilistic, distributed, o= r concurrent systems - Model learning - Theorem proving, decision procedures, SAT and SMT solving=20 Submission Guidelines iFM 2017 solicits high quality papers reporting research results and/or exp= erience reports related to the overall theme of method integration. We solicit papers in the following categories: - Research papers describe original scientific research results, validated = by experimental results where applicable. Submissions will be judged on the= basis of significance, relevance, correctness, originality, and clarity. L= imit: 15 pages. - Case study papers report on applications of formal methods, preferably in= a real world setting. A case study paper need not introduce novel techniqu= es or tools, but it must include a rigorous empirical evaluation and potent= ially be of interest to practitioners. Limit: 15 pages. - Regular tool papers present a new tool or novel extensions to an existing= tool. They should provide a short description of the theoretical foundatio= ns, while focusing on the tool's design and implementation concerns, as wel= l as empirical evaluation of its practical capabilities. Papers that presen= t extensions to existing tools should clearly focus on the improvements or = extensions with respect to previously published versions of the tool. Autho= rs are strongly encouraged to make their tools publicly available, preferab= ly on the web. Limit: 15 pages. - Tool demonstration papers focus on the usage aspects of tools. Foundation= s and empirical evaluation are not required, but the paper should explain w= hy the tool is relevant for the community, and, in particular, for practiti= oners. As with regular tool papers, authors are strongly encouraged to make= their tools publicly available, preferably on the web. Limit: 8 pages. Page limits include bibliography and any appendices. All submissions must b= e original, unpublished, and not submitted for publication elsewhere. Each = paper will undergo a thorough review process. Submissions should be made using the iFM 2017 Easychair site: https://easyc= hair.org/conferences/?conf=3Difm2017 (NOT YET OPENED). Submissions must be = in PDF format, using the Springer LNCS style files; we suggest to use the L= aTeX2e 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 registrat= ion date, to be indicated by the organizers, and present the paper. Workshops iFM 2017 will be accompanied by a series of workshops. Further information = is available from the conference website http://ifm2017.di.unito.it/ Conference Location iFM 2017 is organized by the University of Turin and will take place in Tur= in, Italy