Lien externe
- EACSL home page
- Liste des conférences sur le site de l'EACSL
La conférence Computer Science Logic (en abrégé CSL) est la conférence annuelle de l'Association européennes pour la logique en informatique (en anglais European Association for Computer Science Logic, abrégée en EACSL). CSL se veut une conférence interdisciplinaire de recherche fondamentale et appliquée en logique mathématique et informatique. En 2017 a lieu la 26e de ces conférences,. La première conférence a eu lieu en 1992 à San Miniato.
Les conférences durent quatre ou cinq jours ; elles sont couplées avec le Logic Colloquim qui les précède. D'autres workshop sont associés aux conférences.
Les articles proposés sont, comme il est d'usage au cours des conférences en informatique théorique, évalués par les pairs. À titre d'exemple, en 2016, 97 propositions ont été soumises, et 37 d’entre elles, soit environ 38 %, ont été retenues par le comité de sélection après avis de près de 200 rapporteurs.
Chaque année, plusieurs conférenciers sont invités pour des communications d'intérêt général, pour CSL et pour le Logic Colloquim. Une session commune est consacrée à ces conférences invitées.
Des workshop sont associés à la conférence :
En plus des communications longues, la conférence inclut des communications courtes, qui donnent lieu à des présentations courtes et qui ne sont pas incluse dans les actes de la conférence.
Les actes du colloque sont publiées, depuis 2011, dans la série Leibniz International Proceedings in Informatics (LIPIcs).
Deux prix sont présentés durant cette conférence:
