[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

Previous message: [TYPES/announce] TACAS 2014 call for papers
Next message: [TYPES/announce] FOPARA+WST 2013 - Call for Participation
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message: [TYPES/announce] TACAS 2014 call for papers
Next message: [TYPES/announce] FOPARA+WST 2013 - Call for Participation
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Types-announce mailing list