[TYPES/announce] Call for participation: CAV 2011

[Nikhil Swamy]

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.

--Nikhil
-------------- 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>