ProgLog /
StockholmGoteborgMeeting180323
Stockholm–Göteborg meeting on Friday, 23 March 2018 in Stockholm
Program
| Time | Speaker | Title |
|---|---|---|
| 11:30–12:30 | Jesper Cockx | Elaborating dependent (co)pattern matching |
| lunch | ||
| 14:00–15:00 | Jacopo Emmenegger | The homotopy exact completion and properties of cartesian closure |
| 15:15–16:15 | Thierry Coquand | Presheaf models and combinatorial topology |
| fika | ||
| 18:00 | dinner |