BEGIN:VCALENDAR
BEGIN:VEVENT
SUMMARY:16th International Conference on Formal Aspects of Component Softw
 are (FACS 2019)
DTSTART:20191023T070000Z
DTEND:20191025T150000Z
UID:ac6e229c-b134-4e8a-8cbe-9a4408241726
DESCRIPTION:Call for Papers: FACS 2019 FACS 2019 is concerned with how for
 mal methods can be applied to component-based software and system developm
 ent. Formal methods have provided foundations for component-based software
  through research on mathematical models for components\, composition and 
 adaptation\, and rigorous approaches to verification\, deployment\, testin
 g\, and certification. See website for more information.\n\nContact:\nSung
 -Shik Jongmans\nsee website\n\nLocation:\nRoom L016 at CWI\, Science Park 
 123 in Amsterdam
LOCATION:Room L016 at CWI\, Science Park 123 in Amsterdam
END:VEVENT
END:VCALENDAR