DaLí 2017

Workshop DaLi - Dynamic Logic: new trends and applications

Brasilia | 24 September, 2017 |

co-located with FROCOS TABLEAUX and ITP 2017)

Building on the pioneer intuitions of Floyd-Hoare logic, Dynamic Logic was intro- duced in the 70's by Pratt 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 leads 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. forum for disseminating and sharing new trends and applications of Dynamic Logic.

The event is promoted by the project DaLi - Dynamic logics for cyber-physical systems: towards contract based design

(POCI-01-0145-FEDER-016692), a R&D project supported by the Portuguese Foundation for Science and Technology ( http: //dali.di.uminho.pt ).

Topics
- Dynamic logic,foundations and applications
- Logics with regular modalities
- Modal/temporal/epistemic logics
- Kleene and action algebras and their variants
- Quantum dynamic logic
- Coalgebraic modal/dynamic logics
- Graded and fuzzy dynamic logics
- Dynamic logics for cyber-physical systems
- Dynamic epistemic logic
- Complexity and decidability of variants of dynamic logics and temporal logics
- Model checking, model generation and theorem proving for dynamic logics

Invited Speakers
- Alexandru Baltag, UVA, NL
- Edward Hermann Haeusler, PUC-Rio, BR

PC Chairs
- Alexandre Madeira (UM & UA, PT)
- Mario Benevides (UFRJ, BR)

Program Committee:
- Carlos Areces (U. Cordoba, AR)
- Phillippe Balbiani (U. Toulouse, FR)
- Alexandru Baltag (Uva, NL)
- Luis S. Barbosa (U.Minho, PT)
- Johan van Benthem (U.Stanford & U.Tsinghua)
- Patrick Blackburn (U. Roskilde, DK)
- Stephane Demri (CNRS, FR)
- Hans van Ditmarsch (LORIA, Nancy, FR)
- Francicleber M. Ferreira (UFC, BR)
- Valentin Goranko (U. Stockholm, SE)
- Edward H. Hauesler (PUC-Rio, BR)
- Rolf Hennicker (LMU, Munchen, DE)
- Andreas Herzig (Toulouse, FR)
- Dexter Kozen (Cornell, USA)
- Clemens Kupke (U.Strathclyde, UK)
- Bruno Lopes Vieira (UFF, BR)
- Paulo Mateus (IST, PT)
- Manuel A. Martins (U.Aveiro, PT)
- Carlos Olarte (UFRN, BR)
- Jose N. Oliveira (U. Minho, PT)
- Andre Platzer (CMU, USA)
- Eugenio Rocha (U. Aveiro, PT)
- Valeria de Paiva (NC, USA)
- Regivan Santiago (UFRN, BR)
- Luis Menasche Schechter (UFRJ, BR)
- Tinko Tinchev (U. Sofia, BG)
- Petrucio Viana (UFF, BR)
- Yde Venema (ILLC, NL)
- Renata Wassermann (USP, BR)