posted by organizer: bianculld || 1263 views || tracked by 5 users: [display]

SEFM 2015 : Software Engineering and Formal Methods (workshop proposals)


When Sep 7, 2015 - Sep 8, 2015
Where York, UK
Submission Deadline Feb 9, 2015
Notification Due Feb 16, 2015
Categories    formal methods   software engineering

Call For Papers

SEFM 2015

13th International Conference on
Software Engineering and Formal Methods

7-11 September 2015, York UK



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 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
* 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

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

Proposals must be submitted as a single PDF file via email, to, 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

- 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 cannot submit papers to their own 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

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

*Workshop chair*

Domenico Bianculli – University of Luxembourg, Luxembourg

Related Resources

ICIEM 2016   International Conference on Integrated Environmental Management for Sustainable Development
ICMLSC - ACM 2017   2017 International Conference on Machine Learning and Soft Computing (ICMLSC 2017)--Ei, ISI and Scopus
NFM 2017   The 9th NASA Formal Methods Symposium
SEFM 2016   14th International Conference on Software Engineering and Formal Methods
AsiaCCS 2017   Call for paper: ACM Asia Conference on Computer and Communications Security
FSEN 2017   Fundamentals of Software Engineering
SPURS 2017   Sound and Practical Unanticipated Reuse of Software - Special Issue of Journal of Software: Evolution and Process
FMBBS 2016   IEEE BIBM Workshop on Formal Methods for Biological and Biomedical Systems
ICCRD 2017   The 9th International Conference on Computer Research and Development (ICCRD 2017)-SCOPUS
QEST 2017   14th International Conference on Quantitative Evaluation of SysTems