Last Call for Workshop Proposals at FM2016 (21st Intl. Symposium on Formal Methods); 07.-11. Nov. 2016, Limassol, Cyprus)

Last Call for Workshop Proposals at FM2016 (21st Intl. Symposium on Formal Methods); 07.-11. Nov. 2016, Limassol, Cyprus)

[Martin Steffen]

------------------------------------------------------------------------
----------------------------------- FM 2016 ----------------------------
------------------------------------------------------------------------
         FM 2016: 21st International Symposium on Formal Methods
                Limassol, Cyprus, 7-11 November 2016
                           fm2016.cs.ucy.ac.cy

-----------------==:  CALL FOR WORKSHOP PROPOSALS  :==------------------

------------------------------------------------------------------------
Deadline for workshop proposals: 18 March 2016
Notification of decision on workshops: 4 April 2016
------------------------------------------------------------------------


1 ABOUT FM 2016
===============

   The 21st International Symposium on Formal Methods (FM 2016) will take
   place at St Raphael Resort in Limassol, Cyprus, 7-11 November 2016. FM
   2016 is the latest in a series of symposia organized by Formal
   Methods Europe, an independent association that encourages the use
   of, and research on, formal methods for the engineering of
   computer-based systems and software. The symposia have been notably
   successful in bringing together researchers and industrial users
   around a programme of original papers on research and industrial
   experience, workshops, tutorials, reports on tools, projects, and
   ongoing doctoral work.

2 WORKSHOP PROPOSALS
====================

   For this major event, we are now inviting proposals for workshops that
   will complement the main FM Symposium.

   The purpose of the workshops is to provide an informal setting for
   workshop participants to discuss technical issues, exchange research
   ideas, and to discuss and/or demonstrate applications. These workshops
   may be driven by fundamental academic interests or by needs from
   specific application domains. We encourage a diversity of workshops
   relating to different varieties of formal models.


   FM workshops will be held immediately before the main symposium, on
   7-8 November, 2016.


3 SUBMISSION INFORMATION
========================

   Researchers and practitioners wishing to organize a workshop are
   invited to submit proposals in PDF format by e-mail to the Workshops
   Chairs

   Nearchos Paspallis (npaspallis@uclan.ac.uk) and Martin Steffen
   (msteffen@ifi.uio.no).


   A proposal should not exceed three pages and should include a draft
   call-for-papers containing at least the following information:

   1. Title and brief technical description of the workshop, specifying
      the goals and the technical issues that will be its focus.

   2. The names and contact information (web page, email address) of the
      Programme Committee (PC) chairs, i.e., the workshop
      organisers. Moreover, a tentative list of workshop PC members
      should be given. We suggest one or two PC chairs and at least 10 PC
      members coming from different countries.


   Moreover, the following additional information is requested:


   1. If the workshop has taken place before: How often has the workshop
      taken place so far? Which conference(s) has the workshop been
      colocated with so far? Number of participants in the last
      instalment.

   2. A discussion of the proposed format and agenda.

   3. The proposed duration (half, one or two days).

   4. Procedures for selecting participants and papers.

   5. Potential invited speakers.

   6. Expected number of participants.


   Each workshop programme chair will be responsible for the following:

   1. Producing a web page and a "Call for Papers/Participation" for
      their workshop.

   2. Providing a brief description of the workshop for the conference
      web page and programme, and providing a workshop web page the
      conference can refer to for details.

   3. Selecting the papers for the workshop proceedings and providing the
      camera ready copies ready for publication.

   4. All advertising of the workshop.

   5. Appointing session chairs, etc.


   The local organisation of the conference will take care of the
   production of informal or electronic workshop proceedings, assuming
   that the proceedings are camera ready.


4 Contact
=========

   Please send your proposals and/or any inquiries by electronic mail to
   the Workshops Chairs Nearchos Paspallis (npaspallis@uclan.ac.uk) and
   Martin Steffen (msteffen@ifi.uio.no):


5 IMPORTANT DATES
=================

   1. Deadline for workshop proposals: 18 March 2016

   2. Notification of decision on workshops: 4 April 2016


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]