ARTIST Graduate Course: Automated Formal Methods for Embedded Systems - 2010

June 14-22, 2010      DTU - Lyngby, Denmark organised and funded by ARTIST 

Registration

Registration

By email to Associate Professor Michael R. Hansen.

Please use subject: PhD course on automated formal methods for embedded systems

In the email indicate:
- name
- affiliation
- status (PhD student, teacher, industry, …)

Deadline is June 7, 2010

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

Réalisation Axome - Création de sites Internet