Andrzej Wąsowski ☑️ 🟥ETAPS 2026 is kicking off in Torino, with the highest number of submissions in total and for each member conference in 5 years. We are starting with Christel Baier's keynote on verification problems for dynamic Bayesian networks.
Stefano Volpe 
Is anybody I know going to CMCS (Coalgebraic Methods in Computer Science) in Turin this year? It is co-located with @ETAPSconf.
On Saturday 11 at 15:00 (local time), I'll be presenting a short contribution by Sergey Goncharov, @mperessotti, @stelios, Henning Urbat, and me.
Title and abstract are available at the link below. The full paper is under review at a double-blind venue, so please only open the link if you're not double-blind reviewing any coalgebra papers.
https://www.coalg.org/cmcs26/programme/#day-2026-04-11
#Turin #Torino #coalgebra #etaps #cmcs
On Saturday 11 at 15:00 (local time), I'll be presenting a short contribution by Sergey Goncharov, @mperessotti, @stelios, Henning Urbat, and me.
Title and abstract are available at the link below. The full paper is under review at a double-blind venue, so please only open the link if you're not double-blind reviewing any coalgebra papers.
https://www.coalg.org/cmcs26/programme/#day-2026-04-11
#Turin #Torino #coalgebra #etaps #cmcs
ETAPS ConferencesSubmission 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!
ETAPS 2024 in Luxembourg City has started today with a number of satellite events!
Andrzej Wąsowski (moved away)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/
#pics #PhDschool #sigplan #siglog #etaps2024 #etaps @ETAPSconf @ACM
Programme of Industry Day @ ETAPS has been published!
https://etaps.org/2024/industry-day/
RanaldCloustonAnd 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
#cadp #etaps