Sunday, July 15, 2012

Paraty 2012

I've been invited to give a talk at
Proof Theory: Linear Logic, Ludics and Geometry of Interaction. 
yay!!!

The link is here, but I don't think there's much information there, yet.
Posted by at

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)