Monday, August 3, 2020

[DMANET] [Deadline Approaching, August 31] ETAPS (Theory & Practice of Software), Call for Workshops, March – April, 2021, Luxembourg

[apologies for cross-posting]

*************************************************

ETAPS 2021 Call for Satellite Events

*************************************************

IMPORTANT DATES

Satellite event proposals deadline: 31 August 2020
Notification of acceptance: 15 September 2020

*************************************************

ABOUT ETAPS
===========

The European Joint Conferences on Theory and Practice of Software
(ETAPS) is the primary European forum for academic and industrial
researchers working on topics relating to Software Science. It is an
annual event held in Europe each spring since 1998. Its twenty-third
edition, ETAPS 2021, will take place in Luxembourg.


ETAPS 2020 main conferences
=============================

Scheduled for March 27 – April 1:

*ESOP: European Symposium on Programming
*FASE: Fundamental Approaches to Software Engineering
*FoSSaCS: Foundations of Software Science and Computation Structures
*TACAS: Tools and Algorithms for the Construction and Analysis of Systems


SATELLITE EVENTS
==================

The ETAPS 2021 organizing committee invites proposals for satellite
events (workshops) that will complement the main conferences. They
should fall within the scope of ETAPS. This encompasses all aspects of
the system development process, including specification, design,
implementation, analysis and improvement, as well as the languages,
methodologies and tools which support these activities, covering a
spectrum from practically-motivated theory to soundly-based practice.
Satellite events provide an opportunity to discuss and report on
emerging research approaches and practical experience relevant to
theory and practice of software.


ETAPS 2021 satellite events will be held immediately before the main
conferences, on 27-28 March.


ARRANGEMENTS FOR SATELLITE EVENTS
==================================

The organizers of an ETAPS 2021 satellite are expected to:

* create and maintain a website for the event,
* form a PC, produce a call for papers for the event (if appropriate),
* advertise the event through specialist mailing lists etc. to complement
the publicity of ETAPS,
* review the submissions received and make acceptance decisions,
* prepare an informal (pre)proceedings for the event (if appropriate),
* prepare the event's program complying with any scheduling constraints
defined by the ETAPS 2021 organizing committee,
* prepare and organize the publication of a formal (post)proceedings (if
desired).

The ETAPS 2021 organizing committee will:

* promote the event on the website and in the publicity material of
ETAPS 2021,
* integrate the event's program into the overall program of the conference,
* arrange registration for the event as a component of registration for
ETAPS,
* collect a participation fee from the registrants,
* produce an informal (pre)proceedings of the satellite events of ETAPS 2021
and distribute this to the registrants,
* provide the event with a meeting room of an appropriate size, A/V
equipment,
coffee breaks and possibly lunch(es).

As a rule, ETAPS will not contribute toward the travel or
accommodation costs of invited speakers or organizers of satellite
events.


SUBMISSION OF SATELLITE EVENT PROPOSALS
=======================================

Researchers and practitioners wishing to organize satellite events are
invited to submit proposals via the web form below:

http://eptcs.web.cse.unsw.edu.au/ETAPS/

The following information is requested:

* the name and acronym of the satellite event
* the names and contact information of the organizers
* the duration of the event: one or two days
* the preferred date: 27 March, 28 March or 27-28 March
* the expected number of participants

* a brief description (120 words approximately) of the event topic for
the website and publicity material of ETAPS 2021

* a brief explanation of the event topic and its relevance to ETAPS

* an explanation of the selection procedure of contributions to the
event, the PC chair and members, if known already, information about
past editions of the event, if applicable

* any other relevant information, like a special event format, invited
speakers, demo sessions, special space requirements, etc.

* a tentative schedule for paper submission, notification of
acceptance and final versions for the (informal pre-)proceedings
(the ETAPS 2021 organizing committee will need the final files
preferably by end of February, 2021 and by March 10, 2021 the
latest).

* the plans for formal publication (no formal publication, formal
proceedings ready by the event, formal post-proceedings, publication
venue - EPTCS, ECEASST or elsewhere)

The proposals will be evaluated by the ETAPS 2021 organizing committee
on the basis of their assessed benefit for prospective participants of
ETAPS 2021. Prospective organizers may wish to consult the web
pages of previous satellite events as examples:

ETAPS 2020: http://www.etaps.org/2020/workshops
ETAPS 2019: http://www.etaps.org/2019/workshops
ETAPS 2018: http://www.etaps.org/2018/workshops
ETAPS 2017: http://www.etaps.org/2017/workshops
ETAPS 2016: http://www.etaps.org/2016/workshops
ETAPS 2015: http://www.etaps.org/2015/workshops
ETAPS 2014: http://www.etaps.org/2014/workshops


FURTHER INFORMATION AND ENQUIRIES

Please contact

* Workshop chair: Joaquin Garcia-Alfaro, jgalfaro@ieee.org

* Organisation Chair: Peter Roenne, peter.roenne@uni.lu




**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************