Upcoming Cross-Alps Logic Seminar

  • March 1st, 2024, 16.00-17.00 (Online on Webex)

    S. Henry (University of Ottawa) "Higher categorical language".

    Abstract.

    It is a well-known result that first-order formulas in the language of categories that do not use equality between objects are automatically invariant under isomorphism and equivalence of categories. The aim of this talk is to explain how this can be generalized to any kind of "higher structures". More precisely, given any Quillen model category, we will attach to it a first-order language whose formulas are automatically invariant under homotopies and weak equivalences between the fibrant objects. This is already useful for direct practical applications by allowing us to automatically deduce in concrete situations that notions are invariant under "weak equivalences" without proof, but it also opens the door to a higher categorical version of model theory. Partly joint work with César Bardomiano-Martinez.

    Hide abstract.

News

  • January 12th, 2024: in celebration of UNESCO World Logic Day, we are organizing an event at the Department of Mathematics of the University of Turin for high schools to get familiar with the concept of infinity.

  • November 2023: Let's welcome Beatrice Degasperi and Elena Pozzan, the new PhD students in logic at the Department of Mathematics in Turin.

  • November 2023: let's welcome Gian Marco Osso, the new PhD student in logic in Udine.

  • October 2023: Martina Iannella successfully defends his PhD thesis. Congratulations Martina!

  • October 2023: Davide Castelnovo successfully defends his PhD thesis. Congratulations Davide!

  • From 11th to 15th September 2023, Noam Greenberg from the Victoria University of Wellington visits the Mathematics department in Turin.

  • July 2023: Claudio Agostini wins the Prize premio Franco Montagna 2023. It is awarded every two years by AILA and UMI for PhD thesis on mathematical logic and applications.

  • July 2023: We welcome Thilo Weinert, who joins our logic group as a postdoctoral researcher here in Udine.

  • May 2023: Vittorio Cipriani successfully defends his PhD thesis. Congratulations Vittorio!

  • From 22nd to 26th May 2023, Luca San Mauro from TU Wien visits the Department of Mathematics, Computer Science, and Physics in Udine.

  • May 2023: We welcome Gianluca Basso, who joins our logic group as a postdoctoral researcher here in Turin.

  • February 22th, 2023: After the success of the first edition of "Verso l'infinio ed oltre...", there will be a second edition at the University of Turin's Department of Mathematics to bring secondary schools familiar with the concept of infinity.

  • February 3rd, 2023: Tsvetlin Marinov successfully defends his PhD thesis. Congratulations Tsvetlin!

  • January 14th has been named World Logic Day by UNESCO and CIPSH. To celebrate World Logic Day, the Cross-Alps Logic seminar is hosting Vasco Brattka (Universität der Bundeswehr München) for an online seminar on 2023 January 13th at 16:00 (Italian local time: UTC/GMT +1:00 hour). For more information, please contact Vincenzo Dimonte.
    On the same day, AILA is organizing activities for the general public in many Italian universities including Turin and Udine. More information on this and other events are available on the AILA webpage.

  • January 13th, 2023: On the occasion of UNESCO World Logic Day, we organised an event at the Department of Mathematics of the University of Turin for High schools to get familiar with the concept of infinity.

  • December 20th, 2022: Descriptive set theory and combinatorics - Workshop at the Department of Matemathics of the University of Turin. More info link.

  • December 19th, 2022: Claudio Agostini and Eugenio Colla successfully defend their PhD thesis. Congratulations Claudio and Eugenio!

  • November 2022: let's welcome Andrea Volpi, the new PhD student in logic in Udine.

  • From 5th to 9th September 2022 Vadim Weinstein from the University of Oulu is visiting the Department of Mathematics, Computer Science, and Physics in Udine.

  • From 28th June to 1th July 2022, Raphael Carroy from the University of Turin visits the Department of Mathematics, Computer Science, and Physics in Udine.

  • From 14th to 18th March 2022, Alberto Marcone from the University of Udine visits the Mathematics department in Turin.

  • Ned Wontner is visiting the Department of Mathematics during January 2022.

  • January 14th has been named World Logic Day by UNESCO and CIPSH. To celebrate World Logic Day, the Cross-Alps Logic seminar is hosting Menachem Magidor (Hebrew University of Jerusalem) for an online seminar on 2022 January 13th at 17:00 (Italian local time: UTC/GMT +1:00 hour). For more information, please contact Luca Motto Ros.
    On 14th January, AILA in association with SILFS is organizing an online meeting accessible to everyone. More information on this and other events are available on the AILA webpage.

  • From 15th to 24th November 2021, Asger Törnquist visits the Mathematics department in Turin.

  • November 2021: Vittorio Bard successfully defends his PhD thesis. Congratulations Vittorio!

  • November 2021: Let's welcome Lorenzo Notaro, the new PhD student in logic at the department of mathematic in Turin.

  • November 2021: let's welcome Fernando Barrera and Sebastiano Thei, the new PhD students in logic in Udine.

  • September 2021: Marta Fiori Carones visits the mathematics department in Udine.

  • September 2021: We welcome Francesco Parente, who joins our logic group as a postdoctoral researcher here in Turin.

  • August 2021: Quanta megazine has recently published an article about the paper "Torsion-Free Abelian Groups are Borel Complete" of Gianluca Paolini and Saharon Shelah. The Quanta magazine article can be found here, and Paolini and Shelah's article here.

  • The Mathematics Department of the University of Turin will host the European Set Theory Conference 2022. More information here.

  • July 2021: Manlio Valenti successfully defends his PhD thesis.

  • July 2021: Salvatore Scamperti wins the prize premio tesi 3+2. The prize is awarded every year by AILA for bachelor and master thesis in logic and its applications.

  • May 2021: Manlio Valenti starts his Post Doc with the Logic group in Udine.

  • March 2021: Peter Holy starts his second year as a Post Doc with the Logic group in Udine.

  • UNESCO, in association with CIPSH, has proclaimed 14 January to be World Logic Day. To celebrate this event, AILA in association with SILFS, EATCS and UNINETTUNO has organized an online meeting accessible to everyone. The meeting will be held on 14th January 2021 at 3.00 PM at this link. More information on this and other events are available on the AILA webpage and on the CIPSH webpage.

  • October 2020: After his PhD in Turin and Lausanne, Gianluca Basso won an IMPULSION post-doc position at Université Lyon 1 starting from November. Congratulation Gianluca and good work in the new university!

  • October 2020: Let's welcome Salvatore Scamperti, the new PhD student in logic at the department of mathematic in Turin.

  • June 2020: Gianluca Basso successfully defends his PhD thesis. Congratulations Gianluca!

  • March 2020: Marta Fiori Carones successfully defends her PhD thesis.

  • February 2020: Peter Holy starts his Post Doc with the Logic group in Udine.

  • February 2020: Maxwell Levine visits the mathematics department in Turin.

  • January 2020: Martina Iannella visits the mathematics department in Turin.

  • December 2019: Filippo Calderoni visits the mathematics department in Turin.

  • December 2019: We welcome Raphaël Carroy, who joins our logic group as a researcher.

  • October 2019: Rosario Mennuni visits the mathematics department in Turin.

  • Ottobre 2019: Lorenzo Lupieri Baglini visits the mathematics department in Turin.

  • July 2019: Claudio Agostini wins the prize premio tesi 3+2. The prize is awarded every year by AILA for bachelor and master thesis in logic and its applications.

  • Filippo Calderoni wins the Prize premio Franco Montagna 2019. It is awarded every two years by AILA and UMI for PhD thesis on mathematical logics and applications.

  • July 2019: The project PRIN2017 "Mathematical Logic: models, sets, computability" (Prot. 2017NWTM8R) has been approved by the Miur with a total co-funding of € 535.895. The PI of the project is prof. Alessandro Berarducci from the University of Pisa. The University of Turin hosts a local unit of the project (PI: Luca Motto Ros) and has been assigned a co-funding of € 148.228.

  • June 2019: Artem Chernikov visits the mathematics department in Turin.

  • May 2019: Vincenzo Marra visits the mathematics department in Turin.

  • May 2019: Giuseppe Rosolini visits the mathematics department in Turin.

  • May 2019: The logic and teaching conference "Educare alla razionalità - L'insegnamento della matematica e della logica nella scuola secondaria" will take place in Turin at the end of May. Further information are given in the "event" section.

  • April 2019: Information about upcoming PhD curses has been added to a new section of the website dedicated to courses (section still under construction).

  • March 2019: Let us welcome Gianluca Paolini which joins the Logic in Turin group on a tenure track position.

  • January 2019: Let's welcome the new PhD students in logic in Turin: Claudio Agostini, Eugenio Colla, and Tsvetlin Marinov.

  • The new website of Logic in Turin is up.

PhD Courses

Turin

  • November 2023 - June 2024, "Topics in Mathematical Logic", L. Motto Ros (Turin).

    Reading Course

Hide lectures


Udine

  • January - February 2024, "Determinacy and I0", V. Dimonte (University of Udine).

    The schedule of the course is tentative and will take into account the requests of the participants.

Hide lectures

  • March - June 2024, "Numbers, Numerosities and Non-Standard Analysis", V. Benci (University of Pisa).

    The schedule of the course is tentative and will take into account the requests of the participants.

Hide lectures

  • May - July 2024, "Introduction to the Zoo of Reverse Mathematics", A. Marcone (University of Udine).

    The schedule of the course is tentative and will take into account the requests of the participants.

Hide lectures

  • May - June 2024, "Linear Orderings", T. Weinert (University of Udine).

    The schedule of the course is tentative and will take into account the requests of the participants.

Hide lectures

Upcoming events

TBA

Members

Professors and researchers

alessandro.andretta at unito.it
Tel:+39 011 670 28 91
riccardo.camerlo at unige.it
Tel:+39 010 353 68 24
raphael.carroy at unito.it
vincenzo.dimonte at uniud.it
Tel:+39 0432 558498
jacques.duparc at unil.ch
alberto.marcone at uniud.it
Tel:+39 0432 558 482
luca.mottoros at unito.it
Tel:+39 011 670 29 05
sara.negri at unige.it
Tel:+39 010 353 68 34
gianluca.paolini at unito.it
Tel:+39 011 670 29 31
rosolini at unige.it
Tel:+39 010 353 69 42
matteo.viale at unito.it
Tel:+39 011 670 29 31
domenico.zambella at unito.it
Tel:+39 011 670 28 78

Postdoc

gianluca.basso at unito.it
francesco.dagnino at dibris.unige.it
Tel:+39 010 353 67 09
emmenegger at dima.unige.it
Fabio Pasquali
pasquali at dima.unige.it
Thilo Weinert
thilo.weinert@uniud.it

PhD Students

Fernando Barrera
barrera.fernando at spes.uniud.it
Tel:+39 0432 558401
Beatrice Degasperi
beatrice.degasperi at unito.it
lorenzo.notaro at unito.it
Gian Marco Osso
osso.gianmarco at spes.uniud.it
Tel:+39 0432 558401
beatrice.pitton at unil.ch
Elena Pozzan
elena.pozzan at unito.it
Juan Santiago
santiago at imj-prg.fr
salvatore.scamperti at unito.it
Sebastiano Thei
thei.sebastiano at spes.uniud.it
Tel:+39 0432 558401
Andrea Volpi
volpi.andrea at spes.uniud.it
Tel:+39 0432 558401

Former members and former students

claudio.agostini at tuwien.ac.at
giorgio.audrito at unito.it
Vittorio Bard
vittorio.bard at unito.it
filippo.calderoni at rutgers.edu
Gemma Carotenuto
gcarotenuto at unisa.it
filippo.cavallari at unito.it
vittorio.cipriani17 at gmail.com
Eugenio Colla
eugenio.colla at unito.it
coraglia at dima.unige.it
marta.fioricarones at outlook.it
e.frittaion at leeds.ac.uk
vgregoriades at mail.ntua.gr
Fiorella Guichardaz
fiorella.guichardaz at math.uni-freiburg.de
peter.holy at tuwien.ac.at
Martina Iannella
iannella.martina at spes.uniud.it
ikegami at shibaura-it.ac.jp
giorgio.laguzzi at uniupo.it
Noa Lavi
noa.lavi at mail.huji.ac.il
Tsvetlin Marinov
tsvetlinvladimirov.marinov at unito.it
Francesco Parente
francesco.parente at unito.it
perinibrogi at dima.unige.it
Tel:+39 010 353 68 10
edoardo.rivello at unito.it
silvia.steila at unito.it
manlio.valenti at wisc.edu
Tel:+39 0432 558469
giorgio.venturi at unipi.it
vignati at imj-prg.fr
louis.vuilleumier.1 at unil.ch