European Association for Computer Science Logic

European Association for Computer Science Logic (EACSL)

Logo de l'association

Histoire

Fondation	14 juillet 1992

Cadre

Sigle	(en) EACSL
Type	Organisation à but non lucratif
Domaine d'activité	Informatique théorique, logique mathématique
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 »

Organisation

Président	Thomas Schwentick (d) (depuis 2019)
Site web	(en) www.eacsl.org

modifier - modifier le code - modifier Wikidata

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 14 juillet 1992, 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

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

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

1. Objectifs sur le site de l'EACSL.
2. 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).
3. Ackermann awards.

Articles liés

• European Association for Theoretical Computer Science
• Symposium on Logic in Computer Science (LICS)
• Liste des principales conférences d'informatique théorique

Liens externes

• (en) Site officiel
• Ressource relative à la recherche :
  • CrossRef
• Notices d'autorité :

  • VIAF
  • ISNI
  • BnF (données)
  • IdRef
  • LCCN
  • Israël
  • WorldCat
• Liste des conférences CSL sur DBLP.