Call for Workshop Proposals

Important Dates

Workshop proposal submission deadline 11. Jan. 2019
Notification of workshop approval 18. Jan. 2019
Pre-conference workshops 16 – 17. Sept. 2019
Main conference 18 – 20. Sept. 2019

Background and Objectives

The aim of 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 2019 invites prospective workshop organisers to submit their ideas for workshops by 11th of January 2019 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 Organization Details

The SEFM 2019 main conference will be held in Oslo, Norway, from Wednesday 18th to Friday 20th September 2019. Satellite events, including workshops, will be held on Monday 16 – Tuesday 17 September; and

To make SEFM workshops appealing for participants, we plan to keep the fares low, with special fees for a combined registration for both workshops and the main conference. Precise figures, however, have not been decided yet.

All accepted workshops will be asked to produce a Webpage and a call for papers. Both workshop organisers and participants will be required to register through the SEFM 2019 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.

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.

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.

Workshop proposal submission guidelines

Workshop proposals should address 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 2019 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
    • 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: 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 colocated 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 and should be submitted by email to


SEFM’19 general chairs

Workshop co-chairs

For further information, please email to

PDF version of call for workshops: SEFM 2019 CFWs

Comments are closed.