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/2013/newsitem/4847/17-
 22-June-2013-13th-International-School-on-Formal-M
 ethods-for-the-Design-of-Computer-Communication-an
 d-Software-Systems-Dynamic-Systems-SFM-13-DS-Berti
 noro-Italy
DTSTAMP:20130123T000000
SUMMARY:13th International School on Formal Method
 s for the Design of  Computer, Communication and S
 oftware Systems: Dynamic Systems (SFM-13:DS), Bert
 inoro, Italy
DTSTART;VALUE=DATE:20130617
DTEND;VALUE=DATE:20130622
LOCATION:Bertinoro, Italy
DESCRIPTION:Formal methods are emerging in compute
 r science as a prominent approach to the rigorous 
 design of computer, communication and software sys
 tems. The aim of the SFM series is to offer a good
  spectrum of current research in foundations as we
 ll as applications of formal methods, which can be
  of interest for graduate students and young resea
 rchers who intend to approach the field.   This ye
 ar SFM is an offspring of the workshops QAPL and M
 LQA and is devoted to dynamical systems. It covers
  topics such as chaotic dynamics, information theo
 ry, systems biology, hybrid systems, quantum compu
 ting, and automata-based models and model checking
 .   Prospective participants should send by 21 Mar
 ch 2013 the application form, available on the sch
 ool website. For more information, see http://www.
 sti.uniurb.it/events/sfm13ds/
X-ALT-DESC;FMTTYPE=text/html:\n      <p>Formal met
 hods are emerging in computer science as a\n      
 prominent approach to the rigorous design of compu
 ter,\n      communication and software systems. Th
 e aim of the SFM series is\n      to offer a good 
 spectrum of current research in foundations as\n  
     well as applications of formal methods, which 
 can be of interest\n      for graduate students an
 d young researchers who intend to\n      approach 
 the field.\n      </p>\n      <p>This year SFM is 
 an offspring of the workshops QAPL and MLQA\n     
    and is devoted to dynamical systems. It covers 
 topics such as\n        chaotic dynamics, informat
 ion theory, systems biology, hybrid systems,\n    
     quantum computing, and automata-based models a
 nd model checking.\n      </p>\n    \n      <p>Pro
 spective participants should send by 21 March 2013
 \n        the application form, available on the s
 chool website.\n        For more information, see\
 n        <a target="_blank" href="http://www.sti.u
 niurb.it/events/sfm13ds/">http://www.sti.uniurb.it
 /events/sfm13ds/</a>\n      </p>\n    
URL:/NewsandEvents/Archives/2013/newsitem/4847/17-
 22-June-2013-13th-International-School-on-Formal-M
 ethods-for-the-Design-of-Computer-Communication-an
 d-Software-Systems-Dynamic-Systems-SFM-13-DS-Berti
 noro-Italy
END:VEVENT
END:VCALENDAR