Конференции

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.

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

Международная научно-практическая конференция “Наука и технологии” 🌍🔬 24/25

1 сентября-30 июля 2025

🚀 Международная научно-практическая конференция “Наука и технологии” 24/25 🌍🔬 — это событие, которое нельзя пропустить! 📚 С 1 сентября 2024 года по 30 июля 2025 года приглашаем ученых, студентов и пре...

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

II Международный конкурс для школьников по программированию и робототехнике “Роботы и коды” 24/25

🚀 II Международный конкурс по программированию и робототехнике “Роботы и коды” 24/25! 🤖 Друзья, внимание! 🌍 Готовы погрузиться в мир будущего, где каждый код оживает, а роботы исполняют ваши команды?...

Международный хакатон для школьников «Социальный Прорыв» 2024/2025

🧠 Международный хакатон для школьников «Социальный Прорыв» 2024/2025! 💡 🌍 Готовы изменить мир? Впереди вас ждет уникальная возможность проявить свои таланты, создавая инновационные решения для социальных проблем! Хакатон «Социальный Прорыв»...

Конференция FlowDays 2024

Ежегодная конференция FlowDays – 2024 о современных методах управления бизнесом и процессами   Дата: 13 сентября 2024 года Место: Старт Хаб на Красном Октябре Организатор: Neogenda Сайт: https://flowdays.ru/  Как эффективно...
Корзина для покупок