ЕАКСЛ
 | В этой статье есть несколько проблем. Пожалуйста, помогите улучшить его или обсудите эти проблемы на странице обсуждения . ( Узнайте, как и когда удалять эти шаблонные сообщения )
|
Европейская ассоциация компьютерной логики (EACSL), основанная 14 июля 1992 г. [1] — международная профессиональная некоммерческая организация, представляющая интересы своих членов и продвигающая логику информатики в сферах научных исследований и образования. Он поддерживает как фундаментальные, так и прикладные исследования, чтобы улучшить связь между фундаментальными исследованиями и промышленными приложениями. Нынешний президент — профессор Томас Швентик ( Технический университет Дортмунда , Германия).
Ежегодно EACSL организует международную конференцию Computer Science Logic (CSL). [2] и публикует соответствующие материалы, поддерживает несколько семинаров и летних школ. [3] и спонсирует премию Акермана, премию EACSL за выдающуюся диссертацию в области логики в информатике. Ежегодное общее собрание членов проводится каждый год во время ежегодной международной конференции CSL.
