[TYPES/announce] PhD in Computer Science at Ca' Foscari University, Venice. Deadline: May 27th

Bugliesi Michele michele at dsi.unive.it
Fri May 24 06:30:38 EDT 2013

Previous message: [TYPES/announce] Software Verification and Testing Track at ACM SAC 2014: 1st CfP
Next message: [TYPES/announce] Conference "Type Theory, Homotopy Theory and Univalent Foundations"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20130524/9d88c494/attachment.html>

Previous message: [TYPES/announce] Software Verification and Testing Track at ACM SAC 2014: 1st CfP
Next message: [TYPES/announce] Conference "Type Theory, Homotopy Theory and Univalent Foundations"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Types-announce mailing list