[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear all,
I would like to call for participation in the next EUTypes Meeting which
will take place:
January 22-24, 2018
Nijmegen (Radboud University)
The Netherlands
https://eutypes.cs.ru.nl/Meetings/EUTYPES2018
The details of the program are still to be fixed.
The afternoon of January 22 will be devoted to the legacy of Vladimir
Voevodsky who passed away recently and has had a lasting influence on
the field of type theory.
Outline of the program:
January 22
Morning: general talks
Conor McBride, Brigitte Pientka, Gabriel Scherer
Afternoon: talks to commemorate the legacy of Vladimir Voevodsky
Andrej Bauer, Thierry Coquand, Nicolas Tabareau
January 23
Morning: Talks on Theoretical Foundations (Working group 1)
Afternoon: Talks on Types for Verification (Working group 4)
Evening: Conference diner
January 24
Morning: Talks on Types for Programming (Working group 3)
Afternoon: Talks on Type-theoretic Tools (Working group 2)
EUTypes is an EU-Cost action that wants to encourage research in type
theory from various perspectives. The meetings aim at gathering the
diverse audience of the European community of researchers in type theory.
See the webpage for registration details.
Best regards,
Herman Geuvers
