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, …)

The number of participants are limited to 20

Deadline is June 8

Réalisation Axome - Création de sites Internet