-
Notifications
You must be signed in to change notification settings - Fork 6
Schedule.2018
Fabian edited this page Jan 28, 2021
·
8 revisions
- EDIT 3364 booked 30 August - 20 December.
- Exceptions:
- EDIT 8103 on 30 Aug, 13 Sep and 15 Nov.
- EDIT Analysen (3rd floor) on 11 Oct (map to the room)
| Date | Leader | Topic | Remark |
|---|---|---|---|
| 13 Sep | AA | Planning | EDIT 8103 |
| 20 Sep | Jannis Limperg | The Yoneda Embedding | EDIT 3364 as usual |
| 27 Sep | Jannis Limperg | Yoneda exercises and more | EDIT 3364; ICFP |
| 04 Oct | Sandro Stucki | Formal biology + categorical semantics | absent: AA |
| 11 Oct | Sandro Stucki | Recap of STLC-CCCs (Curry-Howard-Lambek) | Room "Analysen" (EDIT 3xxx); absent: AA, JC, AV (Division meeting) |
| 18 Oct | no Meeting | Agda meeting in Nottingham; absent: AA, JC, AV | |
| 25 Oct | Jesper Cockx | Inductive/coinductive types | |
| 01 Nov | Christian Sattler | Locally cartesian closed categories (for modelling dependent types) | absent: JC |
| 08 Nov | Joel Sjögren | A graphical calculus interpreting lambda-calculus | |
| 15 Nov | Ulf Norell | A case study in dependently-typed programmming | EDIT 8103 |
| 22 Nov | Ayberk Tosun | Classical proofs as programs | |
| 29 Nov | Frederik Folkmar Ramcke | Parametricity | |
| 06 Dec | Nachi Valliappan | NbE for STLC | |
| 13 Dec | Andrea Vezzosi | Parametricity for Dependent Types | |
| 20 Dec | Sandro Stucki | Coeffects and comonads |
- EDIT Analysen (3rd floor) booked 21 January - 6 June.
| Date | Leader | Topic | Remark |
|---|---|---|---|
| 24 Jan | Jesper Cockx | Edit-time tactics in Agda | AA gone |
| 31 Jan | Karin Wibergh | Refactor Agda | MSc presentation |
| 07 Feb | Jannis Limperg | Proof by reflection | |
| 14 Feb | Frederik | Kripke semantics of STLC | |
| 21 Feb | Mattias | Fixpoint theory in intuitionistic FO logic | Pub |
| 28 Feb | Sandro | Polarities & natural transformations | |
| 07 Mar | Ayberk | Seemingly impossible programs (blog post, paper on Sequential games, Tychonov theorem and double negation shift) | AA JC gone |
| 14 Mar | Frederik | Kripke semantics of STLC reloaded | Agda meeting in Tokyo (AA JC UN) |
| 21 Mar | Exam week, AA, SSt gone | ||
| 28 Mar | Ayberk | Introduction to Domain Theory with Agda | |
| 04 Apr | Joel | The logic of linear equations, electrical resistance, and statistical noise | |
| 11 Apr | JC & SS gone | ||
| 18 Apr | / | / | Easter break |
| 25 Apr | Jannis | Introduction to Homotopy Type Theory | Re-exam week |
| 02 May | Jesper | How to Tame Your Rewrite Rules | |
| 09 May | No Talk | ||
| 16 May | Nachi | Fine structure of Linear logic | |
| 23 May | Carlos | Normalization by evaluation for a monadic language with subtyping | |
| 30 May | public holiday (Ascension day) | ||
| 06 Jun | BBQ! | public holiday (national day) |