{"id":85,"date":"2017-01-24T16:05:32","date_gmt":"2017-01-24T16:05:32","guid":{"rendered":"http:\/\/conferences.leeds.ac.uk\/lc2016\/?page_id=85"},"modified":"2017-01-24T16:59:37","modified_gmt":"2017-01-24T16:59:37","slug":"slides","status":"publish","type":"page","link":"https:\/\/conferences.leeds.ac.uk\/lc2016\/slides\/","title":{"rendered":"Slides of Talks"},"content":{"rendered":"<p><b>Tutorials<\/b><\/p>\n<ul>\n<li>Uri Andrews, <i>Computable model theory<\/i>: <a href=\"http:\/\/conferences.leeds.ac.uk\/lc2016\/wp-content\/uploads\/sites\/4\/2017\/01\/s-Andrews-1.pdf\">Part 1<\/a>, <a href=\"http:\/\/conferences.leeds.ac.uk\/lc2016\/wp-content\/uploads\/sites\/4\/2017\/01\/s-Andrews-2.pdf\">Part 2<\/a>, <a href=\"http:\/\/conferences.leeds.ac.uk\/lc2016\/wp-content\/uploads\/sites\/4\/2017\/01\/s-Andrews-3.pdf\">Part 3<\/a><\/li>\n<li>Thierry Coquand, <i>Univalent Type Theory<\/i>: <a href=\"http:\/\/conferences.leeds.ac.uk\/lc2016\/wp-content\/uploads\/sites\/4\/2017\/01\/s-coquand-1.pdf\">Part 1<\/a>, <a href=\"http:\/\/conferences.leeds.ac.uk\/lc2016\/wp-content\/uploads\/sites\/4\/2017\/01\/s-coquand-2.pdf\">Part 2<\/a>, <a href=\"http:\/\/conferences.leeds.ac.uk\/lc2016\/wp-content\/uploads\/sites\/4\/2017\/01\/s-coquand-3.pdf\">Part 3<\/a><\/li>\n<\/ul>\n<p><b>Other talks<\/b><\/p>\n<ul>\n<li>Laurent Bienvenu, <i><a href=\"http:\/\/conferences.leeds.ac.uk\/lc2016\/wp-content\/uploads\/sites\/4\/2017\/01\/s-Bienvenu.pdf\">Randomized algorithms in computability theory<\/a><\/i><\/li>\n<li>Robert Goldblatt, <i><a href=\"http:\/\/conferences.leeds.ac.uk\/lc2016\/wp-content\/uploads\/sites\/4\/2017\/01\/s-Goldblatt.pdf\">Spatial logic of tangled closure and derivative operators<\/a><\/i><\/li>\n<li>Itay Kaplan, <i><i><a href=\"http:\/\/conferences.leeds.ac.uk\/lc2016\/wp-content\/uploads\/sites\/4\/2017\/01\/s-Kaplan.pdf\">Developments in unstable theories focusing on NIP and NTP<span class=\"mjx-chtml MathJax_CHTML\" style=\"font-size: 123%; position: relative;\" tabindex=\"0\" data-mathml=\"&lt;br \/&gt; &lt;math xmlns=&quot;http:\/\/www.w3.org\/1998\/Math\/MathML&quot;&gt;&lt;msub&gt;&lt;mi&gt;&lt;\/mi&gt;&lt;mn&gt;2&lt;\/mn&gt;&lt;\/msub&gt;&lt;\/math&gt; &lt;p&gt;\"><span id=\"MJXc-Node-1\" class=\"mjx-math\"><span id=\"MJXc-Node-2\" class=\"mjx-mrow\"><span id=\"MJXc-Node-3\" class=\"mjx-msubsup\"><span id=\"MJXc-Node-4\" class=\"mjx-mi\"><\/span><span class=\"mjx-sub\" style=\"font-size: 70.7%; vertical-align: -0.212em; padding-right: 0.071em;\"><span id=\"MJXc-Node-5\" class=\"mjx-mn\"><span class=\"mjx-char MJXc-TeX-main-R\" style=\"padding-top: 0.41em; padding-bottom: 0.342em;\">2<\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/a><\/i><\/i><\/li>\n<li>Farmer Schlutzenberg, <i><a href=\"http:\/\/conferences.leeds.ac.uk\/lc2016\/wp-content\/uploads\/sites\/4\/2017\/01\/s-schlutzenberg.pdf\">Ordinal definability in extender models<\/a><\/i><\/li>\n<li>Stevo Todorcevic, <i><a href=\"http:\/\/conferences.leeds.ac.uk\/lc2016\/wp-content\/uploads\/sites\/4\/2017\/01\/s-todorcevic.pdf\">Basis Problems in Set Theory<\/a><\/i><\/li>\n<li>Boris Zilber, <i><a href=\"http:\/\/conferences.leeds.ac.uk\/lc2016\/wp-content\/uploads\/sites\/4\/2017\/01\/s-zilber.pdf\">On the semantics of algebraic quantum mechanics and the role of model theory<\/a><\/i><\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"Tutorials Uri Andrews, Computable model theory: Part 1, Part 2, Part 3 Thierry Coquand, Univalent Type Theory: Part 1, Part 2, Part 3 Other talks Laurent Bienvenu, Randomized algorithms in computability theory Robert Goldblatt, Spatial logic of tangled closure and derivative operators Itay Kaplan, Developments in unstable theories focusing on NIP and NTP2 Farmer Schlutzenberg,...","protected":false},"author":81,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_acf_changed":false,"footnotes":""},"class_list":["post-85","page","type-page","status-publish","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/conferences.leeds.ac.uk\/lc2016\/wp-json\/wp\/v2\/pages\/85","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/conferences.leeds.ac.uk\/lc2016\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/conferences.leeds.ac.uk\/lc2016\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/conferences.leeds.ac.uk\/lc2016\/wp-json\/wp\/v2\/users\/81"}],"replies":[{"embeddable":true,"href":"https:\/\/conferences.leeds.ac.uk\/lc2016\/wp-json\/wp\/v2\/comments?post=85"}],"version-history":[{"count":0,"href":"https:\/\/conferences.leeds.ac.uk\/lc2016\/wp-json\/wp\/v2\/pages\/85\/revisions"}],"wp:attachment":[{"href":"https:\/\/conferences.leeds.ac.uk\/lc2016\/wp-json\/wp\/v2\/media?parent=85"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}