ИСТИНА

• Охват: Международная
• Даты проведения: 2-6 ноября 2021
• Место проведения: Марсель, France
• Организатор:
  Centre International de Rencontres Mathématiques
• Число участников: 100
• Число докладчиков: 70
• Веб-сайт: https://ramics19.lis-lab.fr/
• Описание конференции:

  RAMICS 2021 will take place at CIRM close to Marseille from 2 to 5 November 2021. Since 1994, the RAMiCS conference series has been the main venue for research on relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodological tools in computer science and beyond. Theoretical aspects include semigroups, residuated lattices, semirings, Kleene algebras, relation algebras, quantales and other algebras; their connections with program logics and other logics; their use in the theories of automata, concurrency, formal languages, games, networks and programming languages; the development of algebraic, algorithmic, category-theoretic, coalgebraic and proof-theoretic methods for these theories; their formalisation with theorem provers. Applications include tools and techniques for program correctness, specification and verification; quantitative and qualitative models and semantics of computing systems and processes; algorithm design, automated reasoning, network protocol analysis, social choice, optimisation and control.

• Добавил в систему: Жук Дмитрий Николаевич

Доклады:

• 2021 Quantified Constraint Satisfaction Problem: towards the classification of complexity (Приглашенный)
• Автор: Zhuk D.

• 2021 Relational Models for the Lambek calculus with Intersection and Unit (Устный)
• Автор: Кузнецов Степан Львович