EACSL
The article you are about to read is about EACSL, a topic that has captured the attention of many people in recent times. EACSL is a topic that has generated debate, interest and curiosity in different areas. It has been the subject of study, controversy and speculation, and its impact has been significant in today's society. In this article, we will explore different aspects related to EACSL, from its origin to its possible consequences. We will analyze its influence on popular culture, politics, science and everyday life. We will also examine different perspectives on EACSL, in order to offer a comprehensive and enriching vision of this very relevant topic. Through deep and detailed analysis, we will try to shed light on EACSL and its importance in the current scenario.
 | This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these 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
| International | |
|---|---|
| National | |
| Other | |