[TYPES/announce] Reminder, deadline is next week. iFM 2016, Reykjavik, Iceland: Final Call for Workshops

Marcel Kyas marcel at ru.is
Mon Sep 14 14:02:54 EDT 2015


******************************************************************************

12th International Conference on integrated Formal Methods, iFM 2016
http://ifm2016.ru.is

June 1-5, 2016 - Reykjavik, Iceland

******************************************************************************

*** Extended deadline ***

CALL FOR AFFILIATED WORKSHOPS
=============================

Prospective workshop organizers are invited to submit proposals for
workshops to be affiliated to iFM 2016, on topics related to the
conferences main subjects.

Important Dates
---------------
Submission of workshop proposals: by September 21, 2015 (extended)
Notification: by Oktober 5, 2015 (extended)
Workshops: June 4-5, 2016


Submission via e-mail
---------------------
Marcel Kyas <marcel at ru.is> - Workshop chair
Wojciech Mostowski <wojciech.mostowski at hh.se> - Workshop chair


About iFM
---------

iFM 2016 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.

One day workshops will be held in conjunction with the main events.
Prospective workshop organizers are requested to follow the guidelines
below and are encouraged to contact the workshop chairs if any
questions arise.

The following speakers are invited to iFM2016:

* Marsha Chechik (University of Toronto, Canada)
* Edmund M. Clarke (Carnegie Mellon University, USA)
* Laura Kovács (Chalmers University of Technology, Sweden)
* Reiner Hähnle (Technical University Darmstadt, Germany)

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 June 4-5, 2016.


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 Marcel Kyas (marcel at ru.is).

Proposals should include:

* The name 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 goes to the
workshop organizers. In particular, they are responsible for the
following items:

* A workshop description (200 words) for inclusion n 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 
  organizer of iFM 2016 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 2016.
* Workshop publicity (possibly including call for papers, submission
  and review process).
* Scheduling workshop activities in collaboration with the iFM
  workshop chair.

If you intend to organize a workshop but you need more time to prepare
your proposal please let us know.

Please note that as the number of tourists travelling to Iceland in
summer time is exceeding its population, we need to know the number of
participants before March 23 to be able to reserve accommodation. We
cannot guarantee accomodation for participants that register after
March 23.


Budget
------

The iFM organization will provide registration and organizational
support for the workshops (including link from the conferences web
sites, set-up of meeting space, on-line and on-site
registration). Registration fees must be paid for 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 the iFM organizers as part of the registration, then
additional funds will be redistributed to the individual workshop
organizers.


Evaluation Process
------------------

The proposals will be evaluated by the iFM organizing committee on the
basis of their assessed benefit for prospective participants of iFM
2016. Prospective organizers may wish to consult the web pages of
previous satellite events as examples:

* 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 2016 will take place at the Campus of Reykjavik University,
Iceland. The campus at Reykjavik University is set in one of the most
beautiful areas next to Iceland's only geothermal beach. The building
has well equipped classrooms.


Further Information and Enquiries
---------------------------------

Please contact the workshop chair Marcel Kyas <marcel at ru.is>


More information about the Types-announce mailing list