[ The Types Forum (announcements only),
*** Apologies for receiving multiple copies of this email ***
We would like to inform you upon the opening of the Master program :
"Foundations of Computer Science : Design and Validation"
at the University of Grenoble (France) starting in the Fall of 2008.
This 2nd year of master program is intended for students wishing to
complete their diploma studies within one of the research teams involved
(see the list of associated
teams below) and/or to pursue later a PhD course. More information can
be found at :
The course material will be provided in English, however some basic
knowledge of the French language is needed.
For all additional information, please contact :
Rachid Echahed : [EMAIL PROTECTED]
Pascal Lafourcade : [EMAIL PROTECTED]