Hispanopedia Wiki
Articulo de referencia

Conferencias Conjuntas Internacionales ETAPS sobre Teoría y Práctica del Software

Las Conferencias Conjuntas Internacionales ETAPS sobre Teoría y Práctica del Software (ETAPS) son una confederación de (actualmente) cuatro conferencias de informática que se ce...

Hispanopedia WikiContenido en espanolLectura gratuita

Las Conferencias Conjuntas Internacionales ETAPS sobre Teoría y Práctica del Software (ETAPS) son una confederación de (actualmente) cuatro conferencias de informática que se celebran anualmente en una misma sede, generalmente a finales de marzo o en abril. Tres de las cuatro conferencias (FoSSaCS, FASE, TACAS) están entre las mejores en ingeniería de software [ 1 ] y una ( ESOP ) está entre las mejores en lenguajes de programación [ 2 ] .

Originalmente, ETAPS significaba Conferencias Conjuntas Europeas sobre Teoría y Práctica del Software ; sin embargo, en abril de 2024, durante la reunión del comité directivo celebrada en Luxemburgo, se decidió sustituir la palabra «europea» por «internacional» para evitar que la conferencia se percibiera como regional (europea). Para conservar el acrónimo, el nombre completo actual también incluye «ETAPS», lo que lo convierte en un acrónimo recursivo.

Las conferencias de ETAPS son organizadas por organizadores locales en la institución organizadora (normalmente una universidad) y coordinadas por el Comité Directivo de ETAPS, que está formado por la Junta Ejecutiva y los miembros estándar del SC. [ 3 ]

La Asociación ETAPS (ETAPS eV en alemán) [ 4 ] es un organismo de apoyo a las conferencias ETAPS. Está formada por científicos y profesionales relacionados con los temas de las conferencias ETAPS; la membresía es gratuita. El presidente del comité directivo de ETAPS es también el presidente de la asociación ETAPS. Los miembros tienen acceso al sitio web de la asociación. [ 5 ]

Conferencias constitutivas

Actualmente, ETAPS agrupa a las siguientes conferencias:

  • Simposio Europeo de Programación (ESOP, desde 1998), clasificado con la calificación A en CORE2023.
  • Enfoques Fundamentales para la Ingeniería de Software (FASE, desde 1998), clasificado con la calificación B en CORE2023.
  • Fundamentos de la Ciencia del Software y Estructuras Computacionales (FoSSaCS, desde 1998), clasificado con la calificación A en CORE2023.
  • Herramientas y algoritmos para la construcción y el análisis de sistemas (TACAS, desde 1998), clasificado con la calificación A en CORE2023.

Entre 1995 y 2015, se celebró la Conferencia Internacional sobre Construcción de Compiladores (CC), y entre 2012 y 2019, la Conferencia sobre Principios de Seguridad y Confianza (POST).

TACAS

TACAS (Tools and Algorithms for the Construction and Analysis of Systems) es una conferencia que se centra en la aplicación y el soporte de herramientas para diversos métodos formales . Es una de las conferencias mejor clasificadas en ingeniería de software . [ 1 ] Fue fundada por Bernhard Steffen , Rance Cleaveland , Ed Brinksma y Kim Larsen. La primera TACAS se celebró en 1995 en Aarhus , Dinamarca, seguida de las conferencias de 1996 en Passau , Alemania , y 1997 en Enschede , Países Bajos . TACAS fue una de las cinco primeras conferencias que conformaron ETAPS en 1998. [ 6 ]

ESOPO

ESOP (Simposio Europeo de Programación) es una conferencia que se centra en cuestiones fundamentales de la especificación, el diseño, el análisis y la implementación de lenguajes y sistemas de programación. Es una de las conferencias más prestigiosas en el ámbito de los lenguajes de programación. La primera edición de ESOP se celebró en marzo de 1986 en Saarbrücken. [ 7 ]

FASE

FASE (Fundamental Approaches to Software Engineering) es una conferencia que se centra en los fundamentos sobre los que se construye la ingeniería de software. Reemplazó a la conferencia Formal Aspects/Approaches to Software Engineering, manteniendo su acrónimo. [ 8 ]

FoSSaCS

FoSSaCS (Conferencia Internacional sobre Fundamentos de la Ciencia del Software y Estructuras Computacionales) es una conferencia que se centra en la investigación fundamental en la ciencia del software, especialmente en teorías y métodos para el análisis, la integración, la síntesis, la transformación y la verificación de programas y sistemas de software. Su primera edición se celebró como parte de la primera ETAPS en 1998. Puede considerarse sucesora de la conferencia CAAP, Colloque sur les Arbres en Algèbre et en Programmation. [ 9 ]

Premios

Además, las conferencias constituyentes otorgan varios premios al mejor artículo: [ 10 ]

  • Premio a la trayectoria [ 11 ]
  • Premio a la Tesis Doctoral [ 12 ]
  • Premio ETAPS a la trayectoria profesional [ 13 ]
  • Premio Rance Cleaveland a la Herramienta de Prueba del Tiempo [ 14 ]

Referencias

  1. 1 2 "Principales conferencias en ingeniería de software" . Microsoft Academic Search . Consultado el 4 de junio de 2013 .
  2. ↑ "Principales conferencias sobre lenguajes de programación" . Búsqueda académica de Microsoft . Consultado el 4 de junio de 2013 .
  3. ↑ "Comité Directivo de ETAPS" . Consultado el 3 de julio de 2025 .
  4. ↑ "Estatus de la Asociación ETAPS (en alemán)" (PDF) . Consultado el 3 de julio de 2025 .
  5. ↑ "Sitio web de la Asociación ETAPS" . Consultado el 3 de julio de 2025 .
  6. ↑ «ETAPS'98» . Consultado el 4 de junio de 2013 .
  7. ↑ Robinet, Bernard; Wilhelm, Reinhard, eds. (1986). Esop 86. Lecture Notes in Computer Science. Vol. 213. doi : 10.1007/3-540-16442-1 . ISBN  978-3-540-16442-5. ISSN 0302-9743 . S2CID 33668937 .  
  8. ↑ Astesiano, Egidio, ed. (1998). Enfoques fundamentales de la ingeniería de software (PDF) . Lecture Notes in Computer Science. Vol. 1382. doi : 10.1007/bfb0053578 . ISBN  978-3-540-64303-6. ISSN 0302-9743 . S2CID 41737556 .  
  9. ↑ Nivat, Maurice, ed. (1998). Fundamentos de la ciencia del software y estructuras computacionales (PDF) . Lecture Notes in Computer Science. Vol. 1378. doi : 10.1007/bfb0053537 . ISBN  978-3-540-64300-5. ISSN 0302-9743 . S2CID 35101695 .  
  10. ↑ "Premios ETAPS" . Consultado el 1 de julio de 2025 .
  11. ↑ "Premio ETAPS a la trayectoria" . Consultado el 1 de julio de 2025 .
  12. ↑ "Premio ETAPS a la Tesis Doctoral" . Consultado el 1 de julio de 2025 .
  13. ↑ "Premio ETAPS a la trayectoria profesional" . Consultado el 1 de julio de 2025 .
  14. ↑ "Premio ETAPS a la Herramienta de Prueba del Tiempo" . Consultado el 1 de julio de 2025 .
  • Sitio web oficial
  • Lista de conferencias anteriores