posted by organizer: bianculld || 1727 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

ICSE Workshops 2018   ACM Workshops@International Conference on Software Engineering
CAiSE 2018   CfP: CAiSE 2018 (30th International Conference on Advanced Information Systems Engineering)
FM 2018   22nd International Symposium on Formal Methods
ICSRS - Ei 2017   2017 2nd International Conference on System Reliability and Science (ICSRS 2017)--IEEE, Ei Compendex and Scopus
LICS 2018   Logic in Computer Science
ACM - ICMLSC - Ei 2018   ACM--2018 the 2nd International Conference on Machine Learning and Soft Computing (ICMLSC 2018)--Ei Compendex & Scopus
ICIST 2018   24th International Conference on Information and Software Technologies
AI 2017   3rd International Conference on Artificial Intelligence and Applications
IJESA 2017   International Journal of Embedded Systems and Applications
ABZ 2018   6th International ABZ Conference ASM, Alloy, B, TLA, VDM, Z, 2018