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:
Log in, by zgłosić zmianę.
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
