[TYPES/announce] Research positions in Verification, Logic and Theorem Proving at University College London

James Brotherston J.Brotherston at cs.ucl.ac.uk
Wed Jul 24 06:22:19 EDT 2013


An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20130724/67e7a8a1/attachment.html>


More information about the Types-announce mailing list