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/2017/newsitem/9231/12-
 --16-September-2017-1st-Summer-School-on-Formal-Me
 thods-for-Cyber-Physical-Systems-Verona-Italy
DTSTAMP:20170727T145444
SUMMARY:1st Summer School on Formal Methods for Cy
 ber-Physical Systems, Verona, Italy
DTSTART;VALUE=DATE:20170912
DTEND;VALUE=DATE:20170916
LOCATION:Verona, Italy
DESCRIPTION:The 1st Summer School on Formal Method
 s for Cyber-Physical Systems (FM-CPS) focuses on t
 he foundations, techniques, and tools for analysis
 , verification, control, synthesis, implementation
 , and applications of cyber-physical systems (CPS)
 . Applications deal broadly with engineering and n
 atural systems, including signal circuits, robotic
 s, automotive and avionics, large-scale infrastruc
 ture networks, as well as biochemical and physiolo
 gical processes.  This first edition of the school
  has the goal of presenting the state of the art o
 f the current techniques in controller synthesis f
 or hybrid systems, to enable doctoral students and
  young researchers to advance the field and apply 
 the developed methodologies to concrete scenarios 
 promoting their application in the industrial prac
 tice. The control synthesis problem will be addres
 sed both in the discrete domain and in the timed/h
 ybrid one with techniques ranging from supervisory
  control, to synthesizing strategies in a two-play
 er game, and to control-theoretic techniques.  The
  school will include tutorial presentations as wel
 l as laboratory sessions that will allow the stude
 nts to apply the concepts introduced during the le
 ctures in a laboratory set-up.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>The 1st Summer
  School on Formal Methods for Cyber-Physical Syste
 ms (FM-CPS) focuses on the foundations, techniques
 , and tools for analysis, verification, control, s
 ynthesis, implementation, and applications of cybe
 r-physical systems (CPS). Applications deal broadl
 y with engineering and natural systems, including 
 signal circuits, robotics, automotive and avionics
 , large-scale infrastructure networks, as well as 
 biochemical and physiological processes.</p>\n\n  
 <p>This first edition of the school has the goal o
 f presenting the state of the art of the current t
 echniques in controller synthesis for hybrid syste
 ms, to enable doctoral students and young research
 ers to advance the field and apply the developed m
 ethodologies to concrete scenarios promoting their
  application in the industrial practice. The contr
 ol synthesis problem will be addressed both in the
  discrete domain and in the timed/hybrid one with 
 techniques ranging from supervisory control, to sy
 nthesizing strategies in a two-player game, and to
  control-theoretic techniques.</p>\n\n  <p>The sch
 ool will include tutorial presentations as well as
  laboratory sessions that will allow the students 
 to apply the concepts introduced during the lectur
 es in a laboratory set-up.</p>\n
URL:https://cps-2017.di.univr.it/school-editions/2
 017
CONTACT:marta.capiluppi at univr.it
CONTACT:pietro.sala at univr.it
CONTACT:tiziano.villa at univr.it
END:VEVENT
END:VCALENDAR