Gilles Barthe ha impartido una de las dos conferencias plenarias en ETAPS 2013, presentando su trabajo sobre Computer-aided Cryptographic Proofs, desarrollada en el Instituto IMDEA Software. El sitio web de la herramienta EasyCrypt proporciona información adicional y referencias sobre esta línea de trabajo.
Las “European Joint Conferences on Theory and Practice of Software (ETAPS)” representan el máximo foro a nivel Europeo para los investigadores académicos e industriales que trabajan en temas relacionados con la ciencia del Software. Establecida en 1998, ETAPS es una confederación de seis importantes congresos anuales (CC, ESOP, FASE, FOSSACS, TACAS and POST) acompañados de talleres y otros eventos satélite.
