Schedule.2020

Schedule of the academic year 2020/21

LP1/2 (Sep–Dec 2020):

• We (usually) met on Thursdays between 16:00 and 17:30 on Zoom.

Date	Leader	Topic	Remark
24 Sep	_	_	Proof and Computation (cancelled)
8 Oct	Sandro	Planning
15 Oct	_	_	AIM XXXIII
22 Oct	_	_	AIM XXXIII
29 Oct	_	_	Exams
5 Nov	Sandro	STLC-CCC (Part I)	NOFX Nov
10 Nov	Dave	Improvement Theory	NOFX Nov bonus lecture on a Tuesday
12 Nov	Andreas	STLC-CCC (Part II)	NOFX Nov
19 Nov	Sandro	STLC-CCC (Part III)	NOFX Nov, Memorial Conference for Erik Palmgren
26 Nov	Thierry	Some Remarks about Impredicativity	NOFX Nov
3 Dec	Inari	Grammatical Framework & Subtyp. in GF	Da Subtyping Dec
10 Dec	Sandro	Subtyp. & Bidirect. Type Checking in STLC	Da Subtyping Dec
17 Dec	Warrick	Type Theory & Natural Lang. Semantics	Da Subtyping Dec
24 Dec	_	_	Christmas Eve
31 Dec	_	_	New Year's Eve

LP3/4 (Jan–May 2021):

• We (usually) met on Thursdays between 16:00 and 17:30 on either Zoom or Gather.

Date	Leader	Topic	Remark
7 Jan	_	_	Exams
14 Jan	_	_	Exams
21 Jan	Carlos	Planning
28 Jan	Carlos	Notions of computation and monads
4 Feb	Andreas	Call-by-push-value (CBPV)
11 Feb	Sandro	Coeffects by example
18 Feb	Vikraman	Recov. purity w/ comonads & capabilities
25 Feb	Andreas	From NbE to Call-By-Push-Value
4 Mar	Carlos & Nachi	Modal λ-calculi: Fitch vs. dual-context style	Modal March
11 Mar	Jean-Philippe	A unif. view of modalities in type systems	Modal March, talk starts at 15:30
18 Mar	_	_	Exams
25 Mar	Warrick	Monoidal preorders in code	Modal March, meeting takes place on Gather
1 Apr	Graham	The unreasonable effectiveness of proof	No talk, informal session
8 Apr	Tjeerd	Prawitz's proof of Takeuti's conjecture	Axiomatic April
15 Apr	_	_	EPIT, MGS
22 Apr	Wolfgang	Dynamic Logic: Principles & Applications	Axiomatic April
28 Apr	_	_	Stockholm–Göteborg type theory seminar
29 Apr	Nachi	Sequent calculi	Axiomatic April
6 May	Andreas	Logical relations	Model May
13 May	_	_	Ascension Day
20 May	Andreas	Parametricity	Model May
27 May	Warrick	Modeling programming lang. in GF	Model May

Summer break (Jun–Aug 2021):

Date	Leader	Topic	Remark
7 Jun–12 Jun	_	_	AIM
14 Jun–24,25,26 Jun	_	_	OPLSS, TOPOSES
26 Jul–9,10–13,16,17,18 Aug	_	_	ESSLLI, SPLV