Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Workshop on Categorical Logic and Univalent Foundations

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Workshop on Categorical Logic and Univalent Foundations


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
  • Date: Fri, 8 Apr 2016 02:39:32 +0800
  • 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-lb0-f179.google.com
  • Ironport-phdr: 9a23:kB6b4xEI+S1gcYEEWONvfZ1GYnF86YWxBRYc798ds5kLTJ75osywAkXT6L1XgUPTWs2DsrQf27qQ7/urADVfqb+681k8M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLsh7D0p8aYOlwXzBOGIppMbzyO5T3LsccXhYYwYo0Q8TDu5kVyRuJN2GlzLkiSlRuvru25/Zpk7jgC86l5r50IAu3GePEzSqUdBzA7OUg04tfqvF/NV1ih/HwZB04WiBtTHwnM6lnBV4vttibg/r5m0TWGOcDsC7s0QzW586ZiTjfnjS4GM3gy92SB2Z84t75SvB/0/083+IXTeozAbPc=

Dear all,

We are pleased to announce a workshop on Categorical Logic and Univalent Foundations, held at the University of Leeds (UK) from July 27 to 29 and immediately preceeding 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/

A limited amount of paid-for accomodation on campus is available for registrants. Preference will be given to participants who are also attending the Logic Colloquium 2016, graduate students, and recent graduates.

Important dates:
* May 15: Deadline for registrations requesting accomodation support
* June 15: Deadline for registration and abstract submission
* July 27-29: The workshop

Confirmed invited speakers:
- Steve Awodey, Carnergie Mellon University
- Andrej Bauer, University of Ljubljana
- Matthieu Sozeau, Inria

We look forward to seeing you in Leeds!
Christian Sattler (on behalf of the organizers)


  • [Coq-Club] Workshop on Categorical Logic and Univalent Foundations, Christian Sattler, 04/07/2016

Archive powered by MHonArc 2.6.18.

Top of Page