BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2023/newsitem/14179/15 ---16-September-2023-5th-Workshop-on-Dynamic-Logic ---New-trends-and-applications-DaLí-2023-Tbilisi-G eorgia DTSTAMP:20230320T131009 SUMMARY:5th Workshop on Dynamic Logic - New trends and applications (DaLí 2023), Tbilisi, Georgia DTSTART;VALUE=DATE:20230915 DTEND;VALUE=DATE:20230916 LOCATION:Tbilisi, Georgia DESCRIPTION:Building on the ideas of Floyd-Hoare l ogic, dynamic logic was introduced in the 70's as a formal tool for reasoning about, and verify, cla ssic imperative programs. Over time, its aim has e volved and expanded; DL can be seen now as a gener al set of ideas and tools devised for representing , describing and reasoning about diverse kind of a ctions. The aim of the DaLí 2023 workshop is to br ing together, in a single place, researchers with a shared interest in the formal study of actions ( from Academia to Industry and more, from Mathemati cs to Computer Science and beyond) to present thei r work, foster discussions and encourage collabora tions. In 2023, DaLí will take place in Tbilisi, Georgia, immediately after the Logic, Algebra and Truth Degrees conference 2023 (https://sites.googl e.com/view/latd-2023/), and immediately before the 14th TbiLLC 2023 symposium (https://events.illc.u va.nl/Tbilisi/Tbilisi2023/). Submissions are invi ted on the general field of dynamic logic, its var iants and applications, including (but not restric ted to): - Dynamic logic, foundations and applica tions - Logics with regular modalities - Modal/t emporal/epistemic logics - Kleene and action alge bras and their variants - The interface between l ogic and learning - Quantum dynamic logic - Co-a lgebraic modal/dynamic logics - Graded and fuzzy dynamic logics - Dynamic logics for cyber-physica l systems - Dynamic epistemic logic - Complexity and decidability of variants of dynamic logics an d temporal logics - Model checking, model generat ion and theorem proving for dynamic logics Submis sions of original papers (unpublished and not subm itted for publication elsewhere), up to 15 pages ( 12 pages of main text + 3 pages of appendix and re ferences), are invited through Easychair. The subm issions should be *anonymous* and should follow th e LNCS formatting style. LaTeX users (preferred) c an download the LNCS template directly ; Word user s can do the same. A post-proceedings volume and a special issue of a journal are planned, and will be confirmed in the next CfP. X-ALT-DESC;FMTTYPE=text/html:
\n

Building on the ideas of Floyd-Hoare logic, dynamic logic w as introduced in the 70's as a formal tool for rea soning about, and verify, classic imperative progr ams. Over time, its aim has evolved and expanded; DL can be seen now as a general set of ideas and t ools devised for representing, describing and reas oning about diverse kind of actions. The aim of th e DaLí 2023 workshop is to bring together, in a si ngle place, researchers with a shared interest in the formal study of actions (from Academia to Indu stry and more, from Mathematics to Computer Scienc e and beyond) to present their work, foster discus sions and encourage collaborations.

\n

In 2 023, DaLí will take place in Tbilisi, Georgia, imm ediately after the Logic, Algebra and Truth Degree s conference 2023 (https://sites.google.com/view/l atd-2023/), and immediately before the 14th TbiLLC 2023 symposium (https://events.illc.uva.nl/Tbilis i/Tbilisi2023/).

\n
\n

Submission s are invited on the general field of dynamic logi c, its variants and applications, including (but n ot restricted to):
\n - Dynamic logic, foundat ions and applications
\n - Logics with regular modalities
\n - Modal/temporal/epistemic logi cs
\n - Kleene and action algebras and their v ariants
\n - The interface between logic and l earning
\n - Quantum dynamic logic
\n - Co -algebraic modal/dynamic logics
\n - Graded an d fuzzy dynamic logics
\n - Dynamic logics for cyber-physical systems
\n - Dynamic epistemic logic
\n - Complexity and decidability of var iants of dynamic logics and temporal logics
\n - Model checking, model generation and theorem pr oving for dynamic logics

\n

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 Eas ychair. The submissions should be *anonymous* and should follow the LNCS formatting st yle. LaTeX users (preferred) can download the LNCS template directly ; Word user s can do the same. A post-proceedi ngs volume and a special issue of a journal are pl anned, and will be confirmed in the next CfP.

\ n
URL:https://dali2023.compute.dtu.dk/ CONTACT:Nina Gierasimczuk at nigi at dtu.dk END:VEVENT END:VCALENDAR