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

Fredrik Nordvall Forsberg fredrik.nordvall-forsberg at strath.ac.uk
Fri Feb 20 18:50:27 CET 2015


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





More information about the Agda mailing list