DaLí 2023: 5th Workshop on Dynamic Logic - New trends and applications Tbilisi, Georgia, September 15-16, 2023
Collocated with Logic, Algebra and Truth Degrees conference 2023 ( https://sites.google.com/view/latd-2023/), and immediately before the 14th TbiLLC 2023 symposium (https://events.illc.uva.nl/Tbilisi/Tbilisi2023/). *** Website *** https://dali2023.compute.dtu.dk/ *** Location *** Ivane Javakhishvili State University, Tbilisi, Georgia ***NEW Important Dates *** - NEW Abstract submission deadline: *Monday 8th of May, 2023* - NEW Full paper submission deadline: *Monday 15th of May, 2023* - Author notifications: Thursday 15th of June, 2023 - DaLí 2023: Friday 15th & Saturday 16th, September 2023. **** Overview ***** Building on the ideas of Floyd-Hoare logic, dynamic logic was introduced in the 70's as a formal tool for reasoning about, and verify, classic imperative programs. Over time, its aim has evolved and expanded; DL can be seen now as a general set of ideas and tools devised for representing, describing and reasoning about diverse kind of actions, including (but not limited to) frameworks tailored for specific programming problems/ paradigms (e.g., separation logics), settings for modelling new computing domains (e.g., probabilistic, continuous and quantum computation), frameworks for reasoning about information dynamics (e.g., dynamic epistemic logics) and systems for reasoning about long term information dynamics (e.g., learning theory). Both its theoretical relevance and practical potential make DLs a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. The aim of the DaLí 2023 workshop is to bring together, in a single place, researchers with a shared interest in the formal study of actions (from Academia to Industry and more, from Mathematics to Computer Science and beyond) to present their work, foster discussions and encourage collaborations. Previous editions of DaLí took place in Brasília (2017), Porto (2019) and online (2020, 2022). In 2023, DaLí will take place in Tbilisi, Georgia, immediately after the Logic, Algebra and Truth Degrees conference 2023 ( https://sites.google.com/view/latd-2023/), and immediately before the 14th TbiLLC 2023 symposium (https://events.illc.uva.nl/Tbilisi/Tbilisi2023/). **** List of Topics **** Submissions are invited 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 - The interface between logic and learning - Quantum dynamic logic - Co-algebraic 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 **** Submission and Proceedings **** Submissions of original papers (unpublished and not submitted for publication elsewhere), up to 15 pages (12 pages of main text + 3 pages of appendix and references), are invited through https://easychair.org/conferences/?conf=dali2023 The submissions should be *anonymous* and should follow the *LNCS formatting style* ( https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines). LaTeX users (preferred) can download the LNCS template directly, here: https://resource-cms.springernature.com/springer-cms/rest/v1/content/19238648/data/v6 ; Word users can do the same, here: https://resource-cms.springernature.com/springer-cms/rest/v1/content/19238706/data/v1 A post-proceedings volume and a special issue of a journal are being arranged (in previous years LNCS and JLAMP, respectively). **** Invited Speakers **** TBA ****Program Committee Chairs**** Nina Gierasimczuk (Technical University of Denmark, DK) Fernando R. Velázquez-Quesada (Universitetet i Bergen, NO) **** Program Committee **** Natasha Alechina (Utrecht U, NL) Carlos Areces (U Cordoba, AR) Phillippe Balbiani (U Toulouse, FR) Alexandru Baltag (U Amsterdam, NL) Luís Barbosa (U Minho, PT) Mário Benevides (UFRJ, BR) Johan van Benthem (U Amsterdam, NL) Thomas Bolander (DTU, DK) Zoé Christoff (U Groningen, NL) Stéphane Demri (CNRS, FR) Hans van Ditmarsch (LORIA, Nancy, FR) Raul Fervari (U Córdoba, AR) Sabine Frittella (LIFO, FR) Asta Halkjær From (DTU, DK) Malvin Gattinger (U Amsterdam, NL) Sujata Gosh (ISI Chennai, IN) Davide Grossi (U Groningen, NL) Andreas Herzig (Toulouse, FR) Thomas Icard (Stanford U, USA) Gabriele Kern-Isberner (TU Dortmund, DE) Sophia Knight (U Minnesota, USA) Alexandre Madeira (U Aveiro, PT) Aybüke Özgün (U Amsterdam, NL) Eric Pacuit (U Maryland, USA) Alessandra Palmigiano (VU Amsterdam, NL) Elaine Pimentel (UCL, UK) Carlo Proietti (NRC, IT) Vít Punčochář (CAS, Prague, CZ) Rasmus Rendsvig (U Copenhagen, DK) Mehrnoosh Sadrzadeh (UCL, UK) Igor Sedlár (CAS, Prague, CZ) Sonja Smets (U Amsterdam, NL) Sheila Veloso (UFRJ, BR; emerita) Fan Yang (Utrecht U, NL) Thomas Ågotnes (U Bergen, NO) ... and growing **** Local Organisers **** David Gabelaia (A. Razmadze Mathematical Institute, GE) -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- 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 logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BXA4yMs2JLqmu4yB9z4B0AcW2O%3DCPDbQZq5U3PnkvF%2BVQ%40mail.gmail.com.
