Workshop co-located with TABLEAUX <http://tableaux2017.cic.unb.br/>, FROCOS <http://frocos2017.cic.unb.br/> and ITP <http://itp2017.cic.unb.br/> 2017
DaLí - Dynamic Logic: new trends and applications Brasília, 24 September, 2017 Overview 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. 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. Furthermore, it will provide a forum for disseminating and sharing new trends and applications of Dynamic Logic. Co-location with TABLEAUX, FroCoS, and ITP offers the perfect conditions for a fruitful fostering of synergies. The workshop is promoted by the project DaLí - Dynamic logics for cyber-physical systems: towards contract based design <http://dali.di.uminho.pt/>(POCI-01-0145-FEDER-016692), a R&D project supported by the Portuguese Foundation for Science and Technology Submissions and publications Authors are invited to submit original papers (unpublished and not submitted for publication elsewhere) up to 15 pages in lncs style. Submissions should be handled with this EasyChair link <https://easychair.org/conferences/?conf=dali17> and will be published in a Lecture Notes of Computer Science Volume, Springer <https://www.springer.com/lncs>. Extended versions of the DaLí contributions will be invited to a special issue in the Journal of Logic and Algebraic Programming <https://www.journals.elsevier.com/the-journal-of-logic-and-algebraic-programming>, Elsevier. Extended abstracts with preliminarily results and work in progress (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. Submissions should be handled with this EasyChair link <https://easychair.org/conferences/?conf=dali17>. 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 Important dates May 26, 2017: Abstract deadline June 2, 2017: Full paper deadline July 14, 2017: Author notification TBA: Final version deadline TBA: Special issue invitation DaLí project <http://dali.di.uminho.pt/> Chairs Alexandre Madeira <http://alfa.di.uminho.pt/~madeira/>(U.Minho & U.Aveiro, PT) Mário Benevides, <http://www.cos.ufrj.br/~mario/>(UFRJ, BR) Invited Speaker Alexandru Baltag, <http://alexandru.tiddlyspot.com/#WELCOME>(Uva, NL) Edward Hermann Haeusler, <http://www-di.inf.puc-rio.br/~hermann/>(PUC-Rio, BR) Program Committee Carlos Areces, <https://cs.famaf.unc.edu.ar/~careces/>(U. Cordoba, AR) Phillippe Balbiani, <https://www.irit.fr/~Philippe.Balbiani/>(U. Toulouse, FR) Alexandru Baltag, <http://alexandru.tiddlyspot.com/#WELCOME>(Uva, NL) Luís S. Barbosa, <http://lmf.di.uminho.pt/~lsb/>(U.Minho, PT) Johan van Benthem, <https://staff.science.uva.nl/j.vanbenthem/>(U.Stanford & U.Tsinghua) Patrick Blackburn, <http://www.patrickblackburn.org/>(U. Roskilde, DK) Stéphane Demri, <http://www.lsv.ens-cachan.fr/~demri/>(ENS Cachan, FR) Hans van Ditmarsch, <http://personal.us.es/hvd/>(LORIA, Nancy, FR) Francicleber M. Ferreira, <http://www.lia.ufc.br/~fran/>(UFC, BR) Valentin Goranko, <http://www2.philosophy.su.se/goranko/>(U. Stockholm, SE) Edward H. Hauesler, <http://www.inf.puc-rio.br/~hermann>(PUC-Rio, BR) Rolf Hennicker, <https://www.pst.ifi.lmu.de/Personen/team/hennicker.html>(LMU, Munchen, DE) Andreas Herzig, <https://www.irit.fr/~Andreas.Herzig/>(Toulouse, FR) Dexter Kozen, <https://www.cs.cornell.edu/~kozen/>(Cornell, USA) Clemens Kupke, <https://personal.cis.strath.ac.uk/clemens.kupke/>(U.Strathclyde, UK) Bruno Vieira Lopes, <http://www2.ic.uff.br/~bruno/>(UFF, BR) Paulo Mateus, <http://sqig.math.ist.utl.pt/pmat>(IST, PT) Manuel A. Martins, <http://sweet.ua.pt/martins/>(U. Aveiro, PT) Carlos Olarte, <https://sites.google.com/site/carlosolarte/>(UFRN, BR) José N. Oliveira, <http://www4.di.uminho.pt/~jno/>(U. Minho, PT) André Platzer, <http://symbolaris.com/>(CMU, USA) Eugénio Rocha, <http://eugenio.blogs.mathdir.org/>(U. Aveiro, PT) Valéria de Paiva, <http://www.valeriadepaiva.org/>(NC, USA) Regivan Santiago, <https://sites.google.com/site/regivanhnsantiago/>(UFRN, BR) Luis Menasche Schechter, <http://www.dcc.ufrj.br/~luisms/>(UFRJ, BR) Alexandra Silva, <http://www.alexandrasilva.org/#/main.html>(UCL, UK) Tinko Tinchev, <https://www.fmi.uni-sofia.bg/fmi/logic/tinchev/>(Sofia University, BG Petrucio Viana, <http://www.cos.ufrj.br/~petrucio/>(UFF, BR) Yde Venema, <https://staff.science.uva.nl/y.venema/>(ILLC, NL) Renata Wassermann, <https://www.ime.usp.br/~renata/>(USP, BR) Accepted papers to be announced Program to be announced Venue information is available at TABLEAUX <http://tableaux2017.cic.unb.br/>, FROCOS <http://frocos2017.cic.unb.br/> and ITP <http://itp2017.cic.unb.br/> 2017 Bruno Lopes http://www.ic.uff.br/~bruno <http://www.ic.uff.br/~bruno> -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/640D3EB6-4629-4878-A467-DE828A8E73C2%40gmail.com.
