<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class="">(sorry for multiple copies)</div><div class=""><br class=""></div><span class="Apple-tab-span" style="white-space: pre;"> </span><span class="Apple-tab-span" style="white-space: pre;"> </span><span class="Apple-tab-span" style="white-space: pre;"> </span><span class="Apple-tab-span" style="white-space: pre;"> </span>==== DEADLINE EXTENSION====<br class="">Workshop DaLi– Dynamic Logic: new trends and applications<br class=""><span class="Apple-tab-span" style="white-space: pre;"> </span><span class="Apple-tab-span" style="white-space: pre;"> </span><span class="Apple-tab-span" style="white-space: pre;"> </span>Brasília, 24 September, 2017<span class="Apple-tab-span" style="white-space: pre;"> </span><br class=""> (co-located with FROCOS TABLEAUX and ITP 2017)<br class=""><span class="Apple-tab-span" style="white-space: pre;"> </span><span class="Apple-tab-span" style="white-space: pre;"> </span><span class="Apple-tab-span" style="white-space: pre;"> </span><span class="Apple-tab-span" style="white-space: pre;"> </span><a href="http://workshop.dali.di.uminho.pt" class="">workshop.dali.di.uminho.pt</a><br class=""><br class=""><br class="">Building on the pioneer intuitions of Floyd-Hoare logic, Dynamic Logic was introduced 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.<br class="">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.<br class="">The event is promoted by the project DaLí - Dynamic logics for cyber-physical systems: towards contract based design <br class="">(POCI-01-0145-FEDER-016692), a R&D project supported by the Portuguese Foundation for Science and Technology (http: //<a href="http://dali.di.uminho.pt" class="">dali.di.uminho.pt</a>).<br class=""><br class="">***** Topics ***** <br class=""><br class="">We invite submissions on the general field of Dynamic Logic, its variants and applications, including, but not restricted to:<br class="">- Dynamic logic,foundations and applications<br class="">- Logics with regular modalities<br class="">- Modal/temporal/epistemic logics<br class="">- Kleene and action algebras and their variants <br class="">- Quantum dynamic logic<br class="">- Coalgebraic modal/dynamic logics<br class="">- Graded and fuzzy dynamic logics<br class="">- Dynamic logics for cyber-physical systems<br class="">- Dynamic epistemic logic<br class="">- Complexity and decidability of variants of dynamic logics and temporal logics <br class="">- Model checking, model generation and theorem proving for dynamic logics<br class=""><br class="">***** Submissions and publications ****<br class=""><br class="">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.<br class=""><br class="">Both kind of submissions should be done via the EasyChair link<br class=""><a href="https://easychair.org/conferences/?conf=dali17" class="">https://easychair.org/conferences/?conf=dali17</a>.<br class="">Extended versions of the DaLí contributions will be invited to a special issue in the Journal of Logical and Algebraic Methods in Programming, Elsevier.<br class=""><br class="">***** Important Dates ****<br class="">- NEW DEADLINE - June 18, 2017: Abstract deadline <br class="">- NEW DEADLINE - June 18, 2017: Full paper deadline <br class="">- July 14, 2017: Author notification <br class=""><br class="">**** Invited Speakers ****<br class="">- Alexandru Baltag, UVA, NL<br class="">- Edward Hermann Haeusler, PUC-Rio, BR<br class=""><br class=""><br class="">**** PC Chairs ****<br class="">- Alexandre Madeira (UM & UA, PT)<br class="">- Mário Benevides (UFRJ, BR)<br class=""><br class=""><br class="">**** Program Committee: **** <br class="">- Carlos Areces (U. Cordoba, AR)<br class="">- Phillippe Balbiani (U. Toulouse, FR) <br class="">- Alexandru Baltag (Uva, NL)<br class="">- Luís S. Barbosa (U.Minho, PT)<br class="">- Johan van Benthem (U.Stanford & U.Tsinghua) <br class="">- Patrick Blackburn (U. Roskilde, DK)<br class="">- Stéphane Demri (CNRS, FR)<br class="">- Hans van Ditmarsch (LORIA, Nancy, FR) <br class="">- Francicleber M. Ferreira (UFC, BR) <br class="">- Valentin Goranko (U. Stockholm, SE) <br class="">- Edward H. Hauesler (PUC-Rio, BR)<br class="">- Rolf Hennicker (LMU, Munchen, DE)<br class="">- Andreas Herzig (Toulouse, FR)<br class="">- Dexter Kozen (Cornell, USA)<br class="">- Clemens Kupke (U.Strathclyde, UK)<br class="">- Bruno Lopes Vieira (UFF, BR)<br class="">- Paulo Mateus (IST, PT)<br class="">- Manuel A. Martins (U.Aveiro, PT)<br class="">- Carlos Olarte (UFRN, BR)<br class="">- José N. Oliveira (U. Minho, PT)<br class="">- André Platzer (CMU, USA)<br class="">- Eugénio Rocha (U. Aveiro, PT)<br class="">- Valéria de Paiva (NC, USA)<br class="">- Regivan Santiago (UFRN, BR)<br class="">- Luis Menasche Schechter (UFRJ, BR) <br class="">- Tinko Tinchev (U. Sofia, BG)<br class="">- Petrucio Viana (UFF, BR)<br class="">- Yde Venema (ILLC, NL)<br class="">- Renata Wassermann (USP, BR)</body></html>