coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] John C. Reynolds Doctoral Dissertation Award

From: Jeremy.Gibbons AT cs.ox.ac.uk
To: coq-club AT inria.fr
Subject: [Coq-Club] John C. Reynolds Doctoral Dissertation Award
Date: Tue, 25 Oct 2016 19:27:02 +0100
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=Jeremy.Gibbons AT cs.ox.ac.uk; spf=Pass smtp.mailfrom=Jeremy.Gibbons AT cs.ox.ac.uk; spf=None smtp.helo=postmaster AT relay16.mail.ox.ac.uk

Dear all,

If this year one of your PhD students has graduated and the thesis was
outstanding, please consider proposing it for the John C. Reynolds Doctoral
Dissertation Award. See http://www.sigplan.org/Awards/Dissertation/ for
details.

Best wishes,
Susan
--
Professor Susan Eisenbach
Department of Computing
Imperial College London
London SW7 2AZ, U.K.

[Coq-Club] John C. Reynolds Doctoral Dissertation Award, Jeremy . Gibbons, 10/25/2016
- Re: [Coq-Club] John C. Reynolds Doctoral Dissertation Award, Robert Merkin, 10/26/2016
  - Re: [Coq-Club] John C. Reynolds Doctoral Dissertation Award, Robert Merkin, 10/27/2016
    - Re: [Coq-Club] John C. Reynolds Doctoral Dissertation Award, Robert Solovay, 10/27/2016