Mastodawn

Submission deadline for ETAPS main conferences ESOP (round 2), FASE, FoSSaCS, and TACAS is on Oct 16 (AoE). Do not miss it!

VerifyThis workshop at ETAPS 2024 has started today and will continue tomorrow!

2025 edition at ETAPS 2025 in Hamilton, Canada

Programming Methodology Group

ETAPS 2024 in Luxembourg City has started today with a number of satellite events!

Several satellite events are organized at the weekend 6–7 April before the main conferences. Please refer to the list of them below.

I made a simple slide.

**Probability in Computer Science**
_PICS: The best PhD School of the Century_
October 14-18, 2024, https://etaps.org/about/fopss-schools/2024/

5th Ph.D. school in the series of Foundations of Programming and Software Systems. Copenhagen, October 14–18, 2024.

Programme of Industry Day @ ETAPS has been published!

And a #CallForPapers for one of my favourite conferences: #FoSSaCS #FoSSaCS2024 (Foundations of Software Science and Computation Structures) "invites submissions on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems". https://etaps.org/2024/conferences/fossacs/ . FoSSaCS is part of the #ETAPS #ETAPS2024 collection of conferences #TCS #TheoreticalCS

An interview with the winners of ETAPS Test-of-time Tool Award 2023 for CADP has been just published at ETAPS blog! https://etaps.org/blog/010-cadp/
#cadp #etaps