News

  • 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 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.

  • 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!

  • 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!

  • 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.
  • 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.
  • 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.
  • 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.
  • Information about upcoming PhD curses has been added to a new section of the website dedicated to courses (section still under construction).
  • Let us welcome Gianluca Paolini which joins the Logic in Turin group on a tenure track position.
  • 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.

Upcoming seminars

Udine, Torino

January 22nd, 2021, 16.30-18.30 (Online on WebEx)

R. Schindler (University of Muenster) TBA.

Udine, Torino

January 29th, 2021, 16.30-18.30 (Online on WebEx)

V. Fischer (University of Wien) TBA.

Genova

February 2nd, 2021, 14.00-16.00 (The seminar will take place on Microsoft Teams, at the page of the Genoa logic group. The access code is: fpedcxn. Alternatively, you can write to camerlo 'at' dima.unige.it to have an access link.)

M. Džamonja (Institut d'Histoire et de Philosophie des Sciences et des Techniques, Paris, and Institute of Mathematics Czech Academy, Prague) "Formalising Ordinal Partition Relations Using Isabelle/HOL".

Udine, Torino

February 5th, 2021, 16.30-18.30 (Online on WebEx)

M. Viale (University of Turin) "Tameness for set theory".

Udine, Torino

February 12th, 2021, 16.30-18.30 (Online On WebEx)

A. Kwiatkowska (University of Münster) TBA.

Udine, Torino

February 19th, 2021, 16.30-18.30 (Online on WebEx)

P. Shafer (University of Leeds) TBA.

Udine, Torino

February 26th, 2021, 16.30-18.30 (Online on WebEx)

S. Barbina (Open University) TBA.

Udine, Torino

March 5th, 2021, 16.30-18.30 (Online on WebEx)

N. de Rancourt (University of Wien) TBA.

Udine, Torino

March 12th, 2021, 16.30-18.30 (Online on WebEx)

C. Conley (Carnegie Mellon University) TBA.

Udine, Torino

March 26th, 2021, 16.30-18.30 (Online on WebEx)

A. Sorbi (University of Siena) TBA.

Udine, Torino

April 9th, 2021, 16.30-18.30 (Online on WebEx)

A. Berarducci (University of Pisa) "Asymptotic analysis of Skolem's exponential functions".

Udine, Torino

April 16th, 2021, 16.30-18.30 (Online on WebEx)

A. Poveda (Hebrew University of Jerusalem) TBA.

Genoa

  • February 2nd, 2021, 14.00-16.00 (The seminar will take place on Microsoft Teams, at the page of the Genoa logic group. The access code is: fpedcxn. Alternatively, you can write to camerlo 'at' dima.unige.it to have an access link.)

    M. Džamonja (Institut d'Histoire et de Philosophie des Sciences et des Techniques, Paris, and Institute of Mathematics Czech Academy, Prague) "Formalising Ordinal Partition Relations Using Isabelle/HOL".

Turin and Udine

All seminars will be held remotely using Webex. Please write to luca.mottoros [at] unito.it to obtain a link and the access code.

Recordings of some talks are available at this page.

  • January 22nd, 2021, 16.30-18.30 (Online on WebEx)

    R. Schindler (University of Muenster) TBA.

  • January 29th, 2021, 16.30-18.30 (Online on WebEx)

    V. Fischer (University of Wien) TBA.

  • February 5th, 2021, 16.30-18.30 (Online on WebEx)

    M. Viale (University of Turin) "Tameness for set theory".

  • February 12th, 2021, 16.30-18.30 (Online On WebEx)

    A. Kwiatkowska (University of Münster) TBA.

  • February 19th, 2021, 16.30-18.30 (Online on WebEx)

    P. Shafer (University of Leeds) TBA.

  • February 26th, 2021, 16.30-18.30 (Online on WebEx)

    S. Barbina (Open University) TBA.

  • March 5th, 2021, 16.30-18.30 (Online on WebEx)

    N. de Rancourt (University of Wien) TBA.

  • March 12th, 2021, 16.30-18.30 (Online on WebEx)

    C. Conley (Carnegie Mellon University) TBA.

  • March 26th, 2021, 16.30-18.30 (Online on WebEx)

    A. Sorbi (University of Siena) TBA.

  • April 9th, 2021, 16.30-18.30 (Online on WebEx)

    A. Berarducci (University of Pisa) "Asymptotic analysis of Skolem's exponential functions".

  • April 16th, 2021, 16.30-18.30 (Online on WebEx)

    A. Poveda (Hebrew University of Jerusalem) TBA.

PhD Courses

ATTENTION:

PhD courses may suffer last minutes modification due to coronavirus.

Some courses may be given online: interested students must contact the responsible professor for information and to schedule dates and modality of the course.

Udine

January - February 2021, "Model Theory", S. Barbina (The Open University).

Torino

April - July 2021, "Around finite basis results for quasi-orders", R. Carroy (Turin).

Genoa

TBA

Turin

  • April - July 2021, "Around finite basis results for quasi-orders", R. Carroy (Turin).

Udine

  • January - February 2021, "Model Theory", S. Barbina (The Open University).

Upcoming events

Members

Professors and researchers

Alessandro Andretta
alessandro.andretta at unito.it
Tel:+39 011 670 28 91
camerlo at dima.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
negri at dima.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

peterholy at gmx.at
Fabio Pasquali
pasquali at dima.unige.it

PhD Students

claudio.agostini at unito.it
Vittorio Bard
vittorio.bard at unito.it
Vittorio Cipriani
cipriani.vittorio at spes.uniud.it
Tel:+39 0432 558401
Eugenio Colla
eugenio.colla at unito.it
Greta Coraglia
coraglia at dima.unige.it
francesco.dagnino at dibris.unige.it
Tel:+39 010 353 67 09
Martina Iannella
iannella.martina at spes.uniud.it
Tel:+39 0432 558401
Tsvetlin Marinov
tsvetlinvladimirov.marinov at unito.it
Cosimo Perini Brogi
perinibrogi at dima.unige.it
Tel:+39 010 353 68 10
Salvatore Scamperti
salvatore.scamperti at edu.unito.it
Manlio Valenti
valenti.manlio at spes.uniud.it
Tel:+39 0432 558469
Louis Vuilleumier
louis.vuilleumier.1 at unil.ch

Former members and former students

Giorgio Audrito
giorgio.audrito at unito.it
basso at math.univ-lyon1.fr
fcaldero at uic.edu
camerlo at dima.unige.it
Gemma Carotenuto
gcarotenuto at unisa.it
filippo.cavallari at unito.it
vincenzo.dimonte at uniud.it
Jacopo Emmenegger
marta.fioricarones at outlook.it
emanuelefrittaion at gmail.com
vgregoriades at mail.ntua.gr
fiorella.guichardaz at math.uni-freiburg.de
ikegami at people.kobe-u.ac.jp
giorgio.laguzzi at libero.it
Noa Lavi
noa.lavi at mail.huji.ac.il
alberto.marcone at uniud.it
Tel:+39 0432 558 482
rivello.edoardo at gmail.com
silvia.steila at unito.it
gio.venturi at gmail.com
ale.vignati at gmail.com