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/2022/newsitem/13563/13
 ---17-June-2022-15th-Summer-School-on-Modelling-an
 d-Verification-of-Parallel-Processes-MOVEP2022-Aal
 borg-Denmark
DTSTAMP:20220426T160909
SUMMARY:15th Summer School on Modelling and Verifi
 cation of Parallel Processes (MOVEP2022), Aalborg,
  Denmark
DTSTART;VALUE=DATE:20220613
DTEND;VALUE=DATE:20220617
LOCATION:Aalborg, Denmark
DESCRIPTION:MOVEP is a five-day summer school on m
 odelling and verification of infinite state system
 s. It aims to bring together researchers and stude
 nts working in the fields of control and verificat
 ion of concurrent and reactive systems.  MOVEP 202
 2 will consist of ten invited tutorials. In additi
 on, there will be special sessions that allow PhD 
 students to present their on-going research (each 
 talk will last around 20 minutes). Extended abstra
 cts (1-2 pages) of these presentations will be pub
 lished in informal proceedings.  The organisation 
 committee is closely monitoring the COVID situatio
 n. Currently, we are planning for an in-person sch
 ool in Aalborg with the possibility for remote par
 ticipation for those that cannot attend in person.
  Should it become necessary, the school will be he
 ld virtually.  We encourage participants to presen
 t their (ongoing or published) work. Talks will la
 st around 20 minutes. 1-2 page abstracts (no parti
 cular format is required) should be submitted via 
 easychair:
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>MOVEP is 
 a five-day summer school on modelling and verifica
 tion of infinite state systems. It aims to bring t
 ogether researchers and students working in the fi
 elds of control and verification of concurrent and
  reactive systems.</p>\n  <p>MOVEP 2022 will consi
 st of ten invited tutorials. In addition, there wi
 ll be special sessions that allow PhD students to 
 present their on-going research (each talk will la
 st around 20 minutes). Extended abstracts (1-2 pag
 es) of these presentations will be published in in
 formal proceedings.</p>\n  <p>The organisation com
 mittee is closely monitoring the COVID situation. 
 Currently, we are planning for an in-person school
  in Aalborg with the possibility for remote partic
 ipation for those that cannot attend in person. Sh
 ould it become necessary, the school will be held 
 virtually.</p>\n</div><div>\n  <p>We encourage par
 ticipants to present their (ongoing or published) 
 work. Talks will last around 20 minutes. 1-2 page 
 abstracts (no particular format is required) shoul
 d be submitted via easychair:</p>\n</div>
URL:https://movep2022.cs.aau.dk/
END:VEVENT
END:VCALENDAR