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:
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
\nThe 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
\nIn 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
\n \nFURTHER INFORMA
TION
\n Web site: htt
p://automata.rwth-aachen.de/movep2010/
\n
Email: movep2010 at automata.rwth-aachen.de\n