Lambda-Calculus and Dependent Type Theory

Hello Fellow Lambdaheads!

There is an event hosted by the math department of the University of Vienna. I have no affiliation to said event whatsoever and I announce this only because I think it might be interesting to you - I myself do not know whether I can attend it.

Lambda Calculus and Dependent Type Theory by Dana S. Scott (Carnegie Mellon University, Pittsburgh, Pennsylvania, USA and UC Berkeley, California, USA) is a talk in the setting of Summer School at the Department of Mathematics.

More information about the event you can find at http://plone.mat.univie.ac.at/events/2015/lambda-calculus-and-dependent-type-theory

I hope this is interesting to all of you - Martin

PS.: Do not ask for meetup - for I did not tell them that I will announce this here, because I just found this out myself today.