Concept

European Joint Conferences on Theory and Practice of Software

Résumé
La conférence European Joint Conferences on Theory and Practice of Software (abrégé en ETAPS) est un groupement de cinq conférences scientifiques dans le domaine de l’informatique, accompagnées d’un ensemble d'une série de workshop. Les conférences ont lieu annuellement, ensemble et au même endroit, généralement fin mars ou en avril. Parmi ces conférences, trois sont classées dans les meilleurs conférences en génie logiciel en 2014 (FoSSaCS , FASE , TACAS ) et ESOP () est classée parmi les meilleures en langage de programmation. ETAPS est l’évènement scientifique européen le plus visible concernant le génie logiciel. L’ensemble des conférences accueille chaque année plus de 500 participants. Les workshop sont autant de lieux de rencontre additionnels ; en 2018, ils sont au nombre de 15. Le congrès est soutenu par l’European Association for Programming Languages and Systems (EAPLS), l'European Association of Software Science and Technology (EASST) et l'European Association for Theoretical Computer Science (EATCS). ETAPS réunit les conférences suivantes : POST : Conference on Principles of Security and Trust, depuis 2012 ESOP : European Symposium on Programming, depuis 1998 FoSSaCS : Foundations of Software Science and Computation Structures, depuis 1998 FASE : Fundamental Approaches to Software Engineering, depuis 1998 CC : International Conference on Compiler Construction, depuis 1998, et jusqu’en 2015 TACAS : Tools and Algorithms for the Construction and Analysis of Systems, depuis 1998 Jusqu’en 2015, la conférence CC (International Conference on Compiler Construction) faisait partie du groupement, la conférence POST (Conference on Principles of Security and Trust) a rejoint le groupement en 2012 ; ETAPS était donc composé de six conférences de 2012 à 2015 et de cinq en dehors de ces années. Les conférences couvrent divers aspects des systèmes logiciels, allant des fondements théoriques au développement de langages de programmation, progrès en compilation, outils d'analyse, approches formels du génie logiciel, et la sécurité.
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.