Genoa Logic Group

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

Cross-Alps Logic Seminar
An online seminar series gathering the logic groups at the universities of Genoa, Lausanne, Turin and Udine.

Past seminars at DIMA:

Friday, March 17th 2023
· 14h00-18h00 CEST, Room 706

Genoese recollections on Lawvere's work and ideas
An informal meeting in Genoa to celebrate and recollect some of the work of Bill Lawvere.

Tentative list of speakers:
· Marco Grandis
· Eugenio Moggi
· Ruggero Pagnan
· Fabio Pasquali
· Pino Rosolini

The meeting is in person and everyone is welcome to join. Registration is not required, but please write to one of the organisers in case you wish to join for dinner afterwards.
For any question feel free to write to one of the other organisers: Greta Coraglia, Francesco Dagnino, Jacopo Emmenegger, Enrico Ghiorzi.

Thursday, Sept. 30th 2021
· 16h00 CEST, Room 706
Jérémie Marquès (Université de Nice Sophia-Antipolis)
Title: Translations of type space functors
[Abstract | Slides]

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.