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/2010/newsitem/3356/28-
 June-to-2-July-2010-9th-Summer-School-on-Modelling
 -and-Verifying-Parallel-Processes-MOVEP-2010-Aache
 n-Germany-
DTSTAMP:20100425T000000
SUMMARY:28 June to 2 July 2010, 9th Summer School 
 on Modelling and Verifying  Parallel Processes (MO
 VEP 2010), Aachen (Germany)
DTSTART;VALUE=DATE:20100628
DTEND;VALUE=DATE:20100702
LOCATION:Aachen (Germany)
DESCRIPTION:MOVEP is a 5 day summer school about m
 odelling and verifying parallel processes. The fir
 st five occurrences of the School took place in Na
 ntes (France) every two years from 1994 to 2002. T
 he next editions were held in Brussels (Belgium) i
 n December 2004, in Bordeaux (France) in June 2006
 , and in Orleans (France) in June 2008.   The purp
 ose of MOVEP is to bring together researchers, stu
 dents and people from industry working in the fiel
 ds of control and verification of concurrent and r
 eactive systems. The school seeks to offer a broad
  spectrum of current research in this area of theo
 retical and applied computer science. The topics c
 overed by MOVEP 2010 include model checking, testi
 ng, synthesis, real-time and hybrid systems, games
 , stochastic systems, security, computational syst
 ems biology etc.   In addition to the tutorials an
 d talks, there will be special sessions where Ph.D
 . students have the possibility to present their o
 n-going research.   FURTHER INFORMATION  Web site:
  http://automata.rwth-aachen.de/movep2010/  Email:
  movep2010 at automata.rwth-aachen.de  Extended ab
 stracts have to be submitted electronically until 
 May 21st (see the web site for detailed submission
  instructions).
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>MOVEP
  is a 5 day summer school about modelling and veri
 fying\n      parallel processes.  The first five o
 ccurrences of the School\n      took place in Nant
 es (France) every two years from 1994 to 2002.\n  
     The next editions were held in Brussels (Belgi
 um) in December\n      2004, in Bordeaux (France) 
 in June 2006, and in Orleans (France)\n      in Ju
 ne 2008.\n      </p>\n      <p>The purpose of MOVE
 P is to bring together researchers,\n      student
 s and people from industry working in the fields o
 f\n      control and verification of concurrent an
 d reactive systems.\n      The school seeks to off
 er a broad spectrum of current research\n      in 
 this area of theoretical and applied computer scie
 nce. The\n      topics covered by MOVEP 2010 inclu
 de model checking, testing,\n      synthesis, real
 -time and hybrid systems, games, stochastic\n     
  systems, security, computational systems biology 
 etc.\n      </p>\n      <p>In addition to the tuto
 rials and talks, there will be special sessions\n 
        where Ph.D.  students have the  possibility
  to present  their on-going\n        research.\n  
       \n      </p>\n    \n      <p>FURTHER INFORMA
 TION<br/>\n        Web site: <a target="_blank" hr
 ef="http://automata.rwth-aachen.de/movep2010/">htt
 p://automata.rwth-aachen.de/movep2010/</a><br/>\n 
        Email: <a class="email">movep2010 <span cla
 ss="at">at</span> automata.rwth-aachen.de</a>\n   
    </p>\n    </div><div>Extended abstracts have to
  be submitted electronically until\n        May 21
 st (see the web site for detailed submission instr
 uctions).</div>
URL:/NewsandEvents/Archives/2010/newsitem/3356/28-
 June-to-2-July-2010-9th-Summer-School-on-Modelling
 -and-Verifying-Parallel-Processes-MOVEP-2010-Aache
 n-Germany-
END:VEVENT
END:VCALENDAR