[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
ETAPS 2024 – Call for Satellite Events
27th European Joint Conferences on Theory and Practice of Software
Interdisciplinary Centre for Security, Reliability and Trust (SnT) / University
of Luxembourg.
Luxembourg, Luxembourg, April 06-11, 2024
# 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 27th edition, ETAPS 2024, will be held on 06-11 April
2024, at Parc Hotel Alvisse, 120 Route
d'Echternach, 1453 Luxembourg.
The ETAPS 2024 main conferences, scheduled for 08–11 April, 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 2024 satellite events will be held on Saturday and Sunday, 06–07
April 2024.
## Call for Satellite Events
The ETAPS 2024 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: 21 July 2023
* Notification of acceptance: 31 July 2023
## Arrangements for Satellite Events
The organizers of an ETAPS 2024 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 2024
- prepare and organize the publication of formal (post-)proceedings, if desired
The ETAPS 2024 organizing committee will:
- promote the event on the website and in the publicity material of ETAPS 2024
- 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:
- Maxime Cordy (SnT, University of Luxembourg), [email protected]
- Renzo Degiovanni (SnT, University of Luxembourg), [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
06 / April 07 / April 06-07)
- the expected number of participants
- a brief description (120 words approximately) of the event topic for the
website and publicity material of ETAPS 2024
- a brief explanation of the event topic and its relevance to ETAPS
- a brief description of the organizer's background, including relevant past
experience on organizing workshops and
contact information.
- an explanation of the publicity strategy and 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 and
equipment requirements, etc.
- a tentative schedule for paper submission, notification of acceptance and
final versions for the (informal pre-)
proceedings (the ETAPS 2024 organizing committee will need the final files by
the end of January 23)
- 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 2024 organizing committee on the basis
of their assessed benefit for
prospective participants of ETAPS 2024. We invite prospective organizers to
consult the websites of previous satellite
events as examples:
* [ETAPS
2023](https://urldefense.com/v3/__https://etaps.org/2023/sat-events/__;!!IBzWLUs!SKBu6Km_5eAF8taNC7SsoXiP45DbHE9Hn6CLEcOXltWoXwWzDIyil4ue1FC-Ez50Lt7AoPv0U2-SluMIsxXzBcj-aBFraDkZ0zSb4q9f3tQ$
)
* [ETAPS
2022](https://urldefense.com/v3/__https://etaps.org/2022/workshops__;!!IBzWLUs!SKBu6Km_5eAF8taNC7SsoXiP45DbHE9Hn6CLEcOXltWoXwWzDIyil4ue1FC-Ez50Lt7AoPv0U2-SluMIsxXzBcj-aBFraDkZ0zSbKB2j7ow$
)
* [ETAPS
2021](https://urldefense.com/v3/__https://etaps.org/2021/workshops__;!!IBzWLUs!SKBu6Km_5eAF8taNC7SsoXiP45DbHE9Hn6CLEcOXltWoXwWzDIyil4ue1FC-Ez50Lt7AoPv0U2-SluMIsxXzBcj-aBFraDkZ0zSb7KJSMpI$
)
* [ETAPS
2020](https://urldefense.com/v3/__https://etaps.org/2020/workshops__;!!IBzWLUs!SKBu6Km_5eAF8taNC7SsoXiP45DbHE9Hn6CLEcOXltWoXwWzDIyil4ue1FC-Ez50Lt7AoPv0U2-SluMIsxXzBcj-aBFraDkZ0zSb1VSAwhE$
)
* [ETAPS
2019](https://urldefense.com/v3/__https://etaps.org/2019/workshops__;!!IBzWLUs!SKBu6Km_5eAF8taNC7SsoXiP45DbHE9Hn6CLEcOXltWoXwWzDIyil4ue1FC-Ez50Lt7AoPv0U2-SluMIsxXzBcj-aBFraDkZ0zSbg7Rc0m8$
)
* [ETAPS
2018](https://urldefense.com/v3/__https://etaps.org/2018/workshops__;!!IBzWLUs!SKBu6Km_5eAF8taNC7SsoXiP45DbHE9Hn6CLEcOXltWoXwWzDIyil4ue1FC-Ez50Lt7AoPv0U2-SluMIsxXzBcj-aBFraDkZ0zSbPN8EvnM$
)
## Further Information And Enquiries
Please contact the workshop co-chairs:
- [Maxime Cordy (SnT, University of Luxembourg)]([email protected])
- [Renzo Degiovanni (SnT, University of Luxembourg)]([email protected])
