1st AVACS Spring School

March 15-19, 2010      Oldenburg, Germany organised with Artist partners 

1st AVACS Spring School

"Automatic Verification and Analysis of Complex Systems" is a spring school focussing on automated formal methods in computer science and their application to the analysis and verification of complex embedded systems. Targeting primarily PhD students and young researchers with an interest in safety-critical embedded systems, the technical program comprises talks from 17 specialists in the field of automated formal methods, covering the range from hard real-time systems over hybrid systems to dynamically restructuring systems of systems.

Further information

  • Full information is available online.

(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009

Réalisation Axome - Création de sites Internet