расширенный поиск
]]>

 

 

 

 

]]>

 

 

 


Добавить «Золотую ленточку»

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

Приложения: Официальный сайт мероприятия

Поделитесь информацией о мероприятии со знакомыми:

 

 

Нашли ошибку? Выделите ее, нажмите Ctrl и Enter одновременно.

Для отправления сообщения оргкомитету Вы должны быть зарегистрированы и авторизованы на сайте


Сообщение об ошибке отправлено администратору,
спасибо что пользуетесь нашим сервисом!

закроется через 2 секунды