[TYPES/announce] Formal Methods 2021 -- Call for workshop & tutorial proposals

[Jun PANG]

---------------------------------------------------------------------------------------------------------
         FM 2021 – 24th International Symposium on Formal Methods
                Beijing, China, November 20-26, 2021
             http://formalmethods2021.csp.escience.cn

----------------  CALL FOR WORKSHOP & TUTORIAL PROPOSALS  ---------------

-------------------------------------------------------------------------
Deadline for workshop & tutorial proposals: February 15, 2021
Notification of decision on workshops and tutorials: March 15, 2021
-------------------------------------------------------------------------

ABOUT FM 2021
=============
FM 2021 is the 24th International Symposium in a series organised by
Formal Methods Europe (FME), which focuses on the development and
application of formal methods in a wide range of domains including
software, cyber-physical systems, and integrated computer-based
systems.
The symposium is planned to take place during November 20-26, 2021, at
the Institute of Software, Chinese Academy of Sciences.

The organisers are monitoring closely the COVID-19 situation; although
hoping for an in-person event, they are also planning carefully for a
virtual event or a hybrid virtual/in-person event, in case there will
be travel restrictions or health advisories following the global
COVID-19 crisis. A decision on the nature of the meeting will be
announced in due course.


PROPOSALS
=========
For this major event, we are now inviting proposals for workshops,
tutorials, or other similar events that will complement the main FM
Symposium.

The general purpose of workshops and tutorials is to provide an
informal setting for participants to discuss technical issues,
exchange research ideas and educational approaches, and to discuss
and/or demonstrate applications. These may be driven by fundamental
academic interests or by needs from specific application domains.

A workshop is an event with an open call for contributions. A tutorial
is an event based entirely on invited talks by the organizers or by
other speakers. Events that mix open and invited presentations will
also be considered.

We encourage a diversity of topics relating to different ways of
developing and using formal methods. Workshops and tutorials will take
place on November 20-21, 2021. Each event (workshop or tutorial)
should typically run for 1/2 or 1 day, but 2-day events will also be
considered. The FM 2021 organising committee aims to contribute to at
least partial support for one invited speaker per event.


SUBMISSION INFORMATION
======================
Researchers and practitioners wishing to organise a workshop or
tutorial are invited to submit proposals by e-mail to the Workshops &
Tutorials Chairs:

Tutorial chairs: Luigia Petre (lpetre at abo.fi) and Tim Willemse
(t.a.c.willemse at tue.nl)
Workshop chairs: Carlo A. Furia (furiac at usi.ch) and Lijun Zhang
(zhanglj at ios.ac.cn)

A proposal should not exceed three pages and should include the
following information:

* Title and brief technical description of the event, specifying its
goals and formal methods focus, and whether the event is a workshop,
tutorial, or any other kind of event.

* The names and contact information (web page, email address) of the
organisers. The organisers of a workshop will also be its Programme
Committee (PC) chairs; in this case, the proposal may also list
prospective international PC members.

* Pointers to information about past editions of the event, if
applicable.  Workshop proposals should specify whether it has taken
place before; how often it has been co-located with FM or with other
conferences, and the number of participants in the most recent
instalments.

* A discussion of the proposed format and agenda (for example: paper
presentations, tutorials, demo sessions, etc). The organisers are
encouraged to describe their vision for an online event, should the
need occur in light of the current global pandemic crisis.

* The proposed duration: half or one day. Exceptionally, two days
events may be considered.

* Potential invited speaker(s).

* Procedures for selecting papers and participants and plans for the
publication of proceedings, if any.

* A tentative schedule for paper submission and notification of acceptance.

The organisers of the proposed events are expected to create and
maintain a website for the event; handle paper selection, reviewing
and acceptance; draw up a programme of talks; advertise their event
though specialist mailing lists; prepare the informal pre-proceedings
(if applicable) in a timely fashion; and arrange any post-proceedings.


IMPORTANT DATES
===============
Submission of proposals: February 15, 2021
Notification of success of proposals: March 15, 2021
FM 2021: November 20-26, 2021
Workshop/Tutorial dates: November 20-21, 2021


Best Wishes,

Carlo A. Furia (furiac at usi.ch)
Luigia Petre (lpetre at abo.fi)
Tim Willemse (t.a.c.willemse at tue.nl)
Lijun Zhang (zhanglj at ios.ac.cn)