On the closing day of #ETAPS2026, don’t forget -- the journey continues at #FLoC2026 with the FoPSS Summer School!
lcaires.github.io/fopps2026/

📝 Register via the FLoC website: floc26.org/registration
🗓 Early registration deadline: June 1st

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/

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