[Om-announce] SEFM 2017: Call for Workshops
Marco Roveri
roveri at fbk.eu
Fri Jan 13 10:41:45 CET 2017
-------------- [Apologies for multiple postings] ----------------
CALL FOR WORKSHOP PROPOSALS - SEFM 2017
15th International Conference on
SOFTWARE ENGINEERING AND FORMAL METHODS
6-10 September 2017, Trento, Italy
http://sefm17.fbk.eu
------------------------------------------------------------------
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 sefm17_workshops at fbk.eu 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 sefm17_workshops at fbk.eu
-------------- next part --------------
-------------- [Apologies for multiple postings] ----------------
CALL FOR WORKSHOP PROPOSALS - SEFM 2017
15th International Conference on
SOFTWARE ENGINEERING AND FORMAL METHODS
6-10 September 2017, Trento, Italy
http://sefm17.fbk.eu
------------------------------------------------------------------
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 sefm17_workshops at fbk.eu 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 sefm17_workshops at fbk.eu
More information about the Om-announce
mailing list