Computer Science LogicLa 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[1],[2]. La première conférence a eu lieu en 1992 à San Miniato. OrganisationLes 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[3]. 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. ActesLes actes du colloque sont publiées, depuis 2011, dans la série Leibniz International Proceedings in Informatics (LIPIcs). PrixDeux prix sont présentés durant cette conférence:
Thèmes
Notes et référencesArticles liés
Lien externe
|
Portal di Ensiklopedia Dunia
