ИСТИНА

• Охват: Международная
• Даты проведения: 9-10 октября 2020
• Место проведения: Прага (онлайн), Czech Republic
• Организатор:
  Institute of Computer Science and the Institute of Philosophy of the Czech Academy of Sciences
• Веб-сайт: http://www.cs.cas.cz/dali2020/
• Описание конференции:

  Building on the pioneer intuitions of Floyd-Hoare logic, dynamic logic was introduced in the 70's as a suitable logic to reason about, and verify, classic imperative programs. Since then, the original intuitions grew to an entire family of logics, which became increasingly popular for assertional reasoning about a wide range of computational systems. Simultaneously, their object (i.e. the very notion of a program) evolved in unexpected ways. This led to dynamic logics tailored to specific programming paradigms and extended to new computing domains, including probabilistic, continuous and quantum computation. Both its theoretical relevance and practical potential make dynamic logic a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. However, no specific event is exclusively dedicated to it. This workshop aims at filling this gap and creating a heterogeneous community of colleagues, from Academia to Industry, from Mathematics to Computer Science.

• Добавил в систему: Петрухин Ярослав Игоревич

Доклады:

• 2020 Basic Modal Congruent and Monotonic Multilattice logics (Устный)
• Авторы: Grigoriev Oleg, Petrukhin Yaroslav