[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[Apologies for multiple postings]
ETAPS 2023
26th European Joint Conferences on Theory and Practice of Software
Sorbonne Université
Paris, France, April 22-27, 2023
Call for Satellite Events
========================================
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 has been an annual event held in Europe
each spring since 1998. Its 26th edition, ETAPS 2023, will be held on April
22-27, 2023, at Sorbonne Université, in Paris, France.
The ETAPS 2023 main conferences, scheduled for April 24-27 on Campus Pierre et
Marie Curie (Jussieu) are:
* 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
The ETAPS 2023 satellite events will be held on Saturday and Sunday, April
22-23, 2023, at Institut Henri Poincaré, situated in the 5th arrondissement of
Paris.
========================================
CALL FOR SATELLITE EVENTS
========================================
The ETAPS 2023 organizing committee invites proposals for satellite events
(workshops) to complement the main conferences. They should fall within the
scope of ETAPS.
Satellite events provide an opportunity to discuss and report on emerging
research approaches and practical experience relevant to the theory and
practice of software.
========================================
IMPORTANT DATES
========================================
Deadline for proposals of satellite events: May 20, 2022
Notification of acceptance: May 30, 2022
========================================
ARRANGEMENTS FOR SATELLITE EVENTS
========================================
The organizers of an ETAPS 2023 satellite event are expected to:
- create and maintain a website for the event as a part of the main ETAPS
website
- form a PC and produce a call for papers for the event (if appropriate)
- advertise the event through mailing lists etc. to complement the publicity of
ETAPS
- review submissions and make acceptance decisions
- prepare informal (pre-)proceedings for the event, if appropriate
- prepare the event's program according to the overall schedule of ETAPS 2023
- prepare and organize the publication of formal (post-)proceedings, if desired
The ETAPS 2023 organizing committee will:
- promote the event on the website and in the publicity material of ETAPS 2023
- 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
- provide a meeting room of 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 a satellite event are invited
to submit their proposal to the workshop co-chairs via email:
- Benedikt Bollig (CNRS), [email protected] <mailto:[email protected]>
- Stefan Haar (Inria), [email protected] <mailto:[email protected]>
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) and the preferred period (April
22 / April 23 / April 22-23)
- the expected number of participants
- a brief description (120 words approximately) of the event topic for the
website and publicity material of ETAPS 2023
- 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 PC 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 2023 organizing
committee will need the final files by the end of February 2023)
- the plans for formal publication (no formal publication, formal proceedings
ready by the event, formal post-proceedings, publication venue - EPTCS or
elsewhere)
Proposals will be evaluated by the ETAPS 2023 organizing committee on the basis
of their assessed benefit for prospective participants of ETAPS 2023. We invite
prospective organizers to consult the websites of previous satellite events as
examples:
ETAPS 2022:
https://urldefense.com/v3/__https://etaps.org/2022/workshops__;!!IBzWLUs!Am8hBPvjhQ8dpMhv43FTZfJqlslHJgPP99sBktcarRVN9kn6L85VePhKI8Qow4ixkUaJX1tvJFDZpw$
<https://urldefense.com/v3/__https://etaps.org/2022/workshops__;!!IBzWLUs!Am8hBPvjhQ8dpMhv43FTZfJqlslHJgPP99sBktcarRVN9kn6L85VePhKI8Qow4ixkUaJX1tvJFDZpw$
>
ETAPS 2021:
https://urldefense.com/v3/__https://etaps.org/2021/workshops__;!!IBzWLUs!Am8hBPvjhQ8dpMhv43FTZfJqlslHJgPP99sBktcarRVN9kn6L85VePhKI8Qow4ixkUaJX1twQ-5ZqA$
<https://urldefense.com/v3/__https://etaps.org/2021/workshops__;!!IBzWLUs!Am8hBPvjhQ8dpMhv43FTZfJqlslHJgPP99sBktcarRVN9kn6L85VePhKI8Qow4ixkUaJX1twQ-5ZqA$
>
ETAPS 2020:
https://urldefense.com/v3/__https://etaps.org/2020/workshops__;!!IBzWLUs!Am8hBPvjhQ8dpMhv43FTZfJqlslHJgPP99sBktcarRVN9kn6L85VePhKI8Qow4ixkUaJX1uasp5pxg$
<https://urldefense.com/v3/__https://etaps.org/2020/workshops__;!!IBzWLUs!Am8hBPvjhQ8dpMhv43FTZfJqlslHJgPP99sBktcarRVN9kn6L85VePhKI8Qow4ixkUaJX1uasp5pxg$
>
ETAPS 2019:
https://urldefense.com/v3/__https://etaps.org/2019/workshops__;!!IBzWLUs!Am8hBPvjhQ8dpMhv43FTZfJqlslHJgPP99sBktcarRVN9kn6L85VePhKI8Qow4ixkUaJX1s8xydIOg$
<https://urldefense.com/v3/__https://etaps.org/2019/workshops__;!!IBzWLUs!Am8hBPvjhQ8dpMhv43FTZfJqlslHJgPP99sBktcarRVN9kn6L85VePhKI8Qow4ixkUaJX1s8xydIOg$
>
ETAPS 2018:
https://urldefense.com/v3/__https://etaps.org/2018/workshops__;!!IBzWLUs!Am8hBPvjhQ8dpMhv43FTZfJqlslHJgPP99sBktcarRVN9kn6L85VePhKI8Qow4ixkUaJX1tmPk4KxQ$
<https://urldefense.com/v3/__https://etaps.org/2018/workshops__;!!IBzWLUs!Am8hBPvjhQ8dpMhv43FTZfJqlslHJgPP99sBktcarRVN9kn6L85VePhKI8Qow4ixkUaJX1tmPk4KxQ$
>
========================================
FURTHER INFORMATION AND ENQUIRIES
========================================
Please contact the workshop co-chairs:
- Benedikt Bollig (CNRS), [email protected] <mailto:[email protected]>
- Stefan Haar (Inria), [email protected] <mailto:[email protected]>
