European Association for Computer Science Logic

European Association for Computer Science Logic (EACSL)
Logo de l'association
Histoire
Fondation
Cadre
Sigle
(en) EACSLVoir et modifier les données sur Wikidata
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 »
Organisation
Président
Thomas Schwentick (d) (depuis )Voir et modifier les données sur Wikidata
Site web

modifier - modifier le code - modifier WikidataDocumentation du modèle

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

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

Liens externes

Content Disclaimer

Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.

  1. The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
  2. There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
  3. It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
  4. Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
  5. Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.