To wydarzenie już się odbyło. Sprawdź nadchodzące wydarzenia
Dependent Types - salvation or plague?
Wydarzenie:
Dependent Types - salvation or plague?
Typ wydarzenia:
Spotkanie
Kategoria:
Data:
04.02.2021 (czwartek)
Godzina:
18:00
Język:
angielski
Wstęp:
Bezpłatne
Miasto:
Miejsce:
Online Event
Adres:
On your computer
Zaloguj się, by zgłosić zmianę.
Opis:
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
