coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] MS/PhD in France

From: dimitrisg7 <dvekris AT hotmail.com>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club] MS/PhD in France
Date: Tue, 17 Mar 2009 14:25:07 -0700 (PDT)
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

I am wondering if there are any MS/PhD programs in France on program
verification, type systems and theorem proving in general.
Thanks!
--
View this message in context:
http://www.nabble.com/MS-PhD-in-France-tp22568191p22568191.html
Sent from the Coq mailing list archive at Nabble.com.

[Coq-Club] MS/PhD in France, dimitrisg7
- Re: [Coq-Club] MS/PhD in France, Xavier Leroy