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.

More..

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.

Less

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

Lausanne

TBA

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