Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] MS/PhD in France

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] MS/PhD in France


chronological Thread 
  • From: Xavier Leroy <Xavier.Leroy AT inria.fr>
  • To: dimitrisg7 <dvekris AT hotmail.com>
  • Cc: coq-club AT pauillac.inria.fr
  • Subject: Re: [Coq-Club] MS/PhD in France
  • Date: Wed, 18 Mar 2009 13:59:13 +0100
  • 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.

In Paris, there is the MPRI graduate curriculum:

  http://mpri.master.univ-paris7.fr/english/index.html

It offers courses in all the topics you mentioned and more.

- Xavier Leroy





Archive powered by MhonArc 2.6.16.

Top of Page