EACSL - EACSL
 | Tento článek má několik problémů. Prosím pomozte vylepši to nebo diskutovat o těchto problémech na internetu diskusní stránka. (Zjistěte, jak a kdy tyto zprávy ze šablony odebrat) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)
|
The Evropská asociace pro logiku počítačových věd (EACSL), založená 14. července 1992,[1] je mezinárodní profesionální nezisková organizace zastupující zájmy svých členů a propagující počítačová věda logika v oblastech vědecký výzkum a vzdělání. Podporuje základní i aplikačně orientovaný výzkum, aby posílila spojení mezi základním výzkumem a průmyslovými aplikacemi. Současným prezidentem je profesor Thomas Schwentick (Technická univerzita v Dortmundu, Německo).
Každý rok organizuje EACSL mezinárodní konferenci Logika informatiky (CSL) [2] a vydává související sborníky, podporuje několik workshopů a letních škol [3] a sponzoruje Ackermann Award, Cena za vynikající disertační práci EACSL za logiku v informatice. Výroční valná hromada členů se koná každoročně během každoroční mezinárodní konference CSL.
Reference
externí odkazy
- [4] - EACSL oficiální domovská stránka.