Upcoming Cross-Alps Logic Seminar

  • June 9th, 2023, 16.00-17.00 (Online on Webex)

    U. Kohlenbach (Technische Universität Darmstadt) "Proof mining: Recent developments".

    Abstract.

    In this talk we survey some recent developments in the project of applying proof-theoretic transformations to obtain new quantitative and qualitative information from given proofs in areas of core mathematics such as nonsmooth optimization, geodesic geometry and ergodic theory. We will discuss some of the following items:
    (1) Proof mining in the context of set-valued monotone and accretive operators with applications in nonsmooth optimization such as inconsistent feasibility theorems (partly joint work with Nicholas Pischke).
    (2) Recent linear rates of asymptotic regularity as well as rates of metastability for Tikhonov-regularization methods (joint work with Horaţiu Cheval and Laurenţiu Leuştean).
    (3) The extraction of uniform rates of convergence for the \(\varepsilon\)-capture in the Lion-Man game in a general geodesic setting from a proof that made iterated use of sequential compactness arguments (i.e. arithmetical comprehension). The extraction also qualitatively generalizes previously known results (joint work with Genaro López-Acedo and Adriana Nicolae).
    (4) Recent applications to ergodic theory (joint work with Anton Freund).

    Hide abstract.

  • June 16th, 2023, 16.00-17.00 (Online on Webex)

    A. Nies (University of Auckland) "Computably totally disconnected, locally compact groups".

    Abstract.

    In the first part of the talk I will introduce two notions of computable presentation of a totally disconnected, locally compact (t.d.l.c.) group, and show their equivalence. The first relies on standard notions of computability in the uncountable setting. The second restricts computation to a countable structure of approximations of the elements, the “meet groupoid” of compact open cosets. Based on this, I obtain various examples of computably t.d.l.c. groups, such as \(\operatorname{Aut}(T_d)\) and some algebraic groups over the field of \(p\)-adic numbers.
    In the second part I show that given a computable presentation of a t.d.l.c. group, the modular function and the Cayley-Abels graphs (in the compactly generated case) are computable. I give an example where the scale function fails to be computable.
    I explain why the class of computably t.d.l.c. groups is closed under most of the constructions studied by Wesolek.
    Time permitting, I will give a criterion when a computable presentation is unique up to computable isomorphism. Joint work with Alexander Melnikov.

    Hide abstract.

News

  • 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

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
francesco.parente at unito.it
Tel:+39 011 670 28 16
Fabio Pasquali
pasquali at dima.unige.it

PhD Students

Fernando Barrera
barrera.fernando at spes.uniud.it
Tel:+39 0432 558401
Vittorio Cipriani
cipriani.vittorio at spes.uniud.it
Tel:+39 0432 558401
coraglia at dima.unige.it
Martina Iannella
iannella.martina at spes.uniud.it
Tel:+39 0432 558401
Lorenzo Notaro
lorenzo.notaro at unito.it
perinibrogi at dima.unige.it
Tel:+39 010 353 68 10
beatrice.pitton at unil.ch
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
Eugenio Colla
eugenio.colla at unito.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
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
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