[TYPES/announce] SEFM 2019: Call for Workshops (17th Intl. Conf. on Software Engineering & Formal Methods, Oslo, Norway)

Martin Steffen msteffen at ifi.uio.no
Wed Jan 9 02:32:50 EST 2019


		________________________________________

		 CALL FOR WORKSHOP PROPOSALS: SEFM 2019
		________________________________________




17th International Conference on SOFTWARE ENGINEERING AND FORMAL METHODS
(SEFM'19) 16-20 September 2019, Oslo, Norway

web:  http://sefm2019.inria.fr
email: sefm-19-workshops at ifi.uio.no





1 Important dates
=================

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


2 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.


3 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 co-located
  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.


  ----------------------------------------------------------------------


4 Workshop Proposal Submission Guidelines
=========================================

  Workshop proposals should address the following items:

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


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

       o SEFM co-located event LNCS proceedings,
       o other workshop proceedings,
       o special issues of journals;

     - Any specific requirements the workshop may have.


  If available, also a preliminary call for papers (list of topics,
  preliminary PC, deadlines, etc.) can be attached to the proposal.


  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 mailto:sefm-19-workshops at ifi.uio.no


5 Organization
==============

SEFM'19 general chairs
~~~~~~~~~~~~~~~~~~~~~~

  - Gwen Salaun
  - Peter Oelveczky

Workshop co-chairs
-~~~~~~~~~~~~~~~~~~~~~

  - Javier Camara, University of York, United Kingdom
  - Martin Steffen, University of Oslo, Norway

----------------------------------------------------------------------
For further information, please email 

                 sefm-19-workshops at ifi.uio.no

or visit

                http://sefm2019.inria.fr/workshops

----------------------------------------------------------------------




More information about the Types-announce mailing list