posted by organizer: bianculld || 2512 views || tracked by 4 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

FM 2021   Formal Methods 2021
ITE 2021   2nd International Conference on Integrating Technology in Education
SA-TTA 2021   The 9th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 36th ACM/SIGAPP Symposium On Applied Computing (SAC 2021)
ACM--ICMLSC--EI Compendex, Scopus 2021   ACM--2021 The 5th International Conference on Machine Learning and Soft Computing (ICMLSC 2021)--EI Compendex, Scopus
SOFSEM 2021   47th International Conference on Current Trends in Theory and Practice of Computer Science
CCBD--Ei Compendex & Scopus 2021   2021 The 8th International Conference on Cloud Computing and Big Data (CCBD 2021)--Ei Compendex & Scopus
IJNGN 2020   International Journal of Next - Generation Networks
IJCSES 2020   International Journal of Computer Science and Engineering Survey
ESOP 2021   30th European Symposium on Programming
JSS SI on Test Automation 2021   Special Issue on “Test Automation: Trends, Benefits, and Costs” - Journal of Systems and Software (Elsevier)