Skip to Content.
Sympa Menu

coq-club - [Coq-Club] A HoTT-Date with Thorsten Altenkirch at Strathclyde 04.03.15

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] A HoTT-Date with Thorsten Altenkirch at Strathclyde 04.03.15


Chronological Thread 
  • From: Fredrik Nordvall Forsberg <fredrik.nordvall-forsberg AT strath.ac.uk>
  • To: agda AT lists.chalmers.se, coq-club AT inria.fr
  • Subject: [Coq-Club] A HoTT-Date with Thorsten Altenkirch at Strathclyde 04.03.15
  • Date: Fri, 20 Feb 2015 17:50:27 +0000

Dear All

Dr Thorsten Altenkirch is visiting the MSP group during the week of March 2, and we thought we would have an afternoon of talks in his honour on Wednesday 4 March. Please feel free to attend and forward this to anyone else who might be interested. If you would like to give a talk, we could create a few spots too. Please get in touch ASAP if you wish to i) attend; ii) give a talk; and/or iii) stay for dinner. This will help us to cater appropriately.

All the best
Neil and Fred

******************************
A HoTT-Date With Thorsten Altenkirch
(An Afternoon of Talks)

Date: Wednesday 4 March, 2pm
Location: Room 1415, Livingstone Tower, 26 Richmond Street, Glasgow G1 1XH.

Speakers:

Thorsten Altenkirch: Higher Inductive Types

Fredrik Nordvall Forsberg: Presentations of mutually defined types (including HITs)

James McKinna: Using relations to streamline the encode-decode method?

Neil Ghani: Higher Dimensional Parametricity via Cubical Categories

Bob Atkey: A Cubical Set Model for Relationally Parametric Type Theory






Archive powered by MHonArc 2.6.18.

Top of Page