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
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
\nThis 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
\n \nPro spective participants should send by 21 March 2013 \n the application form, available on the s chool website.\n For more information, see\ n http://www.sti.uniurb.it /events/sfm13ds/\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