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:<div>\n  <p>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.</p>\n\n  <p>Invited Speakers: Alexandru Balta
 g (UvA), Edward Hermann Haeusler (PUC-Rio, BR).</p
 >\n</div><div>\n  <p>We invite submissions on the 
 general field of Dynamic Logic, its variants and a
 pplications. Authors are invited to submit origina
 l papers (un-published and not submitted for publi
 cation elsewhere) up to 15 pages in lncs style. Ac
 cepted papers will be published in a Springer’s Le
 cture Notes of Computer Science volume. Submission
 s with work in progress (abstracts with 2-5 pag) a
 re also welcomed for short presentations. They are
  subject of a light reviewing and will be availabl
 e at conference in a informal booklet.</p>\n</div>
URL:http://workshop.dali.di.uminho.pt/
CONTACT:Alexandre Madeira at madeira at ua.pt
END:VEVENT
END:VCALENDAR