[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-0001.htm>


More information about the HOFA mailing list