* EPIT 2020: Spring School on Homotopy Type Theory (first announcement)
@ 2019-05-28 8:13 nicolas tabareau
0 siblings, 0 replies; 2+ messages in thread
From: nicolas tabareau @ 2019-05-28 8:13 UTC (permalink / raw)
To: categories
(This is the first announcement, details about the registration and application procedure
will given in a second announcement after summer)
====================================================================
Spring School on Theoretical Computer Science (EPIT) – Homotopy Type Theory
Ile d’Oléron, CAES CNRS La vieille Perrotine, France.
25th-29th May 2020
https://epit2020cnrs.inria.fr
===================================================================
The EPIT is a French thematic school proposing, on an yearly basis, an intensive 5-day long training,
specializing on a particular topic in theoretical computer science. It is primarily addressed to PhD students,
Post-doctoral researchers and junior academics.
The 2019 edition of the EPIT will be centered around Homotopy Type Theory, a research topic at the junction
of Computer Science and Mathematics. Our hope is hence to provide an introduction that is accessible
to researchers in both areas.
--------------------------------------------------------------------
Lecturers
Andrej Bauer (Ljubljana University):
Introduction to Homotopy Type Theory
Bas Spitters (Aarhus University):
The Coq-HoTT library
Andy Pitts (Cambridge University):
Models of (Univalent) Type Theory
Anders Mörtberg (Stockholm University):
Cubical Type Theory
Guillaume Brunerie (Stockholm University):
Synthetic Homotopy Theory
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] 2+ messages in thread
* EPIT 2020: Spring School on Homotopy Type Theory (first announcement)
@ 2019-05-28 8:13 nicolas tabareau
0 siblings, 0 replies; 2+ messages in thread
From: nicolas tabareau @ 2019-05-28 8:13 UTC (permalink / raw)
To: categories, coq-club, agda, types-announce, EUTypes mailing list
Cc: Matthieu Sozeau
[-- Attachment #1: Type: text/plain, Size: 1444 bytes --]
(This is the first announcement, details about the registration and application procedure
will given in a second announcement after summer)
====================================================================
Spring School on Theoretical Computer Science (EPIT) – Homotopy Type Theory
Ile d’Oléron, CAES CNRS La vieille Perrotine, France.
25th-29th May 2020
https://epit2020cnrs.inria.fr
===================================================================
The EPIT is a French thematic school proposing, on an yearly basis, an intensive 5-day long training,
specializing on a particular topic in theoretical computer science. It is primarily addressed to PhD students,
Post-doctoral researchers and junior academics.
The 2019 edition of the EPIT will be centered around Homotopy Type Theory, a research topic at the junction
of Computer Science and Mathematics. Our hope is hence to provide an introduction that is accessible
to researchers in both areas.
--------------------------------------------------------------------
Lecturers
Andrej Bauer (Ljubljana University):
Introduction to Homotopy Type Theory
Bas Spitters (Aarhus University):
The Coq-HoTT library
Andy Pitts (Cambridge University):
Models of (Univalent) Type Theory
Anders Mörtberg (Stockholm University):
Cubical Type Theory
Guillaume Brunerie (Stockholm University):
Synthetic Homotopy Theory
[-- Attachment #2: Type: text/html, Size: 4728 bytes --]
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2019-05-28 8:13 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-05-28 8:13 EPIT 2020: Spring School on Homotopy Type Theory (first announcement) nicolas tabareau
2019-05-28 8:13 nicolas tabareau
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).