15th International Conference on SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2017)

 

6-10 September 2017, Trento, Italy

 

http://sefm17.fbk.eu

 

CALL FOR WORKSHOP PROPOSALS

 

------------------------------------------------------------------

 

IMPORTANT DATES

 

31 January 2017 - Workshop proposals submission deadline

17 February 2017 - Notification of workshop approval

4-10 September 2017 - 15th SEFM Conference and Satellite Workshops

 

------------------------------------------------------------------

 

BACKGROUND AND OBJECTIVES

 

The aim of the International conference on Software Engineering and Formal Methods is to bring together practitioners and researchers from academia, industry and government to advance the state of the art in formal methods, to scale up their application in the software industry and to encourage their integration with practical engineering methods.

 

Satellite workshops provide further opportunities for collaborating and exchanging ideas about specific topics of Formal Methods and Software Engineering, from conceptual to practical aspects. Presentations and discussions may be based on preliminary results, recent progress, practical experiences and research proposals, and focus on domain-specific contexts, needs and/or applications, multidisciplinary aspects and communities, coordination between representatives of a technical community and proposed, ongoing or recently completed projects.

 

SEFM 2017 invites prospective workshop organisers to submit their ideas for workshops by 31 of January 2017 at the latest. Workshops should be targeted to research work in the areas of Software Engineering and/or Formal Methods (for a list of topics of interest you may visit the conference website). Prospective workshop organisers are requested to follow the guidelines below and are encouraged to contact the Workshop Co-chairs if any questions arise.

 

------------------------------------------------------------------

 

WORKSHOP ORGANISATION DETAILS

 

SEFM 2017 main conference will be held in Trento, Italy, from Wednesday 6 to Friday 8 September 2017. Satellite events, including workshops, will be held on

- Monday 4 - Tuesday 5 September; and

- Saturday 9 - Sunday 10 September.

During the week 11-15 September there will also be two collocated events:

- IMBSA 2017 (Int. Simp. on Model-Based Safety and Assessment);

- SafeComp 2015 (Int. Cons. on Computer Safety, Reliability, and Security).

Depending on their themes, some workshops may be co-associated with SEFM and IMBSA/SafeComp. In this case they will be held on the weekend 9-10 September.

 

In order to make SEFM workshops appealing for participants, we plan to keep the fares as low as possible, with special fees for a combined registration for both workshops and the main conference. However, precise figures have not been decided yet.

 

We also understand that having a good proceedings publication will attract submissions. For that reason, as we have done starting from 2012, we will organise a joint LNCS proceedings volume for SEFM collocated events. Nevertheless, if you have your own agreements for proceedings or special issue publication, you can maintain them.

 

All accepted workshops would be asked to produce a Webpage and a call for papers. Both workshop organisers and participants will be required to register through the SEFM 2017 registration Webpage and attend their workshop. Every workshop will have one free registration every 15 paying registrants. We encourage workshop organisers to use these free registrations for keynote speakers.

 

In order to be included in the Springer LNCS post-proceedings, workshop papers should be:

- written in English and prepared using the specific LNCS templates;

- be at least 6 pages long;

- not exceed 15 pages for the submission and pre-proceedings (up to 2 additional pages will be given for the post-proceedings, only to address reviewersÕ comments and feedback from the workshop) 

- have been suitably peer-reviewed.

 

Deadlines requested to accepted workshops:

- Workshop paper submission: 1 June, 2017 (or later);

- Workshop paper notification: 6 July, 2017 (or before);

- Post-proceedings camera-ready version: TBA.

 

------------------------------------------------------------------

 

WORKSHOP PROPOSAL SUBMISSION GUIDELINES

 

Workshop proposals should consist of the following items:

 

1. General Information

- Name and Acronym of the Workshop;

- Name, Affiliation, Email Contact and Short Bio (up to 10 lines) of the Workshop Organisers;

- Proposed Length of the Workshop (half day, full day or two days);

- Abstract (150-200 words) to be posted on the SEFM 2017 website.

 

2. Motivation, Objectives and Scope

- Motivation: short (up to 1 page) scientific justification of the proposed topic and scope, its significance and relevance to SEFM, and the particular benefits of the workshop to both Formal Methods and Software Engineering communities;

- Objectives;

- Intended Audience;

- Possible Relevance to IMBSA and SafeComp;

- Information about Previous Events including, where applicable,

  * a link to the website,

  * the number of submitted and accepted papers, and

  * the number of attendees.

 

3. Workshop Format and Agenda

- Intended Paper Format: paper template used (e.g. LNCS), number of pages (for full and, if applicable, short papers), categories of papers (research papers, tool papers, position papers, work-in-progress papers, experimental reports, posters, etc.);

- Procedures for Selecting Participants (e.g. review process, personal invitation);

- Paper Review Process description, if applicable;

- Potential Keynote Speakers;

- Intended Workshop Format: number of presentations, planned keynotes, panels, etc.;

- Estimated Number of Expected Participants;

- Specific Requirements (e.g. equipment, room capacity);

- Plans for Dissemination, if any, such as:

  * SEFM Collocated event LNCS proceedings,

  * other workshop proceedings,

  * special issues of journals;

- Any Specific Requirement the workshop may have.

 

Workshop proposals should consist of one PDF file using the Springer LNCS style (see http://www.springer.de/comp/lncs/authors.html) and should be submitted by email to This email address is being protected from spambots. You need JavaScript enabled to view it. by 31 January 2014.

 

If available, also a preliminary call for papers (list of topics, preliminary PC, deadlines, etc.) can be attached to the proposal.

 

------------------------------------------------------------------

 

WORKSHOP CO-CHAIRS

 

- Antonio Cerone, Nazarbayev University, Astana, Kazakhstan

- Marco Roveri, FBK, Trento, Italy

 

For further information, please email to This email address is being protected from spambots. You need JavaScript enabled to view it.

 

_______________________________________________

events mailing list

This email address is being protected from spambots. You need JavaScript enabled to view it.

http://fmeurope.hosting.west.nl/mailman/listinfo/events