Top of this page
Skip navigation, go straight to the content
Inloggen
TU/e A tot Z
FAQ
English
Beeldscherm
Contact
Startpagina
Onderwijs
Onderzoek
De Universiteit
Faculteiten
Diensten
Bibliotheek
Faculteit Wiskunde & Informatica
TU/e
/
...
/
Faculteiten
/
W&I
/
Onderzoek
/
Onderzoek informatica
/
Formal methods
/
Events
Home Faculteit
Research
Members
Events
Courses
Contact
Links
2009
15 - 17 April IPA Lentedagen on Algorithms for Data Analysis & Visualization
2 - 5 June IPA Course Software Technology & Engineering
2 - 6 Nov. FM2009 16th International Symposium on Formal Methods
23 - 27 Nov. IPA Herfstdagen on Quantitative Methods for Embedded Systems
2007
3 - 5 April IPA Lentedagen on Service-oriented Computing
25 - 29 June IPA Basic Course on Algorithms & Complexity
2006
19 - 21 April IPA Lentedagen on Testing
6 June SuperTuesday
Past events
2004
2003
2002