Seminar, Logic
Mon 25 October
No calendar events were found within the current period.
Upcoming calendar events:

24NovSeminar, LogicWednesday 20211124, 10:00  12:00Lecturer: Evan Cavallo (Stockholm University)Location: SU, Kräftriket, House 5, Room 1620211124T10:00:00.000+01:00 20211124T12:00:00.000+01:00 Evan Cavallo: Quillen model structures from models of cubical type theory (Seminar, Logic) Evan Cavallo: Quillen model structures from models of cubical type theory (Seminar, Logic)

1DecSeminar, LogicWednesday 20211201, 10:00  12:00Lecturer: Evan Cavallo (Stockholm University)Location: SU, Kräftriket, House 5, Room 1620211201T10:00:00.000+01:00 20211201T12:00:00.000+01:00 Evan Cavallo: Quillen model structures from models of cubical type theory, part 2 (Seminar, Logic) Evan Cavallo: Quillen model structures from models of cubical type theory, part 2 (Seminar, Logic)