From: Neil Ghani <neil.ghani-3oVnsloLHoGFxr2TtlUqVg@public.gmane.org>
To: "categories-59hdLBrVOVU@public.gmane.org"
<categories-59hdLBrVOVU@public.gmane.org>
Cc: "types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org"
<types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org>
Subject: A HoTT-Date with Thorsten Altenkirch
Date: Fri, 20 Feb 2015 18:02:53 +0000 [thread overview]
Message-ID: <FBB31984-1B9F-4F43-96EE-14D1861F5F77@strath.ac.uk> (raw)
[ 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
next reply other threads:[~2015-02-20 18:02 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-02-20 18:02 Neil Ghani [this message]
-- strict thread matches above, loose matches on Subject: below --
2015-02-20 18:02 Neil Ghani
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=FBB31984-1B9F-4F43-96EE-14D1861F5F77@strath.ac.uk \
--to=neil.ghani-3ovnslolhogfxr2ttluqvg@public.gmane.org \
--cc=categories-59hdLBrVOVU@public.gmane.org \
--cc=types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
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).