Etaps Homepage ETAPS – Joint Conference on theory and practice of software

OCamlPro sera à #ETAPS2026, du 11 au 16 avril à Turin pour l’#IndustryDay
Au programme :
🔹 #FormalMethods avec Alt-Ergo et #Owi
🔹 Orchestration des tests avec #SeaCoral

Venez découvrir nos avancées et échanger sur les applications de nos outils

Infos : www.etaps.org/2026/

ETAPS Joint Call for Papers Turin, Italy, April 11–16, 2026

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

etaps.org/2026/cfp/

#etaps #etapsconf #etaps2026