[TYPES/announce] Call for participation: CAV 2011

Nikhil Swamy nswamy at microsoft.com
Sun Jun 12 23:36:38 EDT 2011

I'm posting this to the list on behalf of Shaz Qadeer and Ganesh Gopalakrishnan, the chairs of CAV 2011. CAV this year includes a number of workshops and tutorials in which types feature prominently.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20110613/c146c6ad/attachment.html>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: cav-participation.txt
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20110613/c146c6ad/attachment.txt>

More information about the Types-announce mailing list