LICS 2018: Logic in Computer Science

9–12 липня наступного 2018 року в Оксфордському університеті (Велика Британія) в рамках Об'єднаної логічної конференції (FLOC 2018: Federated Logic Conference) відбудеться Симпозіум з логіки в інформатиці (LICS 2018: Logic in Computer Science), який є щорічним міжнародним форумом з теоретичних і практичних питань інформатики, що стосуються логіки у широкому розумінні.

Для участі в симпозіумі слід надіслати повноцінну статтю. Але спершу надсилається її назва і скорочене резюме, далі розширене резюме (де зміст і значення статті мають бути пояснені зрозуміло для нефахівця), а вже за цим іде надсилання власне статті.

Всі надсилання здійснюються через систему EasyChair за адресою
https://www.easychair.org/account/signin.cgi?key=63316239.Wsyzji531vimOD0h

Всі роз'яснення, включно з переліком тем, див. тут.

Запрошені доповідачі

Thierry Coquand
Javier Esparza
Shafi Goldwasser
Ursula Martin
Val Tannen

Важливі дати

Надсилання назви статті та короткого резюме 24 січня 2018;
Повний текст статті 31 січня 2018;
Зв'язок з автором/Час опонування 14–18 березня 2018;
Повідомлення авторів 31 березня 2018;
Кінець попередньої реєстрації 6 липня 2018;
Остаточна версія тексту для Збірки праць буде повідомлено пізніше;
Конференція 9–12 липня 2018.