Schedule.2021

Schedule of the academic year 2021/22

LP1/2 (Sep–Dec 2021):

Date	Leader	Topic	Remark
2 Sep			Läsperiod 1
9 Sep	Warrick	On the Grammar of Proof	MSc thesis
13–14 Sep			Proof and Computation
16 Sep	Sandro	STLC–CCC (Part I)
23 Sep	Andreas	STLC–CCC (Part II)
30 Sep	Carlos and Nachi	STLC–CCC (Part III)
7–14 Okt
21 Okt	Carlos	Normalization-by-Evaluation by Example	Uppskjuten
28 Okt			Tentamensvecka
4 Nov	Nachi	Reduction-based Normalization	Läsperiod 2
11 Nov	Carlos	Normalization-by-Evaluation by Example
18 Nov	Carlos	Hackathon: Implementing Normalization-by-Evaluation
25 Nov	Andreas	On Consistency, Models, and Normalization for IPL
2 Dec	Thierry	Canonicity and Normalization for Type Theory	Analysen
9 Dec	Szumi Xie	Quotient Inductive-Inductive Types	Analysen
16 Dec–6 Jan
13 Jan			Tentamensvecka

LP3/4 (Jan–Jun 2022):

Date	Leader	Topic	Remark
20 Jan			Läsperiod 3
27 Jan
3 Feb	Peter	Martin-Löf's Meaning Explanations
10 Feb	Matthew Daggit	Interfacing NN verifiers with ITPs
17 Feb	Warrick	Backprop as Functor	Inställd
24 Feb–10 Mar
17 Mar			Tentamensvecka
24 Mar			Läsperiod 4
31 Mar–7 Apr
14 Apr			MGS22
21 Apr–28 Apr
5 Maj–12 Maj			AIMXXXV
2 Jun			Tentamensvecka

Summer break (Jun–Aug 2022):

Date	Leader	Topic	Remark
9 Jun–16 Jun
23 Jun–30 Jun			OPLSS22
7 Jul–18 Aug			HoTTEST Summer School 2022
25 Aug			TC60