EACSL - EACSL

Эта статья поднимает множество проблем. Пожалуйста помоги Улучши это или обсудите эти вопросы на страница обсуждения. (Узнайте, как и когда удалить эти сообщения-шаблоны) Эта статья слишком полагается на Рекомендации к основные источники. Пожалуйста, улучшите это, добавив вторичные или третичные источники. (апрель 2013) (Узнайте, как и когда удалить этот шаблон сообщения) (Узнайте, как и когда удалить этот шаблон сообщения)

В Европейская ассоциация логики компьютерных наук (EACSL), основанная 14 июля 1992 г.,^[1] международная профессиональная некоммерческая организация, представляющая интересы своих членов и продвигающая Информатика логика в области научное исследование и образование. Он поддерживает как фундаментальные, так и прикладные исследования, чтобы улучшить связь между фундаментальными исследованиями и промышленными приложениями. Нынешний президент - профессор Томас Швентик (Технический университет Дортмунда, Германия).

Ежегодно EACSL организует международную конференцию. Логика компьютерных наук (CSL) ^[2] и публикует соответствующие материалы, поддерживает несколько семинаров и летних школ ^[3] и спонсирует Премия Аккермана, награда EACSL за выдающуюся диссертацию в области логики в компьютерных науках. Ежегодное общее собрание членов проходит ежегодно во время ежегодной международной конференции CSL.

Рекомендации

внешняя ссылка

• [4] - Официальная домашняя страница EACSL.