<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><meta http-equiv="Content-Type" content="text/html; charset=utf-8" class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><meta http-equiv="Content-Type" content="text/html; charset=utf-8" class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><meta http-equiv="Content-Type" content="text/html; charset=utf-8" class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div dir="auto" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div dir="auto" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div dir="auto" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div dir="auto" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div dir="auto" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div class="">[Apologies for multiple postings]</div><div class=""><div class=""><br class=""></div><div class="">ETAPS 2023</div><div class=""><br class=""></div><div class="">26th European Joint Conferences on Theory and Practice of Software</div><div class=""> </div><div class="">Sorbonne Université</div><div class="">Paris, France, April 22-27, 2023</div><div class=""><br class=""></div><div class="">Call for Satellite Events</div><div class=""><br class=""></div><div class="">========================================</div><div class="">ABOUT ETAPS</div><div class="">========================================</div><div class=""><br class=""></div><div class="">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.</div><div class=""><br class=""></div><div class="">The ETAPS 2023 main conferences, scheduled for April 24-27 on Campus Pierre et Marie Curie (Jussieu) are:</div><div class=""><br class=""></div><div class="">* ESOP: European Symposium on Programming</div><div class="">* FASE: Fundamental Approaches to Software Engineering</div><div class="">* FoSSaCS: Foundations of Software Science and Computation Structures</div><div class="">* TACAS: Tools and Algorithms for the Construction and Analysis of Systems</div><div class=""><br class=""></div><div class="">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.</div><div class=""><br class=""></div><div class="">========================================</div><div class="">CALL FOR SATELLITE EVENTS</div><div class="">========================================</div><div class=""><br class=""></div><div class="">The ETAPS 2023 organizing committee invites proposals for satellite events (workshops) to complement the main conferences. They should fall within the scope of ETAPS.</div><div class=""><br class=""></div><div class="">Satellite events provide an opportunity to discuss and report on emerging research approaches and practical experience relevant to the theory and practice of software.</div><div class=""><br class=""></div><div class="">========================================</div><div class="">IMPORTANT DATES</div><div class="">========================================</div><div class=""><br class=""></div><div class="">Deadline for proposals of satellite events: May 20, 2022</div><div class=""><br class=""></div><div class="">Notification of acceptance: May 30, 2022</div><div class=""><br class=""></div><div class="">========================================</div><div class="">ARRANGEMENTS FOR SATELLITE EVENTS</div><div class="">========================================</div><div class=""><br class=""></div><div class="">The organizers of an ETAPS 2023 satellite event are expected to:</div><div class=""><br class=""></div><div class="">- create and maintain a website for the event as a part of the main ETAPS website</div><div class="">- form a PC and produce a call for papers for the event (if appropriate)</div><div class="">- advertise the event through mailing lists etc. to complement the publicity of ETAPS</div><div class="">- review submissions and make acceptance decisions</div><div class="">- prepare informal (pre-)proceedings for the event, if appropriate</div><div class="">- prepare the event's program according to the overall schedule of ETAPS 2023</div><div class="">- prepare and organize the publication of formal (post-)proceedings, if desired</div><div class=""><br class=""></div><div class="">The ETAPS 2023 organizing committee will:</div><div class=""><br class=""></div><div class="">- promote the event on the website and in the publicity material of ETAPS 2023</div><div class="">- integrate the event's program into the overall program of the conference</div><div class="">- arrange registration for the event as a component of registration for ETAPS</div><div class="">- collect a participation fee from the registrants</div><div class="">- provide a meeting room of appropriate size, A/V equipment, coffee breaks, and possibly lunch(es)</div><div class=""><br class=""></div><div class="">As a rule, ETAPS will not contribute toward the travel or accommodation costs of invited speakers or organizers of satellite events.</div><div class=""><br class=""></div><div class="">========================================</div><div class="">SUBMISSION OF SATELLITE EVENT PROPOSALS</div><div class="">========================================</div><div class=""><br class=""></div><div class="">Researchers and practitioners wishing to organize a satellite event are invited to submit their proposal to the workshop co-chairs via email:</div><div class=""><br class=""></div><div class="">- Benedikt Bollig (CNRS), <a href="mailto:bollig@lsv.fr" class="">bollig@lsv.fr</a></div><div class="">- Stefan Haar (Inria), <a href="mailto:stefan.haar@inria.fr" class="">stefan.haar@inria.fr</a></div><div class=""><br class=""></div><div class="">The following information is requested:</div><div class=""><br class=""></div><div class="">- the name and acronym of the satellite event</div><div class="">- the names and contact information of the organizers</div><div class="">- the duration of the event (one or two days) and the preferred period (April 22 / April 23 / April 22-23)</div><div class="">- the expected number of participants</div><div class="">- a brief description (120 words approximately) of the event topic for the website and publicity material of ETAPS 2023</div><div class="">- a brief explanation of the event topic and its relevance to ETAPS</div><div class="">- 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</div><div class="">- any other relevant information, like a special event format, invited speakers, demo sessions, special space requirements, etc.</div><div class="">- 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)</div><div class="">- the plans for formal publication (no formal publication, formal proceedings ready by the event, formal post-proceedings, publication venue - EPTCS or elsewhere)</div><div class=""><br class=""></div><div class="">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:</div><div class=""><br class=""></div><div class="">ETAPS 2022: <a href="https://urldefense.com/v3/__https://etaps.org/2022/workshops__;!!IBzWLUs!Am8hBPvjhQ8dpMhv43FTZfJqlslHJgPP99sBktcarRVN9kn6L85VePhKI8Qow4ixkUaJX1tvJFDZpw$" class="">https://etaps.org/2022/workshops</a></div><div class="">ETAPS 2021: <a href="https://urldefense.com/v3/__https://etaps.org/2021/workshops__;!!IBzWLUs!Am8hBPvjhQ8dpMhv43FTZfJqlslHJgPP99sBktcarRVN9kn6L85VePhKI8Qow4ixkUaJX1twQ-5ZqA$" class="">https://etaps.org/2021/workshops</a></div><div class="">ETAPS 2020: <a href="https://urldefense.com/v3/__https://etaps.org/2020/workshops__;!!IBzWLUs!Am8hBPvjhQ8dpMhv43FTZfJqlslHJgPP99sBktcarRVN9kn6L85VePhKI8Qow4ixkUaJX1uasp5pxg$" class="">https://etaps.org/2020/workshops</a></div><div class="">ETAPS 2019: <a href="https://urldefense.com/v3/__https://etaps.org/2019/workshops__;!!IBzWLUs!Am8hBPvjhQ8dpMhv43FTZfJqlslHJgPP99sBktcarRVN9kn6L85VePhKI8Qow4ixkUaJX1s8xydIOg$" class="">https://etaps.org/2019/workshops</a></div><div class="">ETAPS 2018: <a href="https://urldefense.com/v3/__https://etaps.org/2018/workshops__;!!IBzWLUs!Am8hBPvjhQ8dpMhv43FTZfJqlslHJgPP99sBktcarRVN9kn6L85VePhKI8Qow4ixkUaJX1tmPk4KxQ$" class="">https://etaps.org/2018/workshops</a> </div><div class=""><br class=""></div><div class="">========================================</div><div class="">FURTHER INFORMATION AND ENQUIRIES</div><div class="">========================================</div><div class=""><br class=""></div><div class="">Please contact the workshop co-chairs: </div><div class=""><br class=""></div><div class="">- Benedikt Bollig (CNRS), <a href="mailto:bollig@lsv.fr" class="">bollig@lsv.fr</a></div><div class="">- Stefan Haar (Inria), <a href="mailto:stefan.haar@inria.fr" class="">stefan.haar@inria.fr</a></div></div><div class=""><br class=""></div></div></div></div></div></div></div></div></div></div></body></html>