ИСТИНА

• Охват: Международная
• Даты проведения: 17-21 июня 2019
• Место проведения: Ницца, France
• Организатор:
  Университет София-Антиполис
• Число участников из МГУ: 2
• Число докладчиков: 88
• Веб-сайт: https://math.unice.fr/tacl/2019/
• Описание конференции:

  Studying logic via semantics is a well-established and very active branch of mathematical logic with many applications in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The programme of the conference TACL 2019 focuses on three interconnecting mathematical themes central to the semantic study of logic and their applications: topological, algebraic, and categorical methods.

• Добавил в систему: Шехтман Валентин Борисович

Доклады:

• 2019 Simplicial semantics and one-variable fragments of modal predicate logics (Устный)
• Автор: Valentin Shehtman