Genoa Logic Group

Home Seminars Past Events Courses Offered Some Links Our Informal Logic Network

Current Semester:

Thursday, Sept. 30th 2021
· 16h00 CEST, Seminar@DiMa and on Zoom
   Room 706 ; Zoom Link : Please email us if interested in attending the talk online
Jérémie Marquès (Université de Nice Sophia-Antipolis)
Title: Translations of type space functors
[Abstract | Slides]

Previous Semesters:

Tuesday, June 8th 2021
· 15h00 CEST (13h00 UTC), online seminar
Joanna Ko (University of Göttingen)
Title: Groupoid Models for Diagrams of Groupoid Correspondences
[Abstract | Slides]

Thursday, May 27th 2021
· 15h00 CEST (13h00 UTC), online seminar
Sebastiano Thei (University of Trento)
Title: Class forcing and set-theoretic geologies
[Abstract | Slides]

Monday, February 1st 2021
· 14h00 CET (13h00 UTC), online seminar
Mirna Džamonja (Institut d'Histoire et de Philosophie des Sciences et des Techniques, Paris, and Institute of Mathematics Czech Academy, Prague)
Title: Formalising Ordinal Partition Relations Using Isabelle/HOL
[Abstract | Slides]

Monday, January 11th 2021
· 15h00 CET, online seminar
Filippo Calderoni (University of Illinois at Chicago)
Title: Categorifying Borel reducibility
[Abstract | Slides]

Monday, November 23rd 2020
· 14h00 CET, online seminar
Riccardo Camerlo (University of Genoa)
Title: Modal Operators and Toric Ideals
[Abstract | Slides]

Monday, November 2nd 2020
· 15h00 CET, online seminar
Matteo Tesi (SNS)
Title: Proof-theory and neighborhood semantics for infinitary intuitionistic logic with an application to Gödel- McKinsey-Tarski embedding
[Abstract | Slides]

Tuesday, September 29th 2020
· 16h00 CEST, online seminar
Fifth meeting of the working seminar on Modal logic. Speaker: Cosimo Perini Brogi (University of Genoa)
[Abstract | Slides]

Tuesday, September 8th 2020
· 17h00 CEST, online seminar
Gianluca Basso (University of Lausanne)
Title: Topological dynamics beyond Polish groups
[Abstract | Slides] Tuesday, February 25th 2020
· 14h00, room 714
Jacopo Emmenegger (University of Genoa)
Title: Elementary doctrines as coalgebras
[Abstract | Slides] Thursday, February 20th 2020
· 15h30, room 714
Giuseppe Metere (CNR)
[Abstract | Slides]

Thursday, February 13th 2020
· 14h00, room 713
Jean-François Mascari (CNR)
Title: Functorial semantics in logic, computer science, physics and biology
[Abstract | Slides]

Previous years: 2018, 2019.