Bas Spitters
2018-08-26 13:39:24 UTC
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
***@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.
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
***@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.