coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] Workshop on Categorical Logic and Univalent Foundations: Deadline Approaching
Chronological Thread
- From: Christian Sattler <sattler.christian AT gmail.com>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] Workshop on Categorical Logic and Univalent Foundations: Deadline Approaching
- Date: Sun, 12 Jun 2016 17:14:33 +0100
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=sattler.christian AT gmail.com; spf=Pass smtp.mailfrom=sattler.christian AT gmail.com; spf=None smtp.helo=postmaster AT mail-wm0-f67.google.com
- Ironport-phdr: 9a23:0q48xR3GMFtyqocbsmDT+DRfVm0co7zxezQtwd8ZsegSIvad9pjvdHbS+e9qxAeQG96LurQU06GG7ejJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd6DyZTvnLDss7ToICx2xxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cY6Lod8JtLVry/dKAlR5RZCi4nOiY7/p7Frx7GGCCP/HoHTmQflFJzChTZ6BzgFsPquzfmsudnniKaJ8ztUbE9Xxyt6q5qTFnjjyJRZG1xy33elsEl1PETmxmmvREqm4M=
|
Dear all,
We would like to kindly remind about the registration and
abstract submission deadline this week for the workshop on
Categorical Logic and Univalent Foundations, held at the
University of Leeds (UK) from July 27 to 29
and immediately preceding the Logic Colloquium 2016. The
workshop will be quite informal and include time for open
discussions. Talks are invited concerning all aspects of
homotopy type theory and univalent foundations, the scope of the
workshop being very broad.
Please see the workshop website for details: http://hott16.leeds.ac.uk/
Important dates:
* June 15: Deadline for registration
and abstract submission
* July 27-29: The workshop
Confirmed Invited speakers:
- Steve Awodey, Carnegie Mellon University
- Andrej Bauer, University of Ljubljana
- Robert Harper, Carnegie Mellon University
- Matthieu Sozeau, Inria
We look forward to seeing you in Leeds!
Christian Sattler (on behalf of the organisers) |
- [Coq-Club] Workshop on Categorical Logic and Univalent Foundations: Deadline Approaching, Christian Sattler, 06/12/2016
Archive powered by MHonArc 2.6.18.