Les conférences ETAPS (European joint conferences on Theory And Practice of Software) regroupent chaque printemps dans un des pôles européens du domaine 5 conférences principales et plusieurs colloques et ateliers associés ; ETAPS attire globalement environ 500 participants du monde entier dont un grand nombre d'étudiants en thèse et jeunes chercheurs. Issu de la série TAPSOFT, ETAPS est devenu en seulement quatre années d'existence le plus important forum européen pour la recherche académique et industrielle travaillant dans tous les domaines reliés au génie logiciel. ETAPS attire en particulier un grand nombre de jeunes chercheurs en quête de possibilités d'emplois académiques ou industriels. Après ETAPS 98 à Lisbonne, ETAPS 99 à Amsterdam, ETAPS 2000 à Berlin et ETAPS 2001 à Gène, ETAPS 2002 à Grenoble est la cinquième édition.

Les événements qui constituent ETAPS 2002 aborderont les différents aspects du processus de développement des systèmes, y compris la spécification, la conception, la mise en oeuvre et l'analyse. Le slogan d'ETAPS est « de la théorie avec une motivation pratique et de la pratique théoriquement bien fondée ».

L'organisation locale négocie avec les éditeurs (en l'occurrence Springer et Elsevier) les conditions pour les actes dans les séries LNCS (pour les conférences principales) et ENTCS (pour la plupart des colloques associés). Les événements seront organisés en sessions parallèles, avec une certaine coordination entre les présidents des programmes qui est nécessaire afin d'assurer la cohérence.

Les conférences et la plupart des événements satellites appartiennent à l'un des principaux thèmes suivants :

Comité de Pilotage d'ETAPS

José Luiz Fiadeiro (Lisboa, Chairman), Don Sannella (Edinburgh, Treasurer), Andreas Podelski (Saarbrücken, Publicity chair), Andrzej Tarlecki (Poland), Susanne Graf (Grenoble), Egidio Astesiano (Genova), Ed Brinksma (Enschede), John Hatcliff (Kansas State), Joost-Pieter Katoen (Twente), Reinhard Wilhelm (Saarbrücken), R. Nigel Horspool (Victoria), Görel Hedin (Lund), Daniel Le Métayer (Trusted Logic, Paris), Pierpaolo Degano (Pisa), Hanne Riis Nielson (Århus), Heinrich Hußmann (Dresden), Mauro Pezzè (Milano), Herbert Weber (Berlin), Furio Honsell (Udine), Mogens Nielsen (Århus), Andy Gordon (Microsoft, Cambridge), Marie-Claude Gaudel (Paris), Hartmut Ehrig (Berlin), Roberto Gorrieri (Bologna), Ugo Montanari (Pisa), Paul Klint (Amsterdam).

Comité d'Organisation


VERIMAG
INRIA
LSR
LEIBNIZ
IMAG

Information tenue à jour par Alain Girault