24 Sep 2017
Brasilia, Brazil
Workshop DaLi? ? Dynamic Logic: new trends and applications
Brasília, 24 September, 2017
(co-located with FROCOS TABLEAUX and ITP 2017)
http://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 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 *****
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 DaLi? 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)
- Ma?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 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)
- Eugénio Rocha (U. Aveiro, PT)
- Vale?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)
--
Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario <http://www.cos.ufrj.br/%7Emario>
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam