{"id":4,"date":"2017-01-19T16:45:58","date_gmt":"2017-01-19T16:45:58","guid":{"rendered":"http:\/\/conferences.leeds.ac.uk\/httuf\/?page_id=4"},"modified":"2020-01-30T12:15:48","modified_gmt":"2020-01-30T12:15:48","slug":"programme","status":"publish","type":"page","link":"https:\/\/conferences.leeds.ac.uk\/httuf\/programme\/","title":{"rendered":"Programme"},"content":{"rendered":"

The registration will take place in the Reading Room 9.31 in School of Mathematics.<\/p>\n

All lectures and tutorials take place in Lecture Theater 19 in Roger Stevens Building.<\/p>\n

All co\ufb00ee breaks take place in the Reading Room 9.31 in School of Mathematics.<\/p>\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n
Monday, June 24th<\/th>\n<\/tr>\n
9:00 \u2013 9:20<\/td>\nRegistration<\/td>\n<\/td>\n<\/tr>\n
9:20 \u2013 9:30<\/td>\nWelcome<\/td>\n<\/td>\n<\/tr>\n
9:30 \u2013 11:00<\/td>\nUF Lecture 1<\/td>\nPeter Lumsdaine, Basics of homotopical foundations<\/em><\/td>\n<\/tr>\n
11:00 \u2013 11:30<\/td>\nCoffee break<\/td>\n<\/td>\n<\/tr>\n
11:30 \u2013 13:00<\/td>\nHTT Lecture 1<\/td>\nCharles Rezk, What is a higher topos?<\/em><\/td>\n<\/tr>\n
13:00 \u2013 14:30<\/td>\nLunch break<\/td>\n<\/td>\n<\/tr>\n
14:30 \u2013 15:30<\/td>\nTutorial<\/td>\nKarol Szumi\u0142o, Introduction to \u221e-categories<\/em><\/td>\n<\/tr>\n
15:30 \u2013 16:00<\/td>\nCoffee break<\/td>\n<\/td>\n<\/tr>\n
16:00 \u2013 17:00<\/td>\nTutorial<\/td>\nNicola Gambino, Syntax and semantics of type theory<\/em><\/td>\n<\/tr>\n
Tuesday, June 25th<\/th>\n<\/tr>\n
9:00 \u2013 10:30<\/td>\nUF Lecture 2<\/td>\nPeter Lumsdaine, Truncation and connectivity<\/em><\/td>\n<\/tr>\n
10:30 \u2013 11:00<\/td>\nCoffee break<\/td>\n<\/td>\n<\/tr>\n
11:00 \u2013 12:30<\/td>\nHTT Lecture 2<\/td>\nCharles Rezk, Homotopy theory in a higher topos<\/em><\/td>\n<\/tr>\n
12:30 \u2013 14:00<\/td>\nLunch break<\/td>\n<\/td>\n<\/tr>\n
14:00 \u2013 15:00<\/td>\nTutorial<\/td>\nPaige North, Homotopical models of type theory<\/em><\/td>\n<\/tr>\n
15:00 \u2013 15:30<\/td>\nCoffee Break<\/td>\n<\/td>\n<\/tr>\n
15:30 \u2013 16:30<\/td>\nSpecial Lecture<\/td>\nEmily Riehl, The synthetic approach to \u221e-category theory<\/em><\/td>\n<\/tr>\n
Wednesday, June 26th<\/th>\n<\/tr>\n
9:00 \u2013 10:30<\/td>\nUF Lecture 3<\/td>\nPeter Lumsdaine, Modalities and Blakers\u2013Massey<\/em><\/td>\n<\/tr>\n
10:30 \u2013 11:00<\/td>\nCoffee break<\/td>\n<\/td>\n<\/tr>\n
11:00 \u2013 12:30<\/td>\nHTT Lecture 3<\/td>\nCharles Rezk, Descent in a higher topos<\/em><\/td>\n<\/tr>\n
Thursday, June 27th<\/th>\n<\/tr>\n
9:00 \u2013 10:30<\/td>\nUF Lecture 4<\/td>\nPeter Lumsdaine, Ordinary mathematics in the univalent world<\/em><\/td>\n<\/tr>\n
10:30 \u2013 11:00<\/td>\nCoffee break<\/td>\n<\/td>\n<\/tr>\n
11:00 \u2013 12:30<\/td>\nHTT Lecture 4<\/td>\nCharles Rezk, Properties of a higher topos<\/em><\/td>\n<\/tr>\n
12:30 \u2013 14:00<\/td>\nLunch break<\/td>\n<\/td>\n<\/tr>\n
14:00 \u2013 15:00<\/td>\nTutorial<\/td>\nNima Rasekh, Elementary higher toposes<\/em><\/td>\n<\/tr>\n
15:00 \u2013 15:30<\/td>\nCoffee Break<\/td>\n<\/td>\n<\/tr>\n
15:30 \u2013 16:30<\/td>\nSpecial Lecture<\/td>\nBenedikt Ahrens, Mechanized mathematics in univalent foundations<\/em><\/td>\n<\/tr>\n
Friday, June 28th<\/th>\n<\/tr>\n
9:00 \u2013 10:30<\/td>\nUF Lecture 5<\/td>\nPeter Lumsdaine, Category theory in the univalent world<\/em><\/td>\n<\/tr>\n
10:30 \u2013 11:00<\/td>\nCoffee break<\/td>\n<\/td>\n<\/tr>\n
11:00 \u2013 12:30<\/td>\nHTT Lecture 5<\/td>\nCharles Rezk, Maps of higher topoi and classifying topoi<\/em><\/td>\n<\/tr>\n
12:30 \u2013 14:00<\/td>\nLunch break<\/td>\n<\/td>\n<\/tr>\n
14:00 \u2013 15:00<\/td>\nSpecial Lecture<\/td>\nAndr\u00e9 Joyal, Problems and conjectures on polynomial functors and monads in \u221e-toposes<\/em><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n","protected":false},"excerpt":{"rendered":"The registration will take place in the Reading Room 9.31 in School of Mathematics. All lectures and tutorials take place in Lecture Theater 19 in Roger Stevens Building. All co\ufb00ee breaks take place in the Reading Room 9.31 in School of Mathematics. Monday, June 24th 9:00 \u2013 9:20 Registration 9:20 \u2013 9:30 Welcome 9:30 \u2013...","protected":false},"author":64,"featured_media":0,"parent":0,"menu_order":4,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_acf_changed":false,"footnotes":""},"class_list":["post-4","page","type-page","status-publish","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/conferences.leeds.ac.uk\/httuf\/wp-json\/wp\/v2\/pages\/4","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/conferences.leeds.ac.uk\/httuf\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/conferences.leeds.ac.uk\/httuf\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/conferences.leeds.ac.uk\/httuf\/wp-json\/wp\/v2\/users\/64"}],"replies":[{"embeddable":true,"href":"https:\/\/conferences.leeds.ac.uk\/httuf\/wp-json\/wp\/v2\/comments?post=4"}],"version-history":[{"count":0,"href":"https:\/\/conferences.leeds.ac.uk\/httuf\/wp-json\/wp\/v2\/pages\/4\/revisions"}],"wp:attachment":[{"href":"https:\/\/conferences.leeds.ac.uk\/httuf\/wp-json\/wp\/v2\/media?parent=4"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}