[TYPES/announce] [iFM 2017] Final Call for Workshops Proposals
c.seidl at tu-braunschweig.de
Fri Dec 2 10:07:06 EST 2016
Final Call for Workshops Proposals
The 13th International Conference on integrated Formal Methods (iFM 2017)
September 18th - 22nd, 2017
- Workshop proposals due: *Monday, 19 December, 2016*
- Workshop proposals notification: Monday, January 16, 2017
- Workshops: September 18-19, 2017
iFM 2017 is concerned with how the application of formal methods may
involve modelling 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 modelling and analysis; i.e.,
the combination of (formal and semi-formal) methods for system
development, regarding modelling and analysis, and covering all aspects
from language design through verification and analysis techniques to
tools and their integration into software engineering practice.
Workshops can have the duration of one or two days. Prospective workshop
organizers 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,
interactive atmosphere for presenting novel ideas and discussing their
The workshops take place on September 18-19, 2017.
Proposal and Submission Guidelines
Workshop proposals must be written in English, not exceed 5 pages with a
reasonable font and margins, and be submitted in PDF format via email to
the iFM workshop chairs, Wolfgang Ahrendt <ahrendt at chalmers.se> and
Michael Lienhardt <michael.lienhardt at di.unito.it>.
Proposals should include:
- The name, the duration (1 or 2 days) and the preferred date of the
- A short description of the workshop.
- If applicable, a description of past versions of the workshop,
including dates, organizers, submission and acceptance counts, and
- The publicity strategy that will be used by the workshop organizers
to promote 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 the workshop.
- The name and short CV of the organizer(s).
- The publication plan (only invited speakers, no published
proceedings, pre-/post-proceedings published with EPTCS/ENTCS/...).
The scientific responsibility of organizing a workshop is on the
workshop organizers. In particular, they are responsible for the
- A workshop description (200 words) for inclusion in the iFM site.
- Hosting and maintaining web pages to be linked from the iFM site.
Workshop organizers can integrate their pages into the main iFM pages.
- Workshop proceedings, if any. If there is sufficient interest, the
iFM 2017 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 dedicated to the
workshops of iFM 2017.
- Workshop publicity (possibly including call for papers, submission
and review process).
- Scheduling workshop activities in collaboration with the iFM
The iFM organization will provide registration and organizational
support for 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, including organizers
and invited guests.
To cover lunches, coffee breaks and basic organizational expenses, all
workshops 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 expenses 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
The proposals will be evaluated by the iFM organizing committee on the
basis of their assessed benefit for prospective participants of iFM
2017. Prospective organizers may wish to 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
iFM 2017 will take place at the Cavallerizza Reale in Turin, Italy. The
Cavallerizza 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
You are welcome to contact the iFM workshop chairs Wolfgang Ahrendt
<ahrendt at chalmers.se> and Michael Lienhardt <michael.lienhardt at di.unito.it>
Dipl.-Inf. Christoph Seidl
Institut für Softwaretechnik und Fahrzeuginformatik
Technische Universität Braunschweig
Tel.:(+49) 531 391-2296
E-Mail: c.seidl at tu-braunschweig.de
Raum IZ 417 (TU Braunschweig)
DeltaEcore - Plug & Play Variability for Models http://www.deltaecore.org
More information about the Types-announce