6 сентября 2021 г. — 10 сентября 2021 г., срок заявок: 14 мая 2021 г.
18-ый Международный коллоквиум по теоретическим аспектам вычислений
Казахстан, Нур-Султан (Астана) (издание включено в: Springer, DOI)
Форма участия: on-line (zoom, skype и др.)
Целью серии Международных коллоквиумов по теоретическим аспектам вычислений (International Colloquium on Theoretical Aspects of Computing, ICTAC) является объединение исследователей и практиков из академических кругов, промышленности и правительства, чтобы представить исследования, обмениваться как идеями решения чисто теоретических задач, так и опытом использование теории вычислений для разработки программных системы. ICTAC также стремится быть площадкой для сотрудничества между развивающимися и индустриальными странами.
Тематика конференции покрывает все аспекты теоретической информатики, в том числе – темы из следующего (неисчерпывающего списка):
- языки и автоматы
- семантика языков программирования
- логика в информатике
- лямбда-исчисление, теория типов и теория категорий
- предметно-ориентированные языки
- теории параллелизма и мобильности
- теории распределенных вычислений
- модели объектов и компонентов
- гибридные, встроенные и киберфизические системы
- безопасность и конфиденциальность
- статический анализ
- вероятностные метод верификации
- формальная верификация
- тестирование программного обеспечения
- верификация времени выполнения
- генерация и преобразование программ
- доказательство теорем
- приложения и примеры применения
Мы приглашаем подавать работы, связанные с темами ICTAC, следующих категории:
- оригинальные исследовательские работы (не более 16 страниц без учета списка литературы);
- приложения и опыт использования (не более 16 страниц без учета списка литературы);
- короткие статьи с описанием прогресса в исследованиях или с предложениями новых идей (не более 6 страниц без учета списка литературы); а также
- описание новых программных инструментов (не более 6 страниц без учета списка литературы).
Подача статей осуществляется через систему EasyChair (https://easychair.org/conferences/?conf=ictac2021). Статьи должны быть отформатирован в соответствии с правилами Springer LNCS (http://www.springer.com/lncs).
Публикация:
- Все принятые работы будут опубликованы в трудах конференции в виде сборника в
серии Springer LNCS.
- Избранные работы будут приглашены в специальный выпуск
журнала Theoretical Computer Science.
Приглашенные докладчики:
- Вил ван дер Аалст, RWTH Ахенский университет, Германия
- Алан Дикс, Университет Суонси, Великобритания
- Ким Ларсен, Ольборгский университет, Дания
- Григоре Росу, Иллинойсский университет в Урбана-Шампейн, США
Сопредседатели Программного Комитета:
- Антонио Сероне, Назарбаев Университет, Казахстан
- Петер Олвецки, Университет Осло, Норвегия
- Региональные представители Программного Комитета по связи с общественностью:
- Стефан Грюнер, Университет Претории, Южная Африка
- Казухиро Огата, Японский институт передовых наук и технологий, Япония
- Элейн Пиментель, Федеральный университет Риу-Гранди-ду-Норти, Бразилия
- Риад Роббана, INSAT, Карфагенский университет, Тунис
- Николай Вячеславович Шилов, Университет Иннополис, Россия.
При обращении к организаторам мероприятия обязательно ссылайтесь на сайт «Конференции.ru» как на источник информации.
Последний день подачи заявки: 14 мая 2021 г. (приём заявок закончен)
Организаторы: Назарбаев Университет (Казахстан)
Контактная информация: Николай Вячеславович Шилов, представитель Программного Комитета по связи с общественностью в России, доцент АНО ВО «Университет Иннополис», Республика Татарстан, г. Иннополис, shiloviis@mail.ru
Эл. почта: shiloviis@mail.ru
Приложения:
Поделитесь информацией о мероприятии со знакомыми: