ИСТИНА |
Войти в систему Регистрация |
|
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. LICS 2020 will be held online but hosted in Saarbrücken, Germany during 8–11 July 2020, in co-location with ICALP 2020.