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/2025/newsitem/15825/31
 -October-2025-Workshop-on-deriving-revising-and-ve
 rifying-concepts-and-programs
DTSTAMP:20251006T022910
SUMMARY:Workshop on deriving, revising, and verify
 ing concepts and programs
DTSTART;TZID=Europe/Amsterdam:20251031T091500
DTEND;TZID=Europe/Amsterdam:20251031T120000
LOCATION:Amsterdam (new UB)
DESCRIPTION:This workshop takes place on the occas
 ion of Raoul Koudijs' PhD defense. It features tal
 ks about deriving and/or revising logical concept 
 based on data examples, as well as an introductory
  talk about Dafny, a Hoare-logic inspired language
  used for the formal specification and verificatio
 n of programs.  Speakers: Jean Christoph Jung - TU
  Dortmondt, Ana Ozaki - University of Oslo, Montse
 rrat Hermo - University of the Basque Country (*ov
 er zoom)
X-ALT-DESC;FMTTYPE=text/html:\n  <p>This workshop 
 takes place on the occasion of Raoul Koudijs' PhD 
 defense. It features talks about deriving and/or r
 evising logical concept based on data examples, as
  well as an introductory talk about Dafny, a Hoare
 -logic inspired language used for the formal speci
 fication and verification of programs.</p>\n  <p>S
 peakers: Jean Christoph Jung - TU Dortmondt, Ana O
 zaki - University of Oslo, Montserrat Hermo - Univ
 ersity of the Basque Country (*over zoom)</p>\n
URL:https://sites.google.com/view/dravcap
CONTACT:Balder ten Cate at b.d.tencate at uva.nl
END:VEVENT
END:VCALENDAR