[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

===============

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@chalmers.se) and Michael Lienhardt (michael.lienhardt@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@chalmers.se) and

Michael Lienhardt (michael.lienhardt@di.unito.it)


--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs