European Association for Computer Science Logic
Fondation |
---|
Sigle |
(en) EACSL |
---|---|
Type | |
Domaine d'activité | |
Objectif |
« Faciliter l'échange des idées et les résultats dans la communauté des chercheurs en informatique théorique et en logique mathématique » |
Président |
Thomas Schwentick (d) (depuis ) |
---|---|
Site web |
(en) www.eacsl.org |
La société savante European Association for Computer Science Logic (abrégée en EACSL), (en français Association européenne pour la logique en informatique)[1] est une organisation professionnelle internationale sans but lucratif, fondée le , de promotion du rôle et de l'usage de la logique en informatique, dans les domaines de recherche scientifique et de l'enseignement[2].
L'association soutient à la fois des recherches fondamentales et appliquées dans l'objectif de renforcer les connexions entre recherche fondamentale et applications industrielles. Son président est, en 2019, Thomas Schwentick (Université technique de Dortmund).
Activités[modifier | modifier le code]
L'EACSL organise chaque année la conférence internationale Computer Science Logic et en publie les actes associés ; elle soutient ou coorganise plusieurs workshop ou écoles d'été, comme par exemple le Workshop on Logic, Language, Information and Computation.
Prix[modifier | modifier le code]
Deux prix sont décernés en totalité ou en partie par l'association ; ils sont présentés durant la conférence CSL :
- le prix Alonzo Church, pour les contributions exceptionnelles en logique et calcul ; ce prix est remis en alternance avec les conférences Logic in Computer Science (LICS) ; la première fois, le prix a été attribué en 2016, et décerné à Rajeev Alur et David L. Dill.
- le prix Ackermann de l'EACSL, pour une thèse exceptionnelle en logique pour l'informatique. Décerné depuis 2005[3], il est porté depuis 2017 par l'association Alumni der Informatik Dortmund, entre 2010 et 2016 par la Société Kurt Gödel, de 2007 à 2009 par l'entreprise Logitech.
Notes et références[modifier | modifier le code]
- Objectifs sur le site de l'EACSL.
- Egon Boerger, Ten Years of CSL Conferences (1987-1997), Bulletin EATCS n° 63, octobre 1997, p. 61-63 (Conférence présentée à EACSL 1997 Membership Meeting).
- Ackermann awards.
Articles liés[modifier | modifier le code]
- European Association for Theoretical Computer Science
- Symposium on Logic in Computer Science (LICS)
- Liste des principales conférences d'informatique théorique
Liens externes[modifier | modifier le code]
- (en) Site officiel
- Ressource relative à la recherche :
- Liste des conférences CSL sur DBLP.