Stockholm–Göteborg Type Theory Seminar
Time: Fri 2018-03-23 11.00 - 18.00
Location: Room 32, building 5 kräftriket, Department of Mathematics, Stockholm University
Next Friday will be the 2nd meeting of the joint Stockholm–Göteborg type theory seminar; this instance will take place at Stockholm University, with visiting speakers from Göteborg. Details of programme TBA; the meeting will start late morning (11:00 at earliest) and continue through the afternoon (until 18:00 at latest), including time for discussion.
There will be a group dinner afterwards; please let me (Peter L (p.l.lumsdaine@gmail.com)) know if you’d like to attend, and if you have any dietary restrictions.