BEGIN:VCALENDAR
PRODID:NingEventWidget-v1
VERSION:2.0
METHOD:PUBLISH
BEGIN:VTIMEZONE
TZID:Europe/Copenhagen
X-LIC-LOCATION:Europe/Copenhagen
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:5429271:Event:218
DTSTAMP:20260408T173642Z
SUMMARY:FMCO 2010 -  Software Technologies Concertation on Formal Meth
 ods for Components and Objects
DESCRIPTION:Large and complex software systems provide the necessary i
 nfrastucture in all industries today. In order to construct such large
  systems in a systematic manner, the focus in the development methodol
 ogies has switched in the last two decades from functional issues to s
 tructural issues: both data and functions are encapsulated into softwa
 re units which are integrated into large systems by means of various t
 echniques supporting reusability and modifiability. This encapsulation
  principle is essential to both the object-oriented and the more recen
 t component-based sofware engineering paradigms.\n\nThe objective of t
 his symposium is to bring together researchers and practioners in the 
 areas of software engineering and formal methods to discuss the concep
 ts of reusability and modifiability in component-based and object-orie
 nted software systems. This year the above objective will be realized 
 by a concertation meeting of the following European IST projects and n
 etwork in the seventh framework:\n\n* AVANTSSAR, an FP7-STREP project 
 on automated validation of trust and security of service-oriented arch
 itectures.\n* DEPLOY, an FP7-IP project on industrial deployment of ad
 vanced system engineering methods for high productivity and dependabil
 ity.\n* ESF Cost Action IC0701, a European scientific cooperation an f
 ormal verification of object-oriented software.\n* HATS, an FP7-IP pro
 ject on highly adaptable and trustworthy software using formal models.
 \n* INESS, an FP7-IP project on an integrated European railway signall
 ing system.\n* MADES, an FP7-STREP project on a model-driven approach 
 to improve the current practice in the development of embedded systems
 .\n* MOGENTES, an FP7-STREP project on model-based generation of tests
  for dependable embedded systems.\n* MULTIFORM, an FP7-STREP project o
 n integrated multi-formalism tool support for the design of networked 
 embedded control systems.\n* QUASIMODO, an FP7-STREP project on quanti
 tative system properties in model-driven-design of embedded systems.\n
 \nThe symposium is a three days event organized to provide an atmosphe
 re that fosters collaborative work, discussions and interaction. As ev
 ery year, we plan to publish the contributions of the speakers after t
 he symposium in volume of Lecture Notes in Computer Science by Springe
 r-Verlag.\n\nFor more information visit https://mades-project.ning.com
 /events/fmco-2010-software
DTSTART;TZID=Europe/Copenhagen:20101129T210000
DTEND;TZID=Europe/Copenhagen:20111101T190000
CATEGORIES:symposia
LOCATION:Graz Austria
WEBSITE:
URL:
CONTACT:http://fmco.liacs.nl/fmco10.html
ORGANIZER:Bernhard K. Aichernig, (IST, Graz University of Technology, 
 Austria )
ATTACH;FMTTYPE="image/jpeg":
ATTENDEE;ROLE=REQ-PARTICIPANT;PARTSTAT=ACCEPTED;RSVP=TRUE;CN="Alessand
 ra Bagnato":https://mades-project.ning.com/profile/AlessandraBagnato
END:VEVENT
END:VCALENDAR