Another fun event announced this week. In Gothenburg:
http://clt.gu.se/event/2014-04-27/type-theory-workshop-eacl-2014
(they probably need a picture in their page, I chose one at random, as I've never been there...)
http://clt.gu.se/event/2014-04-27/type-theory-workshop-eacl-2014
(they probably need a picture in their page, I chose one at random, as I've never been there...)
No comments:
Post a Comment