The Coq mailing list

[Randy Pollack <rpollack0 AT gmail.com>]

I'll be coming for talks and dinner.

Randy

--

On Friday, 20 February 2015, Fredrik Nordvall Forsberg <fredrik.nordvall-forsberg AT strath.ac.uk> wrote:

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