Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
* [HoTT] EPIT 2020: Spring School on Homotopy Type Theory (last announcement)
@ 2020-03-02 19:14 nicolas tabareau
  2020-06-05  9:19 ` [HoTT] " nicolas tabareau
  0 siblings, 1 reply; 2+ messages in thread
From: nicolas tabareau @ 2020-03-02 19:14 UTC (permalink / raw)
  To: Homotopy Type Theory


[-- Attachment #1.1: Type: text/plain, Size: 2301 bytes --]

[This is a reminder that the deadline for pre-registration is ** March 15, 
2020 **, note 
 that we are pleased to have to new lectures by Valery Isaev and Paige 
North]

====================================================================

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 2020 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.

Pre-registration is now open, please visit 
https://epit2020cnrs.inria.fr/registration/ to know more. 

For any question, please contact epit2020@sciencesconf.org

NB: As the number of places is limited, we have fixed a deadline for 
pre-registration to ** March 15, 2020 **.

--------------------------------------------------------------------
Lecturers

Andrej Bauer (Ljubljana University): 
Introduction to Homotopy Type Theory

Guillaume Brunerie (Stockholm University): 
Synthetic Homotopy Theory

Valery Isaev (JetBrain, Saint Petersburg): 
The Arend proof assistant

Anders Mörtberg (Stockholm University): 
Cubical Type Theory

Paige North (Ohio State University): 
Directed Homotopy Type Theory

Andy Pitts (Cambridge University): 
Models of (Univalent) Type Theory

Bas Spitters (Aarhus University): 
The Coq-HoTT library

-- 
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/0e10d866-00f3-4311-90a9-f704ef26e10b%40googlegroups.com.

[-- Attachment #1.2: Type: text/html, Size: 8893 bytes --]

^ permalink raw reply	[flat|nested] 2+ messages in thread

* [HoTT] Re: EPIT 2020: Spring School on Homotopy Type Theory (last announcement)
  2020-03-02 19:14 [HoTT] EPIT 2020: Spring School on Homotopy Type Theory (last announcement) nicolas tabareau
@ 2020-06-05  9:19 ` nicolas tabareau
  0 siblings, 0 replies; 2+ messages in thread
From: nicolas tabareau @ 2020-06-05  9:19 UTC (permalink / raw)
  To: Homotopy Type Theory


[-- Attachment #1.1: Type: text/plain, Size: 2918 bytes --]

Due to the sanitary crisis in May, the EPIT2020 summer school has been 
postponed to October 

====================================================================

Spring School on Theoretical Computer Science (EPIT) – Homotopy Type Theory

Ile d’Oléron, CAES CNRS La vieille Perrotine, France.

19th-23th Oct 2020

https://epit2020cnrs.inria.fr

====================================================================

On Monday, March 2, 2020 at 8:14:48 PM UTC+1, nicolas tabareau wrote:
>
> [This is a reminder that the deadline for pre-registration is ** March 15, 
> 2020 **, note 
>  that we are pleased to have to new lectures by Valery Isaev and Paige 
> North]
>
> ====================================================================
>
> 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 2020 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.
>
> Pre-registration is now open, please visit 
> https://epit2020cnrs.inria.fr/registration/ to know more. 
>
> For any question, please contact epit2020@sciencesconf.org
>
> NB: As the number of places is limited, we have fixed a deadline for 
> pre-registration to ** March 15, 2020 **.
>
> --------------------------------------------------------------------
> Lecturers
>
> Andrej Bauer (Ljubljana University): 
> Introduction to Homotopy Type Theory
>
> Guillaume Brunerie (Stockholm University): 
> Synthetic Homotopy Theory
>
> Valery Isaev (JetBrain, Saint Petersburg): 
> The Arend proof assistant
>
> Anders Mörtberg (Stockholm University): 
> Cubical Type Theory
>
> Paige North (Ohio State University): 
> Directed Homotopy Type Theory
>
> Andy Pitts (Cambridge University): 
> Models of (Univalent) Type Theory
>
> Bas Spitters (Aarhus University): 
> The Coq-HoTT library
>

-- 
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/7a9f7238-8336-45f7-ad11-b8f2e5a370a0o%40googlegroups.com.

[-- Attachment #1.2: Type: text/html, Size: 9258 bytes --]

^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2020-06-05  9:19 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-03-02 19:14 [HoTT] EPIT 2020: Spring School on Homotopy Type Theory (last announcement) nicolas tabareau
2020-06-05  9:19 ` [HoTT] " nicolas tabareau

Discussion of Homotopy Type Theory and Univalent Foundations

This inbox may be cloned and mirrored by anyone:

	git clone --mirror http://inbox.vuxu.org/hott

	# If you have public-inbox 1.1+ installed, you may
	# initialize and index your mirror using the following commands:
	public-inbox-init -V1 hott hott/ http://inbox.vuxu.org/hott \
		homotopytypetheory@googlegroups.com
	public-inbox-index hott

Example config snippet for mirrors.
Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.archive.hott


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git