JiscMail Logo
Email discussion lists for the UK Education and Research communities

Help for FMNET Archives


FMNET Archives

FMNET Archives


FMNET@JISCMAIL.AC.UK


View:

Message:

[

First

|

Previous

|

Next

|

Last

]

By Topic:

[

First

|

Previous

|

Next

|

Last

]

By Author:

[

First

|

Previous

|

Next

|

Last

]

Font:

Proportional Font

LISTSERV Archives

LISTSERV Archives

FMNET Home

FMNET Home

FMNET  January 2019

FMNET January 2019

Options

Subscribe or Unsubscribe

Subscribe or Unsubscribe

Log In

Log In

Get Password

Get Password

Subject:

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

From:

Martin Steffen <[log in to unmask]>

Reply-To:

Martin Steffen <[log in to unmask]>

Date:

Wed, 9 Jan 2019 08:31:05 +0100

Content-Type:

text/plain

Parts/Attachments:

Parts/Attachments

text/plain (187 lines)

		________________________________________

		 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: [log in to unmask]





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:[log in to unmask]


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 

                 [log in to unmask]

or visit

                http://sefm2019.inria.fr/workshops

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

########################################################################

To unsubscribe from the FMNET list, click the following link:
https://www.jiscmail.ac.uk/cgi-bin/webadmin?SUBED1=FMNET&A=1

Top of Message | Previous Page | Permalink

JiscMail Tools


RSS Feeds and Sharing


Advanced Options


Archives

January 2019
December 2018
November 2018
October 2018
September 2018
August 2018
July 2018
June 2018
May 2018
April 2018
March 2018
February 2018
January 2018
December 2017
November 2017
October 2017
September 2017
August 2017
July 2017
June 2017
May 2017
April 2017
March 2017
February 2017
January 2017
December 2016
November 2016
October 2016
September 2016
August 2016
July 2016
June 2016
May 2016
April 2016
March 2016
February 2016
January 2016
December 2015
November 2015
October 2015
September 2015
August 2015
July 2015
June 2015
May 2015
April 2015
March 2015
February 2015
January 2015
December 2014
November 2014
October 2014
September 2014
August 2014
July 2014
June 2014
May 2014
April 2014
March 2014
February 2014
January 2014
December 2013
November 2013
October 2013
September 2013
August 2013
July 2013
June 2013
May 2013
April 2013
March 2013
February 2013
January 2013
December 2012
November 2012
October 2012
September 2012
August 2012
July 2012
June 2012
May 2012
April 2012
March 2012
February 2012
January 2012
December 2011
November 2011
October 2011
September 2011
August 2011
July 2011
June 2011
May 2011
April 2011
March 2011
February 2011
January 2011
December 2010
November 2010
October 2010
September 2010
August 2010
July 2010
June 2010
May 2010
April 2010
March 2010
February 2010
January 2010
December 2009
November 2009
October 2009
September 2009
August 2009
June 2009
May 2009
April 2009
March 2009
February 2009
November 2008
October 2008
September 2008
August 2008
July 2008
June 2008
May 2008
April 2008
March 2008
February 2008
January 2008
December 2007
November 2007
October 2007
September 2007
August 2007
July 2007
June 2007
May 2007
April 2007
March 2007
February 2007
January 2007
2006
2005
2004
2003
2002


JiscMail is a Jisc service.

View our service policies at https://www.jiscmail.ac.uk/policyandsecurity/ and Jisc's privacy policy at https://www.jisc.ac.uk/website/privacy-notice

Secured by F-Secure Anti-Virus CataList Email List Search Powered by the LISTSERV Email List Manager