[TYPES/announce] TACAS 2023 TOOLympics - Call for Contributions

[Hartmanns, Arnd (UT-EEMCS)]

The TACAS 2023 TOOLympics is an event to celebrate the achievements of the various competitions and comparative evaluations broadly related to the field of formal methods and document the experiences, decisions, and best practices stemming from current and past competitions and evaluations in this area.

We invite all competitions and comparative evaluations related to formal methods to participate:
* with a short presentation in the TOOLympics session at ETAPS 2023 on April 26 in Paris, and/or
* by submitting a competition report/description paper to the peer-reviewed Springer post-proceedings volume.

Important dates:
March 22, 2023 - Deadline to indicate intention to participate
April 26, 2023 - TOOLympics session at ETAPS
June 1, 2023 - Paper submission
June 29, 2023 - Notification
July 27, 2023 - Camera-ready version

Please indicate your intention to participate by filling the Google Form at
https://urldefense.com/v3/__https://docs.google.com/forms/d/e/1FAIpQLSdBageG_StUAPvvGNqwEld1CZA9B8rPgoupnEa9Z6k-N7YROA/viewform__;!!IBzWLUs!SqeNQyPq1UyCTR2kh7-Nso6rYBtlXLy7bMkQDb7qD7keqftiTGV8Prfkk39xhr1xmGR_SOAEC41O6ml4EAh88UGpsgLldnj_b--Cspw$ 

For more details, please see the 2023 TOOLympics website at
https://urldefense.com/v3/__https://tacas.info/toolympics2023.php__;!!IBzWLUs!SqeNQyPq1UyCTR2kh7-Nso6rYBtlXLy7bMkQDb7qD7keqftiTGV8Prfkk39xhr1xmGR_SOAEC41O6ml4EAh88UGpsgLldnj_XGqbXlc$ 

The 2023 TOOLympics organisers
* Dirk Beyer (LMU Munich, Germany)
* Arnd Hartmanns (University of Twente, Netherlands)
* Fabrice Kordon (Sorbonne Université, France)