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:<div>\n  <p>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.</p>\n</div><
 div>\n  <p>Submissions are invited on the general 
 field of dynamic logic, its variants and applicati
 ons, including, but not restricted to</p>\n\n  <ul
 >\n    <li>Dynamic logic, foundations and applicat
 ions</li>\n\n    <li>Logics with regular modalitie
 s</li>\n\n    <li>Modal/temporal/epistemic logics<
 /li>\n\n    <li>Kleene and action algebras and the
 ir variants</li>\n\n    <li>Quantum dynamic logic<
 /li>\n\n    <li>Coalgebraic modal/dynamic logics</
 li>\n\n    <li>Graded and fuzzy dynamic logics</li
 >\n\n    <li>Dynamic logics for cyber-physical sys
 tems</li>\n\n    <li>Dynamic epistemic logic</li>\
 n\n    <li>Complexity and decidability of variants
  of dynamic logics and temporal logics</li>\n\n   
  <li>Model checking, model generation and theorem 
 proving for dynamic logics</li>\n  </ul>\n</div>
URL:http://workshop.dali.di.uminho.pt/
END:VEVENT
END:VCALENDAR