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 so...@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. _______________________________________________ fstar-club mailing list fstar-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/fstar-club