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/11019/9-
 --11-September-2019-13th-Alpine-Verification-Meeti
 ng-AVM-19-Brno-Czech-Republic
DTSTAMP:20190715T142058
SUMMARY:13th Alpine Verification Meeting (AVM'19),
  Brno, Czech Republic
DTSTART;VALUE=DATE:20190909
DTEND;VALUE=DATE:20190911
LOCATION:Brno, Czech Republic
DESCRIPTION:The Alpine Verification Meeting (AVM) 
 is an informal meeting on current problems in form
 al verification. The goal of the meeting is to bri
 ng together researchers from the region to update 
 each other on their research and to have time for 
 discussions about future research as well as possi
 ble collaborations. The meeting is open to the pub
 lic.  The programme of AVM'19 will include three i
 nvited lectures, possibly complemented by two furt
 her talks on applications of verification in the i
 ndustry (under negotiations).Invited speakers are 
 Javier Esparza, Nikos Gorogiannis and Mauro Pezzè.
  The main part of the programme will be devoted to
  research talks by the participants, typically on 
 results they have recently published, submitted fo
 r publication, or on an ongoing research. Students
 , in particular, are encouraged to participate and
  give a talk (though giving a talk is not required
 ).
X-ALT-DESC;FMTTYPE=text/html:\n  <p>The Alpine Ver
 ification Meeting (AVM) is an informal meeting on 
 current problems in formal verification. The goal 
 of the meeting is to bring together researchers fr
 om the region to update each other on their resear
 ch and to have time for discussions about future r
 esearch as well as possible collaborations. The me
 eting is open to the public.</p>\n\n  <p>The progr
 amme of AVM'19 will include three invited lectures
 , possibly complemented by two further talks on ap
 plications of verification in the industry (under 
 negotiations).Invited speakers are Javier Esparza,
  Nikos Gorogiannis and Mauro Pezzè. The main part 
 of the programme will be devoted to research talks
  by the participants, typically on results they ha
 ve recently published, submitted for publication, 
 or on an ongoing research. Students, in particular
 , are encouraged to participate and give a talk (t
 hough giving a talk is not required).</p>\n
URL:https://avm19.fit.vutbr.cz
END:VEVENT
END:VCALENDAR