Конференции

5th International Workshop on Trends in Linear Logic and Applications

Технические науки
Имитационное моделирование, Математическое моделирование
Италия, Рим

27 июня–28 июня 2021

Форма участия: Дистанционная

Срок подачи заявок: 02.05.2021

Организаторы: Online (Rome virtually)

emal: [email protected]

Страница события

Повысить рейтинг

Повышение рейтинга дает возможность оставаться объявлению в топе на главной странице, а также на страницах городов, тематик, связанных с объявлением.

Текущее значение: 0

Приветствуются новые результаты, в которых централизованно используется линейная логика или производные инструменты, от фундаментальных работ до приложений в любой области. Также приветствуются более ознакомительные презентации, которые могут исследовать открытые вопросы и поднимать фундаментальные вопросы о существующих теориях и практиках. Цель состоит в том, чтобы собрать исследователей, заинтересованных в связи между линейной логикой и различными темами, такими как:

  • теория языков программирования;
  • категориальные модели доказательств и программ;
  • динамические модели вычислений, игр и языков;
  • термические исчисления;
  • типовые системы;
  • теория доказательств;
  • неявная вычислительная сложность
  • параллелизм и параллелизм
  • системы, основанные на взаимодействии;
  • системная и программная верификация;
  • модели вычислений;
  • квантовые и вероятностные модели вычислений;
  • биологические и химические модели вычислений;
  • лингвистика;
  • логика и философия;
  • связи с комбинаторикой;
  • категории и алгебра;
  • функциональный анализ и операторные алгебры.

The conference will be held in ONLINE ROME.

Подать заявку на участие в мероприятии
  • РЕКОМЕНДУЕМ ВАМ

Международный конкурс по гуманитарным наукам для студентов и аспирантов «Одиссея эрудитов» 2023/2024

1 сентября-30 августа 2024

Мы приглашаем студентов и аспирантов присоединиться к увлекательному Международному конкурсу «Одиссея Эрудитов» 23/24 г. Примите вызов и станьте частью нашей команды гуманитарных знатоков! Участие в н...

Смотреть похожие мероприятия

Корзина для покупок