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/2020/newsitem/11626/9- --10-October-2020-3rd-International-Workshop-on-Dy namic-Logic-New-Trends-and-Applications-DaLi-2020- Online DTSTAMP:20201004T190329 SUMMARY:3rd International Workshop on Dynamic Logi c: New Trends and Applications (DaLi 2020), Online DTSTART;VALUE=DATE:20201009 DTEND;VALUE=DATE:20201010 LOCATION:Online 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. Invited Speakers: Natasha Alechina and J ohan van Benthem. Given the worsening epidemiolog ical situation, the organizers have decided to hol d DaLi as an online workshop via Zoom. Submission s are invited on the general field of dynamic logi c, its variants and applications. Submissions of o riginal papers (unpublished and not submitted for publication elsewhere), up to 15 pages in LNCS sty le, are invited through EasyChair. 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.
\n\nInvited Speakers: Natasha Alechina and Johan van B enthem.
\n\nGiven the worsening epidemiolo gical situation, the organizers have decided to ho ld DaLi as an online workshop via Zoom.
Submissions are invited on the general field of dynamic logic, its variants and applicati ons. Submissions of original papers (unpublished a nd not submitted for publication elsewhere), up to 15 pages in LNCS style, are invited through EasyC hair.
URL:http://www.cs.cas.cz/dali2020/ CONTACT:martins at ub.pt CONTACT:sedlar at cs.cas.cz END:VEVENT END:VCALENDAR