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/2019/newsitem/10837/9- October-2019-Dynamic-Logic-New-Trends-and-Applicat ions-DaLí-2019-Porto-Portugal DTSTAMP:20190430T185710 SUMMARY:Dynamic Logic: New Trends and Applications (DaLí 2019), Porto, Portugal DTSTART;VALUE=DATE:20191009 LOCATION:Porto, Portugal DESCRIPTION:Building on the pioneer intuitions of Floyd-Hoare logic, dynamic logic was introduced in the 70's as a suitable logic to reason about, and verify, classic imperative programs. Since then, the original intuitions grew to an entire family o f logics, which became increasingly popular for as sertional reasoning about a wide range of computat ional systems. Simultaneously, their object (i.e. the very notion of a program) evolved in unexpecte d ways. This lead to dynamic logics tailored to sp ecific programming paradigms and extended to new c omputing domains, including probabilistic, continu ous and quantum computation. Both its theoretical relevance and practical potential make dynamic log ic a topic of interest in a number of scientific v enues, from wide-scope software engineering confer ences to modal logic specific events. However, no specific event is exclusively dedicated to it. Thi s workshop aims at filling fill such a gap, joinin g an heterogeneous community of colleagues, from A cademia to Industry, from Mathematics to Computer Science. Submissions are invited on the general f ield of dynamic logic, its variants and applicatio ns, including, but not restricted to Dynamic logic , foundations and applicationsLogics with regular modalitiesModal/temporal/epistemic logicsKleene an d action algebras and their variantsQuantum dynami c logicCoalgebraic modal/dynamic logicsGraded and fuzzy dynamic logicsDynamic logics for cyber-physi cal systemsDynamic epistemic logicComplexity and d ecidability of variants of dynamic logics and temp oral logicsModel checking, model generation and th eorem proving for dynamic logics X-ALT-DESC;FMTTYPE=text/html:
Building on the pioneer intuitions of Floyd-Hoare logic, dy namic logic was introduced in the 70's as a suitab le logic to reason about, and verify, classic impe rative programs. Since then, the original intuitio ns grew to an entire family of logics, which becam e increasingly popular for assertional reasoning a bout a wide range of computational systems. Simult aneously, their object (i.e. the very notion of a program) evolved in unexpected ways. This lead to dynamic logics tailored to specific programming pa radigms and extended to new computing domains, inc luding probabilistic, continuous and quantum compu tation. Both its theoretical relevance and practic al potential make dynamic logic a topic of interes t in a number of scientific venues, from wide-scop e software engineering conferences to modal logic specific events. However, no specific event is exc lusively dedicated to it. This workshop aims at fi lling fill such a gap, joining an heterogeneous co mmunity of colleagues, from Academia to Industry, from Mathematics to Computer Science.
Submissions are invited on the general fi eld of dynamic logic, its variants and application s, including, but not restricted to
\n\n