[ecoop-info] [iFM'17] Call for Workshops at International Conference on integrated Formal Methods 2017

Christoph Seidl c.seidl at tu-braunschweig.de
Fri Oct 28 15:25:56 CEST 2016


13th International Conference on integrated Formal Methods (iFM 2017)

CALL FOR WORKSHOPS
(http://ifm2017.di.unito.it/callForWorkshops.php)

Important Dates
===============
Submission of workshop proposals: Monday, 19 December, 2016
Workshop proposals notification: Monday, January 16, 2017
Workshops: September 18-19, 2017

About iFM
=========
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 application.

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 
proposed 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 
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/...).

Organizers' Responsibilities
============================
The scientific responsibility of organizing a workshop is on the 
workshop organizers. 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. 
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 workshop 
chairs.

Budget
======
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 organizer.

Evaluation Process
==================
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

Venue
=====
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
Wissenschaftlicher Mitarbeiter
Institut für Softwaretechnik und Fahrzeuginformatik
Technische Universität Braunschweig

Tel.:(+49) 531 391-2296

E-Mail: c.seidl at tu-braunschweig.de
Skype: christoph.seidl.tud

Besucheradresse:
Raum IZ 417 (TU Braunschweig)
Informatikzentrum
Mühlenpfordtstr. 23
38106 Braunschweig

DeltaEcore - Plug & Play Variability for Models http://www.deltaecore.org



More information about the ecoop-info mailing list