addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobegmailgooglegroupshelp-with-circleimageimagesinstagramlinklocation-pinm-swarmSearchmailmessagesminusmoremuplabelShape 3 + Rectangle 1ShapeoutlookpersonJoin Group on CardStartprice-ribbonShapeShapeShapeShapeImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruserwarningyahoo

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.


Join or login to comment.

3 went

People in this
Meetup are also in:

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy