Seminar, Logic
Mon 25 November  Sun 01 December
No calendar events were found within the current period.
Upcoming calendar events:

4DecSeminar, LogicWednesday 20191204, 10:00  11:45Lecturer: Anders MörtbergLocation: Kräftriket, house 5, room 1620191204T10:00:00.000+01:00 20191204T11:45:00.000+01:00 Anders Mörtberg: Programming and proving with higher inductive types in Cubical Agda (Seminar, Logic) Anders Mörtberg: Programming and proving with higher inductive types in Cubical Agda (Seminar, Logic)

11DecSeminar, LogicWednesday 20191211, 10:00  11:45Lecturer: Anders Mörtberg, Stockholms universitetLocation: Kräftriket, house 5, room 1620191211T10:00:00.000+01:00 20191211T11:45:00.000+01:00 Anders Mörtberg: Programming and proving with higher inductive types in Cubical Agda, part 2 (Seminar, Logic) Anders Mörtberg: Programming and proving with higher inductive types in Cubical Agda, part 2 (Seminar, Logic)

8JanSeminar, LogicWednesday 20200108, 10:00  11:45Lecturer: Nima Rasekh, École polytechnique fédérale de LausanneLocation: Kräftriket, house 5, room 1620200108T10:00:00.000+01:00 20200108T11:45:00.000+01:00 Nima Rasekh: An Example of an Elementary Higher Topos that is not a Grothendieck Higher Topos (Seminar, Logic) Nima Rasekh: An Example of an Elementary Higher Topos that is not a Grothendieck Higher Topos (Seminar, Logic)