[TYPES/announce] Call for participation: EUTypes Meeting Nijmegen, January 22-24, 2018

[Herman Geuvers]

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