* A HoTT-Date with Thorsten Altenkirch
@ 2015-02-20 18:02 Neil Ghani
0 siblings, 0 replies; 2+ messages in thread
From: Neil Ghani @ 2015-02-20 18:02 UTC (permalink / raw)
To: categories-59hdLBrVOVU; +Cc: types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
^ permalink raw reply [flat|nested] 2+ messages in thread
* A HoTT-Date with Thorsten Altenkirch
@ 2015-02-20 18:02 Neil Ghani
0 siblings, 0 replies; 2+ messages in thread
From: Neil Ghani @ 2015-02-20 18:02 UTC (permalink / raw)
To: categories
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
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2015-02-20 18:02 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2015-02-20 18:02 A HoTT-Date with Thorsten Altenkirch Neil Ghani
2015-02-20 18:02 Neil Ghani
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).