{"id":25,"date":"2014-08-30T11:03:39","date_gmt":"2014-08-30T09:03:39","guid":{"rendered":"http:\/\/logica.dmi.unisa.it\/tacl\/?page_id=25"},"modified":"2015-06-08T18:32:26","modified_gmt":"2015-06-08T16:32:26","slug":"invited-speakers","status":"publish","type":"page","link":"https:\/\/logica.dipmat.unisa.it\/tacl\/invited-speakers\/","title":{"rendered":"Invited Speakers"},"content":{"rendered":"

\"OliviaOlivia Caramello<\/a> (Institut des Hautes \u00c9tudes Scientifiques)<\/p>\n

The theory of topos-theoretic `bridges’, five years later
\n–\u00a0abstract<\/a>\u00a0–<\/em><\/p>\n

\n

\"Agata-SanDiego\"Agata Ciabattoni<\/a> (Technische Universit\u00e4t Wien)<\/p>\n

(Algebraic) proof theory for substructural logics and applications
\n–\u00a0abstract<\/a>\u00a0–<\/em><\/p>\n

\n

\"Clementino\"Maria Manuel Clementino<\/a> (Universidade de Coimbra)<\/p>\n

Lax orthogonal factorization systems in Topology
\n–\u00a0abstract<\/a>\u00a0–<\/em><\/p>\n

\n

\"photo\"Emil Je\u0159\u00e1bek<\/a> (Academy of Sciences of the Czech Republic)<\/p>\n

Generalizing the clone\u2013coclone Galois connection
\n–\u00a0abstract<\/a>\u00a0–<\/em><\/p>\n

\n

\"Joyal_Andre\"Andr\u00e9 Joyal (Universit\u00e9 du Qu\u00e9bec)<\/p>\n

Category theory and Homotopy type theory
\n–\u00a0abstract<\/a>\u00a0–<\/em><\/p>\n

\n

\"KeithKeith A. Kearnes<\/a> (University of Colorado)<\/p>\n

Problems on the Frontier of Commutator Theory
\n–\u00a0abstract<\/a>\u00a0–<\/em><\/p>\n

\n

\"14f1c4d4b1\"Daniele Mundici<\/a> (University of Florence)<\/p>\n

Finitely presented MV-algebras, unital lattice ordered abelian groups and rational polyhedra\u2014together
\n–\u00a0abstract<\/a>\u00a0–<\/em><\/p>\n

\n

\"pbo-photo2\"Paulo Oliva<\/a> (Queen Mary University of London)<\/p>\n

Higher-Order Game Theory
\n–\u00a0abstract<\/a>\u00a0–<\/em><\/p>\n

\n

\"picado\"Jorge Picado<\/a> (Universidade de Coimbra)<\/p>\n

Hausdorff mapping invariance theorems with sublocales
\n–\u00a0abstract<\/a>\u00a0–<\/em><\/p>\n

\n

\"portrait_2\"Michael Pinsker<\/a> (University Paris Diderot)<\/p>\n

Topological Clones
\n–\u00a0abstract<\/a>\u00a0–<\/em><\/p>\n","protected":false},"excerpt":{"rendered":"

Olivia Caramello (Institut des Hautes \u00c9tudes Scientifiques) The theory of topos-theoretic `bridges’, five years later –\u00a0abstract\u00a0– Agata Ciabattoni (Technische Universit\u00e4t Wien) (Algebraic) proof theory for substructural logics and applications –\u00a0abstract\u00a0– Maria Manuel Clementino (Universidade de Coimbra) Lax orthogonal factorization systems in Topology –\u00a0abstract\u00a0– Emil Je\u0159\u00e1bek (Academy of Sciences of the Czech Republic) Generalizing the clone\u2013coclone […]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":2,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-25","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/logica.dipmat.unisa.it\/tacl\/wp-json\/wp\/v2\/pages\/25","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/logica.dipmat.unisa.it\/tacl\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/logica.dipmat.unisa.it\/tacl\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/logica.dipmat.unisa.it\/tacl\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/logica.dipmat.unisa.it\/tacl\/wp-json\/wp\/v2\/comments?post=25"}],"version-history":[{"count":10,"href":"https:\/\/logica.dipmat.unisa.it\/tacl\/wp-json\/wp\/v2\/pages\/25\/revisions"}],"predecessor-version":[{"id":355,"href":"https:\/\/logica.dipmat.unisa.it\/tacl\/wp-json\/wp\/v2\/pages\/25\/revisions\/355"}],"wp:attachment":[{"href":"https:\/\/logica.dipmat.unisa.it\/tacl\/wp-json\/wp\/v2\/media?parent=25"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}