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 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 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".
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.
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".
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.
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.
January - February 2021, "Model Theory", S. Barbina (The Open University).
April - July 2021, "Around finite basis results for quasi-orders", R. Carroy (Turin).
January - February 2021, "Model Theory", S. Barbina (The Open University).