European Association for Theoretical Computer Science

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Logo de l'EATCS.

L'European Association for Theoretical Computer Science, en abrégé EATCS, en français Association européenne d'informatique théorique[1],[2],[3] est une organisation européenne fondée en 1972. Son objectif est de faciliter l'échange des idées et les résultats dans la communauté des chercheurs en informatique théorique. Elle vise aussi à stimuler la coopération entre les communautés qui font de l'informatique théorique et celles faisant de l'informatique « pratique ».

Activités[modifier | modifier le code]

Les principales activités de l'EATCS sont :

Prix Gödel[modifier | modifier le code]

Article détaillé : prix Gödel.

Le prix Gödel est une distinction créée en 1992 par l'EATCS et le Special Interest Group on Algorithms and Computation Theory (SIGACT) de l'Association for Computing Machinery (ACM) pour honorer des travaux remarquables d'informatique théorique. Il est nommé en l'honneur du logicien Kurt Gödel. Le prix est remis aux lauréats une année sur deux lors du congrès ICALP, et l'autre année au congrès STOC (Symposium on Theory of Computing) de l'ACM.

Prix EATCS[modifier | modifier le code]

Chaque année depuis 2000, l'EATCS décerne un prix, le prix EATCS à un chercheur pour sa brillante carrière en informatique théorique. La liste des lauréats est donnée dans le tableau ci-dessous :

Année Récipiendaire Lieu de la conférence
2017 Éva Tardos ICALP (Varsovie)
2016 Dexter Kozen ICALP (Rome)
2015 Christos Papadimitriou ICALP (Kyōto)
2014 Gordon Plotkin ICALP (Copenhague)
2013 Martin Dyer ICALP (Riga)
2012 Moshe Vardi ICALP (Warwick)
2011 Boris Trakhtenbrot ICALP (Zurich)
2010 Kurt Mehlhorn ICALP (Bordeaux)
2009 Gérard Huet ICALP (Rhodes)
2008 Leslie Valiant ICALP (Reykjavik)
2007 Dana S. Scott ICALP (Wrocław)
2006 Mike Paterson ICALP (Venise)
2005 Robin Milner ICALP (Lisbonne)
2004 Arto Salomaa ICALP (Turku)
2003 Grzegorz Rozenberg ICALP (Eindhoven)
2002 Maurice Nivat ICALP (Malaga)
2001 Corrado Böhm ICALP (Crète)
2000 Richard Karp ICALP (Genève)

Prix Presburger[modifier | modifier le code]

Depuis 2010, l'EATCS décerne chaque année, lors de la conférence ICALP, un prix Presburger à un jeune chercheur (rarement à plusieurs jeunes chercheurs) pour une contribution exceptionnelle en informatique théorique, attestée par un article ou une série d'articles publiés. Le prix porte le nom de Mojżesz Presburger qui a réalisé son travail novateur sur la décidabilité de la théorie de l'addition (qu'on appelle maintenant l'arithmétique de Presburger) en 1929, alors qu'il était encore étudiant. Les lauréats sont les suivants :

Année Lauréat Lieu
2016 Mark Braverman ICALP (Rome)
2015 Xi Chen ICALP (Kyoto)
2014 David Woodruff ICALP (Copenhague)
2013 Erik Demaine ICALP (Riga)
2012 Venkatesan Guruswami, Mihai Patrascu ICALP (Warwick)
2011 Patricia Bouyer-Decitre ICALP (Zurich)
2010 Mikołaj Bojańczyk ICALP (Bordeaux)

Prix communs[modifier | modifier le code]

Les prix suivants sont décernés par l'EATCS en commun avec d'autres organisations scientifiques.

Prix Dijkstra[modifier | modifier le code]

Article détaillé : prix Dijkstra.

Le prix Dijkstra ou prix Edsger W. Dijkstra en algorithmique répartie, anciennement prix PoDC de l'article influent, est décerné chaque année, depuis 2000, aux auteurs d'un article dont l'impact est particulièrement important pour la théorie ou la pratique des systèmes distribués depuis au moins dix ans. Il est décerné en alternance au Symposium on Principles of Distributed Computing (PODC) de l’ACM et au Symposium on Distributed Computing (DISC) de l’EATCS.

Prix IPEC Nerode[modifier | modifier le code]

Depuis 2013, l'EATCS décerne chaque année, lors de la conférence IPEC (International Symposium on Parameterized and Exact Computation), un prix Prix IPEC Nerode à un ou plusieurs chercheurs pour un article commun de qualité exceptionnelle dans le domaine de l'algorithmique multivariée. Le prix est nommé en l’honneur d'Anil Nerode, en reconnaissance de ses contributions majeures en logique mathématique, théorie des automates et théorie de la complexité.

Année Lauréat Lieu
2016 Andreas Björklund IPEC (Aarhus)
2015 Eric D. Demaine, Fedor V. Fomin,
Mohammadtaghi Hajiaghayi, Dimitrios M. Thilikos
IPEC (Patras)
2014 Hans L. Bodlaender, Rodney G. Downey, Michael R. Fellows,
Danny Hermelin, Lance Fortnow, Rahul Santhanam
IPEC (Wrocław)
2013 Chris Calabro, Russell Impagliazzo,
Valentine Kabanets, Ramamohan Paturi, Francis Zane
IPEC (Sophia Antipolis)

Prix Alonzo Church[modifier | modifier le code]

Un prix annuel, appelé « Alonzo Church Award for Outstanding Contributions to Logic and Computation », soit « prix Alonzo Church pour des contributions exceptionnelles en logique et calcul » a été créé en 2015 par le ACM Special Interest Group for Logic and Computation (SIGLOG), l'EATCS, l’association européenne pour la logique en informatique (EACSL) et la société Kurt Gödel (KGS). Le prix récompense une contribution exceptionnelle représentée par un article ou un petit groupe d'articles durant les 25 dernières années. Ce laps de temps permet de réaliser l'impact et la profondeur de la contribution.

Le prix est remis en alternances aux conférences Logic in Computer Science (LICS), Computer Science Logic (CSL) et ICALP qui sont les conférences principales de SIGLOG, EACSL et EATCS, et pour la première fois en 2016.

Année Lauréats Lieu
2016 Rajeev Alur et David Dill LICS (New York)

Fellows EATCS[modifier | modifier le code]

Depuis 2014, l'EATCS[4] décerne le titre de fellow à une dizaine de personnes qui ont acquis une renommée pour leurs activités scientifiques et organisationnelles au sein de la communauté EATCS. Les fellows sont :

  • 2016 : Zoltán Ésik (Université de Szeged), David Harel (Institut Weizman, Israel), Guiseppe F. Italiano (Université de Rome Tor Vergata), Kurt Mehlhorn (Max-Planck Institut), Scott A. Smolka (Stony Brook).
  • 2015 : Artur Czumaj (Warwick), Mariangiola Dezani-Ciancaglini (Turin), Thomas A. Henzinger (Autriche), Dexter Kozen, (Cornell), Moshe Y. Vardi (Rice).
  • 2014 : Susanne Albers (Munich), Giorgio Ausiello (Rome), Wilfried Brauer (Munich), Herbert Edelsbrunner (Autriche et États-Unis), Mike Fellows (Australie), Yuri Gurevitch (Microsoft), Monika Henzinger (Vienne), Jean-Éric Pin (Paris), Paul Spirakis (Liverpool et Patras), Wolfgang Thomas (Aix-la-Chapelle).

École de jeunes chercheurs EATCS[modifier | modifier le code]

Depuis 2014, l'EATCS organise une série d'écoles de jeunes chercheurs, sur des sujets d'informatique théorique.

Année Thème Lien
2015 Understanding Complexity and Concurrency through Topology of Data Camerino, Italie
2014 Automata, Logic and Games Telč, Tchéquie


Notes et références[modifier | modifier le code]

Lien externe[modifier | modifier le code]