5th International Workshop on Trends in Linear Logic and Applications

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

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

The conference will be held in ONLINE ROME.