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.

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

Shopping Cart