{"id":1886,"date":"2026-03-16T14:25:22","date_gmt":"2026-03-16T13:25:22","guid":{"rendered":"https:\/\/umi.dm.unibo.it\/jm-ita-bra-2026\/?page_id=1886"},"modified":"2026-04-30T19:02:35","modified_gmt":"2026-04-30T17:02:35","slug":"special-session-15","status":"publish","type":"page","link":"https:\/\/umi.dm.unibo.it\/jm-ita-bra-2026\/special-sessions\/special-session-15\/","title":{"rendered":"Special Session 15 – Logic and Foundations of Mathemtics"},"content":{"rendered":"

Special Session 15<\/span><\/h1>\n

Logic and Foundations of Mathemtics<\/span><\/h2>\n

Organizers:<\/strong><\/span><\/p>\n

    \n
  • Giorgio Venturi (University of Pisa, Italy),<\/span><\/li>\n
  • Matteo Viale (University of Turin, Italy),<\/span><\/li>\n
  • Hugo Mariano (University of S\u00e3o Paulo, Brazil)<\/span><\/li>\n<\/ul>\n

    MSC codes:<\/strong> 03-XX<\/span><\/p>\n

    Description:<\/strong> <\/span><\/p>\n

    This special session is devoted to current research in mathematical logic in a broad sense, covering its main areas and methods. The session brings together contributions in set theory, model theory, recursion (computability) theory, and category theory, together with related application in proof theory, topology, functional analysis, combinatorics, and algebraic logic. Its aim is to provide a unified forum for presenting recent developments across these interconnected fields. Topics represented in the session include set-theoretic and model-theoretic techniques, definability and classification problems, computability-theoretic methods, and categorical approaches to logic and foundations. Several contributions focus on semantic and structural aspects of logical systems, including categorical and algebraic semantics, interactions between syntax and semantics, and structural properties of formal theories. Proof-theoretic and algebraic-logical methods play a complementary role, contributing tools for the analysis of formal systems and their expressive power. The session brings together researchers from Brazil and Italy, reflecting an active and long-standing interaction between the two logic communities. By covering a wide spectrum of logical disciplines and emphasizing shared mathematical structures and methods, the session aims to stimulate interaction across subfields of logic and to strengthen collaborations between Italian and Brazilian researchers working in mathematical logic and its foundations.<\/span><\/p>\n

    Speakers:<\/strong><\/p>\n

      \n
    • Christina Brech, University of S\u00e3o Paulo (Brazil)<\/span><\/li>\n
    • Samuel Da Silva, Federal University of Bahia (Brazil)<\/span><\/li>\n
    • Mauro Di Nasso, University of Pisa (Italy)<\/span><\/li>\n
    • Rodrigo Freire, University of Brasilia (Brazil)<\/span><\/li>\n
    • Silvio Ghilardi, University of Milan (Italy)<\/span><\/li>\n
    • Serafina Lapenta, University of Salerno (Italy)<\/span><\/li>\n
    • Hugo Mariano, University of S\u00e3o Paulo (Brazil)<\/span><\/li>\n
    • Francisco Miraglia, University of S\u00e3o Paulo (Brazil)<\/span><\/li>\n
    • Ciro Russo, Federal University of Bahia (Brazil)<\/span><\/li>\n
    • Luca San Mauro, University of Bari (Italy)<\/span><\/li>\n
    • Luca Spada, University of Salerno (Italy)<\/span><\/li>\n
    • Santi Spadaro, University of Catania (Italy)<\/span><\/li>\n<\/ul>\n<\/div><\/section>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":6,"featured_media":0,"parent":210,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-1886","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/umi.dm.unibo.it\/jm-ita-bra-2026\/wp-json\/wp\/v2\/pages\/1886","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/umi.dm.unibo.it\/jm-ita-bra-2026\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/umi.dm.unibo.it\/jm-ita-bra-2026\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/umi.dm.unibo.it\/jm-ita-bra-2026\/wp-json\/wp\/v2\/users\/6"}],"replies":[{"embeddable":true,"href":"https:\/\/umi.dm.unibo.it\/jm-ita-bra-2026\/wp-json\/wp\/v2\/comments?post=1886"}],"version-history":[{"count":4,"href":"https:\/\/umi.dm.unibo.it\/jm-ita-bra-2026\/wp-json\/wp\/v2\/pages\/1886\/revisions"}],"predecessor-version":[{"id":2251,"href":"https:\/\/umi.dm.unibo.it\/jm-ita-bra-2026\/wp-json\/wp\/v2\/pages\/1886\/revisions\/2251"}],"up":[{"embeddable":true,"href":"https:\/\/umi.dm.unibo.it\/jm-ita-bra-2026\/wp-json\/wp\/v2\/pages\/210"}],"wp:attachment":[{"href":"https:\/\/umi.dm.unibo.it\/jm-ita-bra-2026\/wp-json\/wp\/v2\/media?parent=1886"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}