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/2017/newsitem/8643/24- September-2017-Workshop-DaLí-–-Dynamic-Logic-new- trends-and-applications DTSTAMP:20170605T144133 SUMMARY:Workshop DaLí – Dynamic Logic: new trends and applications DTSTART;VALUE=DATE:20170924 DTEND;VALUE=DATE:20170924 LOCATION:Brasilia, Brazil DESCRIPTION:Both its theoretical relevance and pra ctical potential make Dynamic Logic a topic of int erest in a number of scientific venues, from wide- scope software engineering conferences to modal lo gic specific events. However, no specific event is exclusively dedicated to it. This workshop aims a t filling fill such a gap, joining an heteroge- ne ous community of colleagues, from Academia to Indu stry, from Mathematics to Computer Science. forum for disseminating and sharing new trends and appli cations of Dynamic Logic. Invited Speakers: Alexa ndru Baltag (UvA), Edward Hermann Haeusler (PUC-Ri o, BR). We invite submissions on the general fiel d of Dynamic Logic, its variants and applications. Authors are invited to submit original papers (un -published and not submitted for publication elsew here) up to 15 pages in lncs style. Accepted paper s will be published in a Springer’s Lecture Notes of Computer Science volume. Submissions with work in progress (abstracts with 2-5 pag) are also welc omed for short presentations. They are subject of a light reviewing and will be available at confere nce in a informal booklet. X-ALT-DESC;FMTTYPE=text/html:
Both its theoretical relevance and practical potential make Dynamic Logic a topic of interest in a number of scientific venues, from wide-scope software engine ering conferences to modal logic specific events. However, no specific event is exclusively dedicate d to it. This workshop aims at filling fill such a gap, joining an heteroge- neous community of coll eagues, from Academia to Industry, from Mathematic s to Computer Science. forum for disseminating and sharing new trends and applications of Dynamic Lo gic.
\n\nInvited Speakers: Alexandru Balta g (UvA), Edward Hermann Haeusler (PUC-Rio, BR).
We invite submissions on the ge neral field of Dynamic Logic, its variants and app lications. Authors are invited to submit original papers (un-published and not submitted for publica tion elsewhere) up to 15 pages in lncs style. Acce pted papers will be published in a Springer’s Lect ure Notes of Computer Science volume. Submissions with work in progress (abstracts with 2-5 pag) are also welcomed for short presentations. They are s ubject of a light reviewing and will be available at conference in a informal booklet.