Universiteit van Amsterdam


Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

9 - 10 October 2020, 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLi 2020), Online

Date: 9 - 10 October 2020
Location: Online
Deadline: Sunday 26 July 2020

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 lead 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 fill such a gap, joining an heterogeneous community of colleagues, from Academia to Industry, from Mathematics to Computer Science.

Invited Speakers: Natasha Alechina and Johan van Benthem.

Given the worsening epidemiological situation, the organizers have decided to hold DaLi as an online workshop via Zoom.

Submissions are invited on the general field of dynamic logic, its variants and applications. Submissions of original papers (unpublished and not submitted for publication elsewhere), up to 15 pages in LNCS style, are invited through EasyChair.

For more information, see http://www.cs.cas.cz/dali2020/ or contact , or .

Please note that this newsitem has been archived, and may contain outdated information or links.