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/2019/newsitem/11158/23
 ---25-October-2019-16th-International-Conference-o
 n-Formal-Aspects-of-Component-Software-FACS-2019-A
 msterdam-The-Netherlands
DTSTAMP:20190926T170559
SUMMARY:16th International Conference on Formal As
 pects of Component Software (FACS 2019), Amsterdam
 , The Netherlands
DTSTART;VALUE=DATE:20191023
DTEND;VALUE=DATE:20191025
LOCATION:Amsterdam, The Netherlands
DESCRIPTION:Component-based software development p
 roposes sound engineering principles and technique
 s to cope with the complexity of present-day softw
 are systems. However, many challenging conceptual 
 and technological issues remain in component-based
  software development theory and practice. Further
 more, the advent of service-oriented and cloud com
 puting, cyber-physical systems, and the Internet o
 f Things has brought to the fore new dimensions, s
 uch as quality of service and robustness to withst
 and faults, which require revisiting established c
 oncepts and developing new ones.  FACS 2019 is con
 cerned with how formal methods can be applied to c
 omponent-based software and system development. Fo
 rmal methods have provided foundations for compone
 nt-based software through research on mathematical
  models for components, composition and adaptation
 , and rigorous approaches to verification, deploym
 ent, testing, and certification.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>Component-base
 d software development proposes sound engineering 
 principles and techniques to cope with the complex
 ity of present-day software systems. However, many
  challenging conceptual and technological issues r
 emain in component-based software development theo
 ry and practice. Furthermore, the advent of servic
 e-oriented and cloud computing, cyber-physical sys
 tems, and the Internet of Things has brought to th
 e fore new dimensions, such as quality of service 
 and robustness to withstand faults, which require 
 revisiting established concepts and developing new
  ones.</p>\n\n  <p>FACS 2019 is concerned with how
  formal methods can be applied to component-based 
 software and system development. Formal methods ha
 ve provided foundations for component-based softwa
 re through research on mathematical models for com
 ponents, composition and adaptation, and rigorous 
 approaches to verification, deployment, testing, a
 nd certification.</p>\n
URL:http://facs2019.org/
END:VEVENT
END:VCALENDAR