CINXE.COM
Etaps Homepage
<!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8"> <meta name="viewport" content="width=device-width, initial-scale=1, minimum-scale=1"> <title>Etaps Homepage</title> <link rel="stylesheet" href="https://etaps.org/css/screen.css"> <script src="https://etaps.org/js/carousel.js"></script> <link rel="stylesheet" href="https://etaps.org/css/carousel.css"> <meta property="og:url" content="https://etaps.org/2023/" /> <meta property="og:title" content="Etaps Homepage" /> <meta property="og:type" content="article" /> <meta property="og:description" content="ETAPS – Joint Conference on theory and practice of software" /> <meta property="og:image" content="https://etaps.org/graphics/etaps-logo-social.png" /> <meta property="og:image:width" content="1200" /> <meta property="og:image:height" content="630" /> <meta property="og:image:type" content="image/png" /> </head> <body class="raw-layout"> <div class="page-header"> <div class="page-header__container"> <a href="/" title="ETAPS" class="page-header__logo"><i class="icon icon--logo"></i></a> <nav class="page-menu"> <ul class="page-menu__wrapper"> <li class="page-menu__item"> <a href="/2023/" class="page-menu__link">ETAPS 2023</a> <ul class="page-submenu"> <li class="page-submenu__item main .is-active"> <a href="/2023/cfp/" class="page-submenu__link">Call for Papers</a> </li> <li class="page-submenu__item main .is-active"> <a href="/2023/conferences" class="page-submenu__link">Conferences</a> </li> <li class="page-submenu__item main .is-active"> <a href="/2023/programme/" class="page-submenu__link">Programme</a> </li> <li class="page-submenu__item main .is-active"> <a href="/2023/proceedings/" class="page-submenu__link">Proceedings</a> </li> <li class="page-submenu__item main .is-active"> <a href="/2023/sat-events/" class="page-submenu__link">Satellite Events</a> </li> <li class="page-submenu__item main .is-active"> <a href="/2023/speakers/" class="page-submenu__link">Invited Speakers</a> </li> <li class="page-submenu__item main .is-active"> <a href="/2023/social-events/" class="page-submenu__link">Social Events</a> </li> <li class="page-submenu__item main .is-active"> <a href="/2023/registration/" class="page-submenu__link">Registration</a> </li> <li class="page-submenu__item main .is-active"> <a href="/2023/attending/" class="page-submenu__link">Attending</a> </li> <li class="page-submenu__item main .is-active"> <a href="/2023/organizers/" class="page-submenu__link">Organizers</a> </li> </ul> </li> <li class="page-menu__item"> <a href="/about/etaps-conferences/" class="page-menu__link">About</a> <ul class="page-submenu"> <li class="page-submenu__item main .is-active"> <a href="/about/etaps-conferences/" class="page-submenu__link">About ETAPS</a> </li> <li class="page-submenu__item main .is-active"> <a href="https://etaps.community" class="page-submenu__link">ETAPS Association </a> </li> <li class="page-submenu__item main .is-active"> <a href="/about/steering-committee" class="page-submenu__link">Steering Committee</a> </li> <li class="page-submenu__item main .is-active"> <a href="/about/sustainability" class="page-submenu__link">Sustainability</a> </li> <li class="page-submenu__item main .is-active"> <a href="/about/esop" class="page-submenu__link">ESOP</a> </li> <li class="page-submenu__item main .is-active"> <a href="/about/fase" class="page-submenu__link">FASE</a> </li> <li class="page-submenu__item main .is-active"> <a href="/about/fossacs" class="page-submenu__link">FoSSaCS</a> </li> <li class="page-submenu__item main .is-active"> <a href="/about/tacas" class="page-submenu__link">TACAS</a> </li> <li class="page-submenu__item main .is-active"> <a href="/about/proceedings" class="page-submenu__link">Proceedings</a> </li> <li class="page-submenu__item main .is-active"> <a href="/about/etaps-f" class="page-submenu__link">ETAPS-F</a> </li> <li class="page-submenu__item main .is-active"> <a href="/about/fopss-schools" class="page-submenu__link">FoPSS Schools</a> </li> <li class="page-submenu__item main .is-active"> <a href="/about/etaps-conferences/#policies" class="page-submenu__link">Policies</a> </li> <li class="page-submenu__item main .is-active"> <a href="http://www.rwth-aachen.de/go/id/lwb" class="page-submenu__link">Disclaimer</a> </li> </ul> </li> <li class="page-menu__item"> <a href="/awards/" class="page-menu__link">Awards</a> <ul class="page-submenu"> <li class="page-submenu__item main .is-active"> <a href="/awards/best-paper/" class="page-submenu__link">Best Paper</a> </li> <li class="page-submenu__item main .is-active"> <a href="/awards/test-of-time/" class="page-submenu__link">Test of Time</a> </li> <li class="page-submenu__item main .is-active"> <a href="/awards/doctoral-dissertation/" class="page-submenu__link">Doctoral Dissertation</a> </li> <li class="page-submenu__item main .is-active"> <a href="/awards/test-of-time-tool/" class="page-submenu__link">Test-of-Time Tool</a> </li> <li class="page-submenu__item main .is-active"> <a href="/awards/lifetime/" class="page-submenu__link">Lifetime</a> </li> </ul> </li> <li class="page-menu__item"> <a href="/past-editions/" class="page-menu__link">Past Editions</a> </li> <li class="page-menu__item"> <a href="/blog" class="page-menu__link">ETAPS Blog</a> </li> <li class="page-menu__item"> <a href="" class="page-menu__link">Future Editions</a> <ul class="page-submenu"> <li class="page-submenu__item main .is-active"> <a href="/2026" class="page-submenu__link">ETAPS 2026</a> </li> </ul> </li> <li class="page-menu__item page-menu__item--registration"> <a href="https://etaps.community/association" class="btn btn--outline page-header__register">Log in | Join us</a> </li> </ul> </nav> <a href="https://etaps.community/association" class="btn btn--outline page-header__register">Log in | Join us</a> <span class="page-header__menu-handle" data-layout-handle="has-menu"><span></span></span> </div> </div> <div class="inverted inverted--background"> <section class="teaser"> <div class="teaser__container"> <div class="teaser__date"> 22–27 April 2023<br/> Paris, France </div> <h1 class="teaser__title"> ETAPS 2023<br/> European joint conferences on theory and practice of software </h1> <div class="wsw"> <p class="teaser__text" style="float: left;"> ETAPS 2023 is scheduled to take place in Paris at Campus Pierre & Marie Curie and is organized by Sorbonne Université and Sorbonne Paris Nord. </p> <p> <a href="/2023/esss"><img src="/2023/images/esss.png" style="height: 100px;"/></a> </p> </div> </div> </section> <div class="__container"> <section> <div class="home-speakers"> <div class="page-heading"> <h2 class="page-heading__title">Sponsors</h2> <p class="page-heading__perex">We would like to thank to our sponsors who substantially contribute to the success of the event.</p> </div> <div class="wsw" style="text-align: center;"> <a href="https://www.cnrs.fr/"><img src="/2023/images/sponsors/logoCNRS.png" style="height: 100px; margin: 20px; display: inline-flex;" alt="" /></a> <a href="https://www.lip6.fr"><img src="/2023/images/sponsors/logoLIP6.png" style="height: 100px; margin: 20px; display: inline-flex;" alt="" /></a> <a href="https://lipn.univ-paris13.fr/"><img src="/2023/images/sponsors/logoLIPN.png" style="height: 100px; margin: 20px; display: inline-flex;" alt="" /></a> <a href="https://www.sorbonne-universite.fr"><img src="/2023/images/sponsors/logoSU.png" style="height: 100px; margin: 20px; display: inline-flex;" alt="" /></a> <a href="https://www.univ-paris13.fr/"><img src="/2023/images/sponsors/logoUSPN.jpg" style="height: 100px; margin: 20px; display: inline-flex;" alt="" /></a> <a href="https://lmf.cnrs.fr/"><img src="/2023/images/sponsors/logoLMF.png" style="height: 100px; margin: 20px; display: inline-flex;" alt="" /></a> <a href="https://www.inria.fr/en"><img src="/2023/images/sponsors/logoINRIA.png" style="height: 100px; margin: 20px; display: inline-flex;" alt="" /></a> <a href="https://www.cea.fr/"><img src="/2023/images/sponsors/cea.jpg" style="height: 100px; margin: 20px; display: inline-flex;" alt="" /></a> </div> </div> </section> <section class="home-speakers" > <div class="page-heading"> <h2 class="page-heading__title">Programme Overview</h2> <p class="page-heading__perex">Sessions of the main conferences from Monday to Thursday.</p> </div> <div class="programme-highlights"> <div class="programme-highlights__slot"> <div class="programme-highlights__day">Monday <small>24 April</small></div> <div class="programme-highlights__items"> <div class="programme-highlights__item programme-highlights__item--1"> <time class="programme-highlights__time">9:00</time> <p class="programme-highlights__title"> Thomas Henzinger: A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems (unifying talk) </p> </div> <div class="programme-highlights__item programme-highlights__item--2"> <time class="programme-highlights__time">10:30</time> <p class="programme-highlights__title"> TACAS: Model Checking I <br /> TACAS: Machine Learning/Neural Networks <br /> ESOP: Static Analysis <br /> FoSSaCS: Programming Languages <br /> </p> </div> <div class="programme-highlights__item programme-highlights__item--3"> <time class="programme-highlights__time">14:00</time> <p class="programme-highlights__title"> TACAS: Automata <br /> TACAS: SV-COMP <br /> ESOP: Type Systems <br /> FoSSaCS: Semantics <br /> </p> </div> <div class="programme-highlights__item programme-highlights__item--4"> <time class="programme-highlights__time">16:30</time> <p class="programme-highlights__title"> TACAS: Proofs <br /> TACAS: SV-COMP <br /> Invited tutorial <br /> </p> </div> </div> </div> <div class="programme-highlights__slot"> <div class="programme-highlights__day">Tuesday <small>25 April</small></div> <div class="programme-highlights__items"> <div class="programme-highlights__item programme-highlights__item--1"> <time class="programme-highlights__time">9:00</time> <p class="programme-highlights__title"> Mooly Sagiv: Scaling Formal Verification to Realistic Code with Applications to DeFi Verification (ESOP invited talk) </p> </div> <div class="programme-highlights__item programme-highlights__item--2"> <time class="programme-highlights__time">10:30</time> <p class="programme-highlights__title"> TACAS: Constraint Solving/Blockchain <br /> ESOP: Semantics and Type Theory <br /> FoSSaCS: Counters <br /> Ask-Me-Anything <br /> </p> </div> <div class="programme-highlights__item programme-highlights__item--3"> <time class="programme-highlights__time">14:00</time> <p class="programme-highlights__title"> TACAS: Markov Chains/Stochastic Control <br /> TACAS: Verification I <br /> ESOP: Concurrency <br /> FoSSaCS: Bisimulation <br /> </p> </div> <div class="programme-highlights__item programme-highlights__item--4"> <time class="programme-highlights__time">16:30</time> <p class="programme-highlights__title"> TACAS: Tool Demos <br /> Invited Tutorial <br /> Diversity and Inclusion Activities <br /> </p> </div> </div> </div> <div class="programme-highlights__slot"> <div class="programme-highlights__day">Wednesday <small>26 April</small></div> <div class="programme-highlights__items"> <div class="programme-highlights__item programme-highlights__item--1"> <time class="programme-highlights__time">9:00</time> <p class="programme-highlights__title"> Véronique Cortier: Electronic Voting: Design And Formal Verification (unifying talk) </p> </div> <div class="programme-highlights__item programme-highlights__item--2"> <time class="programme-highlights__time">10:30</time> <p class="programme-highlights__title"> TACAS: Combinatorial Optimization / Theorem Proving <br /> TACAS: Tools (Regular Papers) <br /> FASE: Requirements, Models and AI <br /> FoSSaCS: Formal Languages <br /> SPIN (co-located) <br /> </p> </div> <div class="programme-highlights__item programme-highlights__item--3"> <time class="programme-highlights__time">13:00</time> <p class="programme-highlights__title"> ETAPS General Assembly </p> </div> <div class="programme-highlights__item programme-highlights__item--4"> <time class="programme-highlights__time">14:00</time> <p class="programme-highlights__title"> TACAS: Synthesis I <br /> ESOP: Probabilistic and Quantum Programming <br /> FASE: Runtime Monitoring & Enforcement <br /> FoSSaCS: Formal methods <br /> SPIN (co-located) <br /> </p> </div> <div class="programme-highlights__item programme-highlights__item--1"> <time class="programme-highlights__time">16:30</time> <p class="programme-highlights__title"> SPIN (co-located) <br /> TOOLympics <br /> </p> </div> </div> </div> <div class="programme-highlights__slot"> <div class="programme-highlights__day">Thursday <small>27 April</small></div> <div class="programme-highlights__items"> <div class="programme-highlights__item programme-highlights__item--1"> <time class="programme-highlights__time">9:00</time> <p class="programme-highlights__title"> Sven Apel: Brains on Code: Towards a Neuroscientific Foundation of Program Comprehension (FASE invited talk) </p> </div> <div class="programme-highlights__item programme-highlights__item--2"> <time class="programme-highlights__time">10:30</time> <p class="programme-highlights__title"> TACAS: Verification II <br /> TACAS: Graphs/Probabilistic Systems <br /> FASE: Analysis & Verification <br /> FoSSaCS: Verification <br /> SPIN (co-located) <br /> </p> </div> <div class="programme-highlights__item programme-highlights__item--3"> <time class="programme-highlights__time">14:00</time> <p class="programme-highlights__title"> TACAS: Model Checking II <br /> FASE: Testing <br /> Awards <br /> SPIN (co-located) <br /> </p> </div> <div class="programme-highlights__item programme-highlights__item--4"> <time class="programme-highlights__time">16:30</time> <p class="programme-highlights__title"> TACAS: Monitoring/Program Analysis <br /> TACAS: Synthesis II <br /> FASE: Test-Comp <br /> </p> </div> </div> </div> </div> <div class="final-call2"> <a href="/2023/programme/" class="btn">See Full Programme</a> </div> </section> <section class="home-speakers"> <div class="page-heading"> <h2 class="page-heading__title">Invited Speakers</h2> <p class="page-heading__perex">From critically acclaimed researchers to the world's most outrageous scientists, ETAPS speakers will leave you speechless.</p> </div> <div class="speaker-slider"> <div class="speaker-item"> <a href="https://etaps.org/2023/speakers/veronique-cortier/" class="speaker-item__wrap"> <div class="speaker-item__image"> <img src="/2023/images/speakers/veronique-cortier.jpg" alt="Véronique Cortier" /> </div> <h2 class="speaker-item__name">Véronique Cortier</h2> <div class="speaker-item__description">CNRS, LORIA laboratory, France</div> <div class="speaker-item__role">Unifying speaker</div> </a> </div> <div class="speaker-item"> <a href="https://etaps.org/2023/speakers/thomas-henzinger/" class="speaker-item__wrap"> <div class="speaker-item__image"> <img src="/2023/images/speakers/thomas-henzinger.jpg" alt="Thomas A. Henzinger" /> </div> <h2 class="speaker-item__name">Thomas A. Henzinger</h2> <div class="speaker-item__description">Institute of Science and Technology, Austria</div> <div class="speaker-item__role">Unifying speaker</div> </a> </div> <div class="speaker-item"> <a href="https://etaps.org/2023/speakers/mooly-sagiv/" class="speaker-item__wrap"> <div class="speaker-item__image"> <img src="/2023/images/speakers/mooly-sagiv.jpg" alt="Mooly Sagiv" /> </div> <h2 class="speaker-item__name">Mooly Sagiv</h2> <div class="speaker-item__description">Certora and Tel Aviv University</div> <div class="speaker-item__role">ESOP invited speaker</div> </a> </div> <div class="speaker-item"> <a href="https://etaps.org/2023/speakers/sven-apel/" class="speaker-item__wrap"> <div class="speaker-item__image"> <img src="/2023/images/speakers/sven-apel.jpg" alt="Sven Apel" /> </div> <h2 class="speaker-item__name">Sven Apel</h2> <div class="speaker-item__description">Saarland University, Germany</div> <div class="speaker-item__role">FASE invited speaker</div> </a> </div> <div class="speaker-item"> <a href="https://etaps.org/2023/speakers/joost-pieter-katoen/" class="speaker-item__wrap"> <div class="speaker-item__image"> <img src="/2023/images/speakers/joost-pieter-katoen.jpg" alt="Joost-Pieter Katoen" /> </div> <h2 class="speaker-item__name">Joost-Pieter Katoen</h2> <div class="speaker-item__description">RWTH Aachen University, Germany</div> <div class="speaker-item__role">Tutorial speaker</div> </a> </div> <div class="speaker-item"> <a href="https://etaps.org/2023/speakers/ana-lucia-varbanescu/" class="speaker-item__wrap"> <div class="speaker-item__image"> <img src="/2023/images/speakers/ana-lucia-varbanescu.jpg" alt="Ana-Lucia Varbanescu" /> </div> <h2 class="speaker-item__name">Ana-Lucia Varbanescu</h2> <div class="speaker-item__description">University Twente, Netherlands</div> <div class="speaker-item__role">Tutorial speaker</div> </a> </div> </div> <div class="final-call2"> <a href="/2023/speakers/" class="btn">See all speakers</a> </div> </section> </div> <span class="gradient"></span> </div> <section class="news"> <div class="news__container"> <h2 class="news__title">Latest News</h2> <div class="news-items"> <article class="news-item"> <a href="/" class="news-item__link"> <p class="news-item__title">ETAPS 2023 is over. Follow the news at the page of the current edition and our Mastodon, LinkedIn, and Twitter accounts!</p> </a> </article> </div> <div class="news__call2 final-call2"> <a href="https://twitter.com/ETAPSconf" class="btn">Follow us on TWITTER</a> </div> </div> </section> <section class="home-article"> <div class="home-article__container"> <div class="sided sided--desktop sided--with-media-right"> <div class="sided__header"> <img src="/2023/images/venue.jpg" alt="Hello image" class="sided__media" /> </div> <div class="sided__content wsw"> <h2 class="hello__title h1">About ETAPS</h2> <p>Welcome to the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences ESOP, FASE, FoSSaCS and TACAS, accompanied by satellite workshops.</p> <p> <a href="/about/etaps-conferences" class="icon-link"> <span>More About ETAPS</span> <i class="icon icon--link3"></i> </a> </p> </div> </div> </div> </section> <div class="rich-footer"> <div class="rich-footer__container"> <div class="rich-footer__logo"> <svg xmlns="http://www.w3.org/2000/svg" width="137.996" height="41" viewBox="0 0 137.996 41"><path d="M-5806.823-296a14,14,0,0,1,14-14,14,14,0,0,1,14,14,14,14,0,0,1-14,14A14,14,0,0,1-5806.823-296Zm118.879-3.157h5.1a3.266,3.266,0,0,0,.185,1.089,2.357,2.357,0,0,0,2.437,1.207c.835,0,2.111-.279,2.111-1.509,0-.834-.719-1.089-3.574-1.9-2.622-.742-5.614-1.461-5.614-4.8,0-3.828,3.272-5.474,6.681-5.474,3.6,0,6.8,1.391,6.915,5.405h-4.827a1.233,1.233,0,0,0-.6-1.323,2.652,2.652,0,0,0-1.509-.418c-.7,0-1.832.187-1.832,1.114.069,1.161,2.482,1.484,4.8,2.088,2.343.674,4.663,1.718,4.663,4.78,0,4.315-3.944,5.707-7.655,5.707C-5682.516-293.194-5687.944-293.868-5687.944-299.156Zm-16.277,5.567v-16.564h8.537c4.524,0,6.078,3.317,6.078,5.66,0,3.991-2.69,5.892-6.495,5.892h-3.017v5.012Zm5.1-8.956h1.973c1.3,0,2.713-.069,2.713-1.763,0-1.508-1.159-1.6-2.412-1.6h-2.274Zm-12.63,8.956-.7-2.367h-5.267l-.742,2.367h-5.126l6.1-16.564h4.987l6.032,16.564Zm-4.848-5.916h3.132l-1.484-5.1H-5715Zm-16.211,5.916v-12.318h-4.641v-4.246h14.384v4.246h-4.64v12.318Zm-20.908,0v-16.564H-5740v4.246h-8.607v2.065h7.818v3.943h-7.818v2.065h8.862v4.246ZM-5784.024-322a26,26,0,0,1,25.8,22.8h-16.086a18,18,0,0,0-17.71-14.8A18,18,0,0,0-5810-296.927,26,26,0,0,1-5784.024-322Z" transform="translate(5810.5 322.5)" fill="#fbfef9" stroke="rgba(0,0,0,0)" stroke-miterlimit="10" stroke-width="1"/></svg> <p>ETAPS International Joint Conferences On Theory & Practice Of Software</p> </div> <div class="rich-footer__internal"> <p><a href="https://etaps.community" class="rich-footer__internal__link icon-link"><span>ETAPS Association</span> <i class="icon icon--link"></i></a></p> </div> <div class="rich-footer__internal"> <p><a href="/internal" class="rich-footer__internal__link icon-link"><span>Internal</span> <i class="icon icon--link"></i></a></p> </div> <div class="page-rich-menu__responsible"> <p>Responsible for these web pages:<br /><br /> Jan Kofroň<br /> Faculty of Mathematics and Physics<br /> Charles University, Czech Republic<br /> E-mail: firstname.lastname [at] d3s.mff.cuni.cz<br /> Phone: +420 951 554 285 </p> </div> </div> </div> <footer class="page-footer"> <div class="page-footer__container"> <div class="page-footer__networks"> <a href="https://twitter.com/ETAPSconf"><i class="icon icon--twitter"></i></a> <a href="https://mastodon.education/@ETAPSconf"><i class="icon icon--mastodon"></i></a> <a href="https://www.linkedin.com/groups/3859105/"><i class="icon icon--linkedin"></i></a> </div> <div class="page-footer__links"> <a href="/about/etaps-conferences/#policies">ETAPS Policies</a> <span class="page-footer__pipe">|</span> <a href="http://www.rwth-aachen.de/go/id/lwb">Disclaimer</a> </div> <div class="page-footer__credits"> © 2022–2024 ETAPS Association. All rights reserved. </div> </div> </footer> <script src="https://etaps.org/js/scripts.js"></script> </body> </html>