[Agda] 8,9 Oct: EUTypes meeting in Aarhus

[Bas Spitters]

8,9 Oct: EUTypes meeting in Aarhus (DK)
http://cs.au.dk/research/logic-and-semantics/eutypes2018/
Topics include:
Homotopy type theory
Types and security
Concurrent separation logic
...

Invited speakers:
- Nick Benton
- Ales Bizjak
- Johannes Hölzl
- Robbert Krebbers
- Peter Lumsdaine
- Anders Mortberg
- Arnaud Spiwack
- P-Y Strub

Registrations & financial support

If you are planning to participate, please send an email to
sofia at cs.au.dk and indicate:
-   Dates of arrival and departure
-   Would you like to speak ? If so, send a title and an abstract (and
optionally a picture) before Sun Sept 9 23:59 CEST
-   Would you like apply for financial support from EUTypes COST
network? Deadline: Sun Sept 9 23:59 CEST.