{"id":83,"date":"2017-01-24T15:40:32","date_gmt":"2017-01-24T15:40:32","guid":{"rendered":"http:\/\/conferences.leeds.ac.uk\/lc2016\/?page_id=83"},"modified":"2017-02-03T09:57:54","modified_gmt":"2017-02-03T09:57:54","slug":"programme-and-speakers","status":"publish","type":"page","link":"https:\/\/conferences.leeds.ac.uk\/lc2016\/programme-and-speakers\/","title":{"rendered":"Programme and Speakers"},"content":{"rendered":"<h2>Plenary Speakers<\/h2>\n<p class=\"bodytext\"><b>G\u00f6del lecture:<\/b><\/p>\n<ul>\n<li> <a href=\"http:\/\/www.math.toronto.edu\/cms\/todorcevic-stevo\/\" target=\"_blank\">Stevo Todorcevic<\/a> - University of Toronto and CNRS Paris\n<\/li>\n<\/ul>\n<p class=\"bodytext\"><b>British Logic Colloquium Lecture:<\/b><\/p>\n<ul>\n<li><a href=\"http:\/\/www.liafa.jussieu.fr\/%7Elbienven\/\" target=\"_blank\">Laurent Bienvenu<\/a> - CNRS et Universit\u00e9 Paris Diderot\n<\/li>\n<\/ul>\n<p class=\"bodytext\"><b>Other plenary lectures:<\/b><\/p>\n<ul>\n<li><a href=\"https:\/\/staff.fnwi.uva.nl\/b.vandenberg3\/\" target=\"_blank\">Benno van den Berg<\/a> - University of Amsterdam<\/li>\n<li><a href=\"http:\/\/comp.mq.edu.au\/~rgarner\/\" target=\"_blank\">Richard Garner<\/a> - Macquarie University<\/li>\n<li><a href=\"http:\/\/homepages.mcs.vuw.ac.nz\/~rob\/\" target=\"_blank\">Rob Goldblatt<\/a> - Victoria University of Wellington<\/li>\n<li><a href=\"https:\/\/sites.google.com\/site\/itay80\/\" target=\"_blank\">Itay Kaplan<\/a> - The Hebrew University of Jerusalem<\/li>\n<li><a href=\"https:\/\/www.cs.toronto.edu\/~toni\/\" target=\"_blank\">Toniann Pitassi<\/a> - University of Toronto<\/li>\n<li><a href=\"https:\/\/sites.google.com\/site\/schlutzenberg\/home-1\" target=\"_blank\">Farmer Schlutzenberg<\/a> - University of M\u00fcnster<\/li>\n<li><a href=\"http:\/\/homepages.math.uic.edu\/~sinapova\/\" target=\"_blank\">Dima Sinapova<\/a> - University of Illinois at Chicago<\/li>\n<li><a href=\"http:\/\/www.sas.upenn.edu\/~htowsner\/\" target=\"_blank\">Henry Towsner<\/a> - University of Pennsylvania<\/li>\n<li><a href=\"http:\/\/www.philosophy.ox.ac.uk\/members\/philosophy_panel\/tim_williamson\" target=\"_blank\">Timothy Williamson<\/a> - University of Oxford<\/li>\n<li><a href=\"https:\/\/people.maths.ox.ac.uk\/zilber\/\" target=\"_blank\">Boris Zilber<\/a> - University of Oxford\n<\/li>\n<\/ul>\n<hr>\n<h2>Tutorials<\/h2>\n<ul>\n<li>Topic: <b>Univalent foundations<\/b> <br \/>Speaker: <a href=\"http:\/\/www.cse.chalmers.se\/~coquand\/\" target=\"_blank\">Thierry Coquand<\/a> - University of Gothenburg<\/li>\n<li>Topic: <b>Computable model theory<\/b> <br \/>Speaker: <a href=\"http:\/\/www.math.wisc.edu\/~andrews\/\" target=\"_blank\">Uri Andrews<\/a> - University of Wisconsin-Madison\n<\/li>\n<\/ul>\n<hr>\n<h2>Special Sessions<\/h2>\n<p><b>Computability theory<br \/><\/b>Organizers: Iskander Kalimullin, Sebastiaan Terwijn<\/p>\n<ul>\n<li><a href=\"http:\/\/www.math.csi.cuny.edu\/~conidis\/Chris_J._Conidis\/Home.html\" target=\"_blank\">Chris Conidis<\/a> - City University of New York<\/li>\n<li><a href=\"http:\/\/hoelzl.fr\/\" target=\"_blank\">Rupert H\u00f6lzl<\/a> - Universit\u00e4t der Bundeswehr M\u00fcnchen<\/li>\n<li><a href=\"https:\/\/www.cs.auckland.ac.nz\/~nies\/\" target=\"_blank\">Andre Nies<\/a> - University of Auckland<\/li>\n<li><a href=\"http:\/\/www.math.nus.edu.sg\/~matyangy\/\" target=\"_blank\">Yang Yue<\/a> - National University of Singapore\n<\/li>\n<\/ul>\n<p><b>Formal theories of truth<br \/><\/b>Organizers: Ole Hjortland, Dave Ripley<\/p>\n<ul>\n<li><a href=\"https:\/\/www.illc.uva.nl\/People\/show_person.php?Person_id=Achourioti+T.\" target=\"_blank\">Theodora Achourioti<\/a> - University of Amsterdam<\/li>\n<li><a href=\"http:\/\/philosophy.umn.edu\/people\/FacultyProfile.php?UID=cookx432\" target=\"_blank\">Roy Cook<\/a> - University of Minnesota<\/li>\n<li><a href=\"http:\/\/users.ox.ac.uk\/~sfop0114\/\" target=\"_blank\">Volker Halbach<\/a> - University of Oxford<\/li>\n<li><a href=\"https:\/\/sites.google.com\/site\/laviniapicollo\/\" target=\"_blank\">Lavinia Picollo<\/a> - MCMP, LMU Munich\n<\/li>\n<\/ul>\n<p><b>Homogeneous structures: model theory meets universal algebra<br \/><\/b>Organizers: Gregory Cherlin, Michael Pinsker<\/p>\n<ul>\n<li><a href=\"http:\/\/www.karlin.mff.cuni.cz\/~barto\/\" target=\"_blank\">Libor Barto<\/a> - Charles University Prague<\/li>\n<li><a href=\"http:\/\/www.ucw.cz\/~hubicka\/\" target=\"_blank\">Jan Hubicka<\/a> - Prague<\/li>\n<li><a href=\"http:\/\/www.math.uwaterloo.ca\/%7Erdwillar\/\" target=\"_blank\">Ross Willard<\/a> - University of Waterloo<\/li>\n<li><a href=\"http:\/\/people.hamilton.edu\/jwiscons\/\" target=\"_blank\">Josh Wiscons<\/a> - Hamilton College, NY\n<\/li>\n<\/ul>\n<p><b>Model theory and limit structures<br \/><\/b>Organizers: Rehana Patel, Cameron Hill <\/p>\n<ul>\n<li><a href=\"http:\/\/www.math.harvard.edu\/~nate\/\" target=\"_blank\">Nathanael Ackerman<\/a> - Harvard University, Cambridge <\/li>\n<li><a href=\"http:\/\/katalog.uu.se\/empinfo\/?id=N9-574\" target=\"_blank\">Ove Ahlman<\/a> - Uppsala University<\/li>\n<li><a href=\"http:\/\/cams.ehess.fr\/pom\/\" target=\"_blank\">Patrice Ossona de Mendez<\/a> - \u00c9cole des Hautes \u00c9tudes en Sciences Sociales, Paris<\/li>\n<li><a href=\"http:\/\/homepages.math.uic.edu\/~terry\/\" target=\"_blank\">Caroline Terry<\/a> - University of Illinois at Chicago\n<\/li>\n<\/ul>\n<p><b>Proof theory and reverse mathematics<\/b><br \/>Organizers: Andreas Weiermann, Antonio Montalban<\/p>\n<ul>\n<li><a href=\"https:\/\/www.math.cornell.edu\/m\/People\/bynetid\/db544\" target=\"_blank\">David R. Belanger<\/a> - Cornell University<\/li>\n<li>Lev Gordeev - University of T\u00fcbingen<\/li>\n<li><a href=\"http:\/\/cage.ugent.be\/~pelupessy\/\" target=\"_blank\">Florian Pelupessy<\/a> - Tohoku University<\/li>\n<li><a href=\"http:\/\/sasander.wix.com\/academic\" target=\"_blank\">Sam Sanders<\/a> - Ghent University, LMU Munich\n<\/li>\n<\/ul>\n<p><b>Set theory<br \/><\/b>Organizers: Boban Velickovic, Itay Neeman<\/p>\n<ul>\n<li><a href=\"http:\/\/math.ucla.edu\/~marks\/\" target=\"_blank\">Andrew Marks<\/a> - UCLA<\/li>\n<li> <a href=\"http:\/\/www.math.ku.dk\/~david.s\/\" target=\"_blank\">David Schrittesser<\/a> - University of Copenhagen<\/li>\n<li><a href=\"http:\/\/www.math.uci.edu\/%7Entrang\/\" target=\"_blank\">Nam Trang<\/a> - UC Irvine<\/li>\n<li><a href=\"http:\/\/www.math.uiuc.edu\/~anush\/\" target=\"_blank\">Anush Tserunyan<\/a> - UI Urbana Champaign<\/li>\n","protected":false},"excerpt":{"rendered":"Plenary Speakers G\u00f6del lecture: Stevo Todorcevic - University of Toronto and CNRS Paris British Logic Colloquium Lecture: Laurent Bienvenu - CNRS et Universit\u00e9 Paris Diderot Other plenary lectures: Benno van den Berg - University of Amsterdam Richard Garner - Macquarie University Rob Goldblatt - Victoria University of Wellington Itay Kaplan - The Hebrew University of...","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-83","page","type-page","status-publish","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/conferences.leeds.ac.uk\/lc2016\/wp-json\/wp\/v2\/pages\/83","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=83"}],"version-history":[{"count":0,"href":"https:\/\/conferences.leeds.ac.uk\/lc2016\/wp-json\/wp\/v2\/pages\/83\/revisions"}],"wp:attachment":[{"href":"https:\/\/conferences.leeds.ac.uk\/lc2016\/wp-json\/wp\/v2\/media?parent=83"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}