Call for Workshop Proposals


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@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 the 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

Leave a Reply