EACSL
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)
|
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
External links
- Use dmy dates from March 2014
- Articles lacking reliable references from April 2013
- All articles lacking reliable references
- Articles needing additional references from April 2013
- All articles needing additional references
- Articles with multiple maintenance issues
- Articles with ISNI identifiers
- Articles with VIAF identifiers
- Articles with BNF identifiers
- Articles with BNFdata identifiers
- Articles with J9U identifiers
- Articles with LCCN identifiers
- Articles with SUDOC identifiers
- Computer science organizations
- Information technology organizations based in Europe
- 1992 establishments in Europe