[TYPES/announce] Workshop DaLí

[Alexandre Madeira]

Workshop DaLí – Dynamic Logic: new trends and applications Brasília,
			24 September, 2017 (co-located with FROCOS
			TABLEAUX and ITP 2017)
			workshop.dali.di.uminho.pt


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 heteroge- neous 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 DaLí - 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 ***** 

We invite submissions on the general field of Dynamic Logic, its
variants and applications, including, but not restricted to:

- 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

***** Submissions and publications ****

Authors are invited to submit original papers (un-published and not
submitted for publication elsewhere) up to 15 pages in lncs
style. Accepted papers will be published in a Springer’s Lecture Notes
of Computer Science volume. Submissions with work in progress
(abstracts with 2-5 pag) are also welcomed for short
presentations. They are subject of a light reviewing and will be
available at conference in a informal booklet.

Both kind of submissions should be done via the EasyChair link
 https://easychair.org/conferences/?conf=dali17.  Extended versions of
 the DaLí contributions will be invited to a special issue in the
 Journal of Logical and Algebraic Methods in Programming, Elsevier.

***** Important Dates ****
- May 26, 2017: Abstract deadline 
- June 2, 2017: Full paper deadline 
- July 14, 2017: Author notification 

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


**** PC Chairs ****
 - Alexandre Madeira (UM & UA, PT)
 - Mário Benevides (UFRJ, BR)


**** Program Committee: **** 
 - Carlos Areces (U. Cordoba, AR)
 - Phillippe Balbiani (U. Toulouse, FR) 
 - Alexandru Baltag (Uva, NL)
 - Luís S. Barbosa (U.Minho, PT)
 - Johan van Benthem (U.Stanford & U.Tsinghua) 
 - Patrick Blackburn (U. Roskilde, DK)
 - Stéphane Demri (ENS Cachan, 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 Vieira Lopes (UFF, BR)
 - Paulo Mateus (IST, PT)
 - Manuel A. Martins (U.Aveiro, PT)
 - Carlos Olarte (UFRN, BR)
 - José N. Oliveira (U. Minho, PT)
 - André Platzer (CMU, USA)
 - Eugénio Rocha (U. Aveiro, PT)
 - Valéria de Paiva (NC, USA)
 - Regivan Santiago (UFRN, BR)
 - Luis Menasche Schechter (UFRJ, BR) 
 - Alexandra Silva (UCL, UK)
 - Tinko Tinchev (U. Sofia, BG)
 - Petrucio Viana (UFF, BR)
 - Yde Venema (ILLC, NL)
 - Renata Wassermann (USP, BR)