coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] 8,9 Oct: EUTypes meeting in Aarhus

From: Bas Spitters <b.a.w.spitters AT gmail.com>
To: eutypes AT cs.ru.nl, Coq Club <coq-club AT inria.fr>, Agda List <agda AT lists.chalmers.se>, lean-user <lean-user AT googlegroups.com>, isabelle-users AT cl.cam.ac.uk, EasyCrypt Club <easycrypt-club AT lists.gforge.inria.fr>, fstar-club AT lists.gforge.inria.fr
Subject: [Coq-Club] 8,9 Oct: EUTypes meeting in Aarhus
Date: Sun, 26 Aug 2018 15:39:24 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=b.a.w.spitters AT gmail.com; spf=Pass smtp.mailfrom=b.a.w.spitters AT gmail.com; spf=None smtp.helo=postmaster AT mail-yb0-f181.google.com
Ironport-phdr: 9a23:UnM0KxBXUTxBXPvn5arxUyQJP3N1i/DPJgcQr6AfoPdwSP37p8WwAkXT6L1XgUPTWs2DsrQY07WQ6/iocFdDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhEmDiwbaluIBmqsA7cqtQYjYx+J6gr1xDHuGFIe+NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjDQhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VC+85Kl3VhDnlCYHNyY48G7JjMxwkLlbqw+lqxBm3oLYfJ2ZOP94c6jAf90VWHBBU95eWCJBDI2ybJYBAfQdMuhXtIT9u0IOoAGiCQWwGO/iyDlFjWL2060g1OQhFBnL0RE6ENIVrX/asc31NKYOUeCp0qbI1y7DZO5R1Djm8oTHaAotoP+WUbJracrRyFUvFx/bgVWKsozoJDyV1uEXvGia6+psT/6gi2kiqwxopDWk28kiio7Mho0Py1DE8z10z5woJdGiVUF7YtipG4ZTuSGCL4Z6XN8uTmVytCs5yrAKo4C3cDUExZg92hLSaOGLfo6V6Rz5TumROy13hHd9dbK/mRmy9U+gx/X5Vsau0VZKqjNJk9nXuXwRzhDT5NWLR/hg8ku71jaP0AfT6u5AIU8qj6bUN5khwrsompoSt0TMADP2lV3ogKOKckgo4Oul5uT9brn4u5OROZV4hhz9P6gzgsC/BP43MgkKX2iV4+S807jj8FXiT7lQlPI6iKfYvIrBJcQDp665HxNV3Zg56xakFDqm39EYkmMGLFJBYh6Ik4/pO1TWLPDiEfi/m0iskCtsx/3eIrLhBYzNImHfn7flYLZy8FVRyBEzzNBa/5JbEKsNIPP1Wk/rtdzXFAU1MwKuw7WvNNIo254CSHqCGYeSK+XIrBmO4qZnCO6VLKQRpTy1f/Mi/rvliWIzsV4bZ6igm5UNPjTwN/tqKg29YGHwyoMIHmsDlg4/V/DxzlaCWDpWamypGbkxsHVzDI+vC8LeXY23yOiF0S69W4BNa3puBVeLHnPleJ+DRu8XLimVJ5kl2j0fXLKsT4sskAy1uRXh47FjaOHd/2sRvtT+15w9yuTIhDoo5CRoR++ZzmvFG2x9hXIDXS4uwOV0pVF34lOCyrRjxfNWEsZc6rVIVB07PNjS1bo+Q97pRgvbO9yNVVyORtS9HSp3Qdw22dADJUd7AdSryB7ZjASwBLpAvbWQTKcs877A0mLqb5J3jX+Ay+86l1g6XsZVLkWpg6d+807YAIufwBbRrLqjaalJhH2Fz2yE12fb+RgACFchA5WAZmgWYw7tlfq840rDS7G0DrF+a1lOzMeDLu1Bbdi71AwaFsemA8zXZieKo0n1HQyBn+reY4/jemFb1yLYWhBdzlIjuE2ePA17PR+P5mLTCDs0SwDqakLotPh08Da1Fx9tiQ6NaEJl2vy+/RtH3fE=

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.

[Coq-Club] 8,9 Oct: EUTypes meeting in Aarhus, Bas Spitters, 08/26/2018