This event has already taken place. Check upcoming events
Dependent Types - salvation or plague?
Event:
Dependent Types - salvation or plague?
Event type:
Meetup
Category:
Date:
04.02.2021 (thursday)
Time:
18:00
Language:
English
Price:
Free
City:
Description:
Final preparations for Lambda Days 2021 are in full swing!
You can have a taste of the February event by joining our completely free and open meetup: Dependent Types - salvation or plague?
This panel discussion will be hosted by our well-known Lambda Days Program Committee member, John Hughes, and attended by guests with enthusiastic, or not that much, views on types.
Guests include Stephanie Weirich, Edwin Brady, Adam Chlipala and Thorsten Altenkirch.
Please register here: https://www.airmeet.com/e/4d96c880-5982-11eb-ac04-6124f038041d
See an error in the description or event details?
Log in, by zgłosić zmianę.
