https://etaps.org/
ETAPS Homepage
etapshomepage
https://research.ibm.com/publications/optimizing-c-multithreaded-memory-management-using-thread-local-storage
Optimizing C multithreaded memory management using thread-local storage for CC - ETAPS 2005 - IBM...
Optimizing C multithreaded memory management using thread-local storage for CC - ETAPS 2005 by Yair Sade et al.
https://www.cis.fiu.edu/geoffrey-smith-awarded-2020-etaps-test-of-time-award/
Geoffrey Smith awarded 2020 ETAPS Test of Time Award - Knight Foundation School of Computing and...
Aug 21, 2020 - The 2020 ETAPS Test of Time Award went to Geoffrey Smith for his FoSSaCS 2009 paper On the Foundations of Quantitative Information Flow [doi link]. Papers...
test of time award
https://wrla2026.github.io/cfp.html
WRLA 2026 | A satellite event of ETAPS 2026
A satellite event of ETAPS 2026
satelliteeventetaps
https://publica.fraunhofer.de/entities/event/adce5b91-16a2-45c2-bae6-f7a13b5e8e9b
Joint European Conferences on Theory and Practice of Software (ETAPS) 2002
theory and practiceeuropean conferencesjoint
https://toccata.gitlabpages.inria.fr/toccata/gallery/verifythis2021.en.html
VerifyThis @ ETAPS 2021
verifythisetaps
https://www.etaps.org/
ETAPS Homepage
etapshomepage
https://wrla2026.github.io/previous.html
WRLA 2026 | A satellite event of ETAPS 2026
A satellite event of ETAPS 2026
satelliteeventetaps
https://lmf.cnrs.fr/News/ETAPS25-BestPaper
LMF News/Best-Paper Award at ETAPS 2025
best paper awardlmfnewsetaps
https://etaps10.cs.ucy.ac.cy/
ETAPS 2010
etaps
https://moves.rwth-aachen.de/news/nomination-for-etaps-2024-best-paper-award/
Nomination for ETAPS 2024 Best Paper Award | Informatik 2
best paper awardnominationetapsinformatik
https://wrla2026.github.io/committee.html
WRLA 2026 | A satellite event of ETAPS 2026
A satellite event of ETAPS 2026
satelliteeventetaps
https://www.illc.uva.nl/NewsandEvents/Events/Conferences/newsitem/15714/11---16-April-2026-29th-International-Joint-Conferences-on-Theory-and-Practice-of-Software-ETAPS-2026-Turin-Italy
11 - 16 April 2026, 29th International Joint Conferences on Theory and Practice of Software (ETAPS...
ETAPS is a primary forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation...