[ecoop-info] SEFM 2015 - Call for Workshop Proposals

[Domenico BIANCULLI]

SEFM 2015

13th International Conference on
Software Engineering and Formal Methods

7-11 September 2015, York UK

<http://www.cs.york.ac.uk/sefm2015/>

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

Call for Workshop Proposals

<http://www.cs.york.ac.uk/sefm2015/workshops/>

deadline: February 9, 2015

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

SEFM 2015 is pleased to invite proposals for workshops to be held in
conjunction with the main conference, on Monday, September 7 and
Tuesday, September 8, 2015. We welcome proposals for half-day and
full-day workshops that aim to provide a venue for discussion and
exploring emerging areas of software engineering and formal methods,
targeted at researchers and practitioners from industry and academia.

We encourage the submission of workshop proposals aiming for a diverse
program that includes invited talks, panels, discussions and demo
sessions alongside the typical presentations of accepted papers.

We invite the submission of proposals for both the 2015 editions of
workshops that have been organized at SEFM and related conferences in
the past, and new workshops on original topics.

Post-workshop proceedings for all SEFM 2015 workshops – including
enhanced versions of the workshop papers and
summaries/state-of-the-art reports from the workshop organisers – will
be published as a joint Lecture Notes in Computer Science volume, like
the SEFM-2013 and SEFM-2014 post-workshop proceedings.

*Workshop proposal guidelines*

Workshop proposals must not exceed seven (6+1) pages in length (in the
conference submission format) and must include the following
information, in the order specified:

- Part A (up to 6 pages)

* Name and acronym of the workshop.
* Full contact information for all organizers of the workshop and main
 contact person.
* Desired length of the workshop (half day or full day); notice that
 full-day workshops are expected to have a program of 6-7 hours, in
 addition to the usual coffee breaks and a 90-minute lunch break.
* Abstract (up to 250 words) to be used on the SEFM 2015 web site,
 summarizing the themes and goals of the workshop.
* Motivation (up to 1 page) of the workshop’s relevance to the fields
 of software engineering and formal methods.
* Procedures for selecting papers and participants.
* Estimated number of participants.
* Proposed format and agenda (e.g., demo sessions, tutorials, etc.),
 including potential invited speakers and plans for generating and
 stimulating discussion.
* Plans for dissemination, if any (e.g., workshop pre-proceedings, or
 special issues of journals).
* Link to the preliminary web site of the workshop.
* Preliminary list of program committee members (either proposed or
 confirmed).
* In case of workshops previously held, either at SEFM or at another
 venue, the proposal must include the following information about the
 previous edition(s):

 * number of submissions;
 * number of registered attendees;
 * link to the web site;
 * a short explanation indicating how a new edition of the workshop
   series will contribute to the advance of the specific research
   area addressed by the workshop.

* Any specific requirement the workshop may have (e.g., equipment,
 room capacity).
* Brief description of each organizer’s background, including relevant
 past experience in organizing conferences and workshops.

- Part B (1 page)

* Call for papers of the proposed workshop (including the list of
 topics).

All proposals must conform at time of submission to the conference
submission format and must not exceed 6 pages, including all text,
references, appendices and figures, plus 1 extra page for the call for
papers.

Proposals must be submitted as a single PDF file via email, to
domenico.bianculli at uni.lu, with the subject “SEFM 2015 workshop
proposal – <WORKSHOP-ACRONYM>”. Workshop proposals must be submitted
by the deadline below.

*Review and Evaluation Criteria*

Workshop proposals will be assessed according to the following
criteria:

- The potential to advance the state of research and practice in
 software engineering and formal methods.
- The organizers’ commitment to stimulate discussion at the workshop.
- The organizers’ experience and ability to lead a successful workshop.
- Timeliness and expected interest in the workshop topics.

*For accepted workshops*

- Workshop papers must follow the SEFM 2015 submission format.
- SEFM 2015 will not pay for registration, travel, or other
 arrangements for workshop organizers or any of their invited
 speakers or guests.
- All participants, including workshop organizers, keynote speakers,
 and invited guests, must register for the workshop.
- Workshop organizers must attend their workshop.
- Workshop organizers may submit papers to their workshop.

*Important dates (Any Time on Earth)*

Workshop proposal submission deadline: February 9, 2015
Notification of acceptance of workshop proposals: February 16, 2015

- For accepted workshops

 Workshop website and call for papers issued: February 23, 2015
 Post-workshop camera-ready paper submission: September 25, 2015

- Recommended deadlines to be set by the organizers of accepted
 workshops

 Workshop paper submission: May 22, 2015
 Notification:  June 19, 2015
 Workshop paper camera-ready deadline: July 3, 2015

*Workshop chair*

Domenico Bianculli – University of Luxembourg, Luxembourg