[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