[hofa] Fwd: [TYPES/announce] 2-year postdoc position on static analysis in the University of Oxford
David Van Horn
dvanhorn at ccs.neu.edu
Fri Aug 24 12:49:28 PDT 2012
-------- Original Message --------
Subject: [TYPES/announce] 2-year postdoc position on static analysis in
the University of Oxford
Date: Mon, 13 Aug 2012 13:52:46 +0100
From: Hongseok Yang <hongseok00 at gmail.com>
To: types-announce at lists.seas.upenn.edu
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.lambda-calcul.us/pipermail/hofa-lambda-calcul.us/attachments/20120824/a9689810/attachment.htm>
More information about the HOFA
mailing list