This article relies largely or entirely on a single source. Relevant discussion may be found on the talk page. Please help improve this article by introducing citations to additional sources. Find sources: "EACSL" – news · newspapers · books · scholar · JSTOR(April 2013)
The European Association for Computer Science Logic (EACSL), founded 14 July 1992,[1] is an international professional non-profit organization representing the interests of its members and promoting computer science logic in the areas of scientific research and education. It supports both basic and application oriented research to advance the connections between basic research and industrial applications. The current president is Prof. Thomas Schwentick (Technical University of Dortmund, Germany).
Each year, the EACSL organizes the international conference Computer Science Logic (CSL)[2] and publishes the associated proceedings, it supports several workshops and summer schools [3] and sponsors the Ackermann Award, the EACSL Outstanding Dissertation Award for Logic in Computer Science. The annual general meeting of members takes place each year during the annual international conference CSL.
ReferencesEdit
^"[1]". Description of goals from EACSL official website.
^[2]. Complete list of past CSL conferences from DBLP, the Computer Science Bibliography.
^[3] CSL 2013 affiliated Workshops and Summer Schools.
External linksEdit
Official website
October 15, 2023
eacsl, this, article, multiple, issues, please, help, improve, discuss, these, issues, talk, page, learn, when, remove, these, template, messages, this, article, relies, excessively, references, primary, sources, please, improve, this, article, adding, seconda. This article has multiple issues Please help improve it or discuss these issues on the talk page Learn how and when to remove these template messages This article relies excessively on references to primary sources Please improve this article by adding secondary or tertiary sources Find sources EACSL news newspapers books scholar JSTOR April 2013 Learn how and when to remove this template message This article relies largely or entirely on a single source Relevant discussion may be found on the talk page Please help improve this article by introducing citations to additional sources Find sources EACSL news newspapers books scholar JSTOR April 2013 Learn how and when to remove this template message The European Association for Computer Science Logic EACSL founded 14 July 1992 1 is an international professional non profit organization representing the interests of its members and promoting computer science logic in the areas of scientific research and education It supports both basic and application oriented research to advance the connections between basic research and industrial applications The current president is Prof Thomas Schwentick Technical University of Dortmund Germany Each year the EACSL organizes the international conference Computer Science Logic CSL 2 and publishes the associated proceedings it supports several workshops and summer schools 3 and sponsors the Ackermann Award the EACSL Outstanding Dissertation Award for Logic in Computer Science The annual general meeting of members takes place each year during the annual international conference CSL References Edit 1 Description of goals from EACSL official website 2 Complete list of past CSL conferences from DBLP the Computer Science Bibliography 3 CSL 2013 affiliated Workshops and Summer Schools External links EditOfficial website nbsp Retrieved from https en wikipedia org w index php title EACSL amp oldid 1129208418, wikipedia, wiki, book, books, library,
