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 670A47EE89 for ; Fri, 28 Oct 2016 20:02:45 +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-out02.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.71; 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.71; 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-out02.uio.no) identity=helo; client-ip=129.240.10.71; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ingridcy@ifi.uio.no"; x-sender="postmaster@mail-out02.uio.no"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AK+hyahW8m1mp0m4s6pIlFVD6rE/V8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYZR2Pt8tkgFKBZ4jH8fUM07OQ6PG6HzNbqs/Y6ThCKMUKDEBVz5?= =?us-ascii?q?1O3kQJO42sNw7SFLbSdSs0HcBPBhdO3kqQFgxrIvv4fEDYuXao7DQfSV3VPAtx?= =?us-ascii?q?IfnpSMaJ15zkn7P6x5qGKQ5BgT74ZbJpMD23qx/Qv48Ym8Eqfq04zx+MpnpTZ8?= =?us-ascii?q?xXw3lpLBSdhUCvyN23+ctC9StKuv5p3M5BXKWyTrlwGb1eAy4nP2skzMzltF/e?= =?us-ascii?q?TAzJ4HxKATZeqQZBHwWQtEKyZZz2qCav7uc=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CQCwA7khNYh0cK8IFDGh0BBQELARgBB?= =?us-ascii?q?QELAYJpFgEBAQEBd30HAbd4BoJ1KIJFhTlDEAEBAQEBAQEBAQEBEgEBAQoLCQk?= =?us-ascii?q?dJQuCMxiCHh0dLiMBPkInBBOIVAENLaB3nQiIOgiEDIJSCxEBg0yCLwWOTIVuh?= =?us-ascii?q?V6GLYMIiS6NSIhAhE+EATVCLgYIgxsNBAsYgTtyAQGFSIEgAYEIAQEB?= X-IPAS-Result: =?us-ascii?q?A0CQCwA7khNYh0cK8IFDGh0BBQELARgBBQELAYJpFgEBAQE?= =?us-ascii?q?Bd30HAbd4BoJ1KIJFhTlDEAEBAQEBAQEBAQEBEgEBAQoLCQkdJQuCMxiCHh0dL?= =?us-ascii?q?iMBPkInBBOIVAENLaB3nQiIOgiEDIJSCxEBg0yCLwWOTIVuhV6GLYMIiS6NSIh?= =?us-ascii?q?AhE+EATVCLgYIgxsNBAsYgTtyAQGFSIEgAYEIAQEB?= X-IronPort-AV: E=Sophos;i="5.31,411,1473112800"; d="scan'208";a="242797831" Received: from mail-out02.uio.no ([129.240.10.71]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 28 Oct 2016 20:02:44 +0200 Received: from mail-mx2.uio.no ([129.240.10.30]) by mail-out02.uio.no with esmtp (Exim 4.82_1-5b7a7c0-XX) (envelope-from ) id 1c0BUJ-0005lP-O9 for caml-list@inria.fr; Fri, 28 Oct 2016 20:02:43 +0200 Received: from mail-ex02.exprod.uio.no ([129.240.52.5]) by mail-mx2.uio.no with esmtps (TLSv1.2:AES256-SHA:256) (Exim 4.80) (envelope-from ) id 1c0BUJ-0006mQ-00 for caml-list@inria.fr; Fri, 28 Oct 2016 20:02:43 +0200 Received: from mail-ex04.exprod.uio.no (2001:700:100:52::7) by mail-ex02.exprod.uio.no (2001:700:100:52::5) with Microsoft SMTP Server (TLS) id 15.0.1236.3; Fri, 28 Oct 2016 20:02:42 +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.1236.000; Fri, 28 Oct 2016 20:02:42 +0200 From: Ingrid Chieh Yu To: "caml-list@inria.fr" Thread-Topic: iFM 2017: Call for Workshops (13th Intl. Conference on integrated Formal Methods, Torino) Thread-Index: AQHSMUV6cM1PgrxqU0u5UxuIHt0ODQ== Date: Fri, 28 Oct 2016 18:02:42 +0000 Message-ID: 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: <135144ABB6D02F41982B0103788EBB1F@mail.uio.no> Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-UiO-SPF-Received: X-UiO-Ratelimit-Test: rcpts/h 4 msgs/h 4 sum rcpts/h 7 sum msgs/h 7 total rcpts 5518 max rcpts/h 65 ratelimit 0 X-UiO-Spam-info: not spam, SpamAssassin (score=-6.1, required=5.0, autolearn=disabled, RP_MATCHES_RCVD=-1.051,UIO_MAIL_IS_INTERNAL=-5, uiobl=NO, uiouri=NO) X-UiO-Scanned: E8047FDCCABEFCA31CE04BD054CEA40386E6BF60 X-UiO-SPAM-Test: remote_host: 129.240.52.5 spam_score: -60 maxlevel 80 minaction 2 bait 0 mail/h: 3 total 1896553 max/h 1401 blacklist 0 greylist 0 ratelimit 0 X-Validation-by: ingridcy@ifi.uio.no Subject: [Caml-list] iFM 2017: Call for Workshops (13th Intl. Conference on integrated Formal Methods, Torino) 13th International Conference on integrated Formal Methods (iFM 2017) CALL FOR WORKSHOPS (http://ifm2017.di.unito.it/callForWorkshops.php) Important Dates =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Submission of workshop proposals: Monday, 19 December, 2016 Workshop proposals notification: Monday, January 16, 2017 Workshops: September 18-19, 2017 About iFM =3D=3D=3D=3D=3D=3D=3D=3D=3D iFM 2017 is concerned with how the application of formal methods may involv= e modelling different aspects of a system which are best expressed using different form= alisms. Correspondingly, different analysis techniques may be used to examine diffe= rent system views, different kinds of properties, or simply in order to cope with the s= heer complexity of the system. The iFM conference series seeks to further resear= ch into hybrid approaches to formal modelling and analysis; i.e., the combination of (form= al and semi- formal) methods for system development, regarding modelling and analysis, a= nd covering all aspects from language design through verification and analysis techniqu= es to tools and their integration into software engineering practice. Workshops can have the duration of one or two days. Prospective workshop or= ganizers are requested to follow the guidelines below and are encouraged to contact the = workshop chairs if any questions arise. The purpose of the workshops is to provide participants with a friendly, in= teractive atmosphere for presenting novel ideas and discussing their application. The workshops take place on September 18-19, 2017. Proposal and Submission Guidelines =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 Workshop proposals must be written in English, not exceed 5 pages with a re= asonable font and margins, and be submitted in PDF format via email to the iFM workshop c= hairs, Wolfgang Ahrendt (ahrendt@chalmers.se) and Michael Lienhardt (michael.lienh= ardt@di.unito.it). Proposals should include: * The name, the duration (1 or 2 days) and the preferred date of the propos= ed workshop * A short description of the workshop. * If applicable, a description of past versions of the workshop, including = dates, organizers, submission and acceptance counts, and attendance. * The publicity strategy that will be used by the workshop organizers to pr= omote the workshop. * The participant solicitation and selection process. * The target audience and expected number of participants. * Approximate budget proposal (see section Budget below for details). * The equipment and any other resource necessary for the organization of th= e workshop. * The name and short CV of the organizer(s). * The publication plan (only invited speakers, no published proceedings, pr= e-/post- proceedings published with EPTCS/ENTCS/...).=20 Organizers' Responsibilities =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 scientific responsibility of organizing a workshop is on the workshop o= rganizers. In particular, they are responsible for the following items: * A workshop description (200 words) for inclusion in the iFM site. * Hosting and maintaining web pages to be linked from the iFM site. Worksho= p organizers can integrate their pages into the main iFM pages. * Workshop proceedings, if any. If there is sufficient interest, the iFM 20= 17 workshop organizers may contact the editor-in-chief of the Electronic Proceedings = in Theoretical Computer Science (http://info.eptcs.org/) for having a common volume dedi= cated to the workshops of iFM 2017. * Workshop publicity (possibly including call for papers, submission and re= view process). * Scheduling workshop activities in collaboration with the iFM workshop cha= irs.=20 Budget =3D=3D=3D=3D=3D=3D The iFM organization will provide registration and organizational support f= or the workshops (including linking from the conferences web sites, set-up of meeting space,= on-line and on- site registration). Registration fees must be paid by all participants, inc= luding organizers and invited guests. To cover lunches, coffee breaks and basic organizational expenses, all work= shops will be required to charge a minimum participation fee (the precise amount is still= to be determined). Each workshop may increase this fee to cover additional expens= es such as publication charges, student scholarships, costs for invited speakers, etc.= All fees will be collected by STILEMA S.r.l. as part of the iFM registration. STILEMA S.r.l.= will require the workshop fees as requested by each workshop organizer. Evaluation Process =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D The proposals will be evaluated by the iFM organizing committee on the basi= s of their assessed benefit for prospective participants of iFM 2017. Prospective orga= nizers may wish to=20 consult the web pages of previous satellite events as examples: iFM 2016: http://en.ru.is/ifm/calls/ iFM 2014: http://ifm2014.cs.unibo.it/workshops.html iFM 2013: http://www.it.abo.fi/iFM2013/workshops_and_tutorials.php iFM 2012: http://ifm-abz.isti.cnr.it/styled-4/speakers.html iFM 2010: http://ifm2010.loria.fr/satellite.html iFM 2009: http://www.formal-methods.de/ifm09/workshops.html Venue =3D=3D=3D=3D=3D iFM 2017 will take place at the Cavallerizza Reale in Turin, Italy. The Cav= allerizza Reale is set in the center of Turin, close to many historical buildings of the city,= like the Mole Antonelliana, the royal palace of Turin, Palazzo Madama, Palazzo Carignano = and the main building of the University. Further Information and Enquiries =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 You are welcome to contact the iFM workshop chairs Wolfgang Ahrendt (ahrend= t@chalmers.se) and Michael Lienhardt (michael.lienhardt@di.unito.it)