Оглавление
Симпозиум по логике в компьютерных науках
-
Обзор конференции LICS
- LICS – это ежегодная конференция по логике в компьютерных науках, спонсируемая ACM и IEEE.
- Расширенные версии докладов публикуются в известных международных журналах.
-
История и награды
- Изначально спонсировалась только IEEE, но с 2014 года стала совместной конференцией SIGLOG.
- С 1988 по 2013 год на обложке сборника материалов была иллюстрация Элви Рэя Смита.
- С 1995 года присуждается премия Kleene Award за лучшую студенческую работу.
- С 2006 года вручается премия LICS “Проверка временем” за статьи, выдержавшие проверку временем.
-
Премия “Проверка временем”
- Премия отмечает статьи, опубликованные 20 лет назад и ставшие влиятельными.
- Список лауреатов включает работы по различным темам, таким как проверка моделей, лямбда-исчисление, и другие.
-
Другие конференции
- Список конференций по информатике включает другие научные мероприятия в области информатики.