coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: Jeremy Gibbons <jeremy.gibbons AT cs.ox.ac.uk>
To: coq-club AT inria.fr
Cc: Jeremy Gibbons <jeremy.gibbons AT cs.ox.ac.uk>, Susan Eisenbach <s.eisenbach AT imperial.ac.uk>
Subject: [Coq-Club] SIGPLAN John C Reynolds Doctoral Dissertation Award
Date: Sun, 22 Nov 2015 12:02:24 +0000
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=jeremy.gibbons AT cs.ox.ac.uk; spf=None smtp.mailfrom=jeremy.gibbons AT cs.ox.ac.uk; spf=None smtp.helo=postmaster AT relay16.mail.ox.ac.uk
Ironport-phdr: 9a23:PEFH/BeeixUzzzUjgbU33IaylGMj4u6mDksu8pMizoh2WeGdxc+7bR7h7PlgxGXEQZ/co6odzbGG7ua+CSdbvN6oizMrTt9lb1c9k8IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUiv2OQc9HOnpAIma153xjLDvvcODKF4VzBOGIppMbzyO5T3LsccXhYYwYo0Q8TDu5kVyRuJN2GlzLkiSlRuvru25/Zpk7jgC86l5r50IeezAcq85Vb1VCig9eyBwvZWz9EqLcQza7XwFF24SjxBgAg7f7Ri8UI2iiCbisvtB33yhINb/S/gZWC+v6a1iQx+g3DxBOj8i/Wfdg8dwpKNeuB+7phV7hYffJpyWYqlQZKTYKPEXX2dET45+ViZLBYWnJ98NAvAMOPceoIj3rVwItjO1Hk+rFKXmwXlVhSmljuUBz+09HFSej0QbFNUUvSGR9Y2tOQ==

Dear All,

I would like to draw your attention to the SIGPLAN John C. Reynolds Doctoral Dissertation Award. If you are (or will be) a 2015 PhD graduate with a great thesis or a supervisor of such a graduate can I suggest you consider applying? Obtaining such an award makes a person stand out when applying for positions.

The nomination process is straightforward and nominations are due on the 5th of January. Details of the award can be found at http://www.sigplan.org/Awards/Dissertation/ . If you have any questions, please contact Susan Eisenbach (CC'd).

Cheers,

Jeremy

Jeremy.Gibbons AT cs.ox.ac.uk
Oxford University Department of Computer Science,
Wolfson Building, Parks Road, Oxford OX1 3QD, UK.

+44 1865 283521

http://www.cs.ox.ac.uk/people/jeremy.gibbons/

[Coq-Club] SIGPLAN John C Reynolds Doctoral Dissertation Award, Jeremy Gibbons, 11/22/2015