SILFS on January 14 celebrates World Logic Day 2023 by sponsoring AILA, which is coordinating outreach activities throughout Italy. The activities will be held at various universities throughout Italy. Below are details of the activities organized by the participating venues. 

Please note: Since January 14, 2023 is a Saturday, the activities will take place on January 13, 2023.

Bologna

Activities will take place in the morning and afternoon of Jan. 13. The morning activities will be held at the Ercolani teaching rooms, Department of Computer Science, Science and Engineering, University of Bologna – via Mura Anteo Zamboni 2B. The morning activities will be dedicated to high school science students. Some simple reasoning will be proposed and, through the mathematical formalism of natural deduction, rigorously proved or disproved. The afternoon activities (2:30 p.m.) will be held in Room G1 of the Geology Building, Via Zamboni 67. The afternoon activities will be dedicated to undergraduates. Dr. Martino Lupini will give a seminar entitled Definability and invariants: new applications of logic in algebra, topology, and analysis. The seminar will present an overview of applications of logic in mathematics, focusing on an area recently developed in collaboration with Bergfalk and Panagiotopoulos, in which techniques developed in the context of the study of notions of “definability” in mathematical logic are applied to the study of algebraic invariants in homological algebra, topology, and functional analysis. For more information contact Riccardo Treglia, riccardo.treglia (at) unibo (dot) it

Cagliari

The event will take place throughout the day on Jan. 13 at the Motzo Hall of the Department of Philosophy at the University of Cagliari. More information on the event webpage

Event schedule.

  • 10 a.m. – 10:30 a.m. Opening
  • 10.30 – 11.15 Roberto Giuntini: “Brouwer and Kleene meet Quantum Mechanics”
  • 11.30 – 12.15 Giuseppe Sergioli: “Logic, Quantum Information and Machine Learning”
  • 12:30 – 13:15 Stefano Bonzio: “On bochvar algebras: representation theorems and subquasivarieties”
  • 13.15 – 15:30 Lunch break
  • 15:30 – 16:15 Francesco Paoli: “Semiorthomodular Brouwer-Zadeh lattices”
  • 16:30 – 17:15 Hector Freytes: “…to be added”
  • 18.30 – 19.15 Antonio Ledda: “Connectedness and intuitionism”
  • 19.30 Closing

For more information, contact Giuseppe Sergioli at: giuseppe.sergioli (at) gmail (dot) com

Padova

The activities, which are laboratory-based, will be held on the afternoon of Jan. 13 at the Department of Mathematics “Tullio Levi-Civita” in Via Trieste, 63. The activities will be aimed at students of three-year secondary school classes. During the meeting, logical fallacies, errors in reasoning as well as

For more information, write to the following address: wld2023 (chiocciola) math.unipd.it

Palermo

The meeting will take place in the morning at the Department of Mathematics and Computer Science, 34 Archirafi Street, Palermo.

The meeting will discuss logic, education, computer science, social networks and probability.

More information on the meeting webpage

For more information contact Giuseppe Metere at: giuseppe.metere (chiocciola) unipa (dot) it

Roma

L’The event will take place throughout the day on Jan. 13 at Roma Tre University.

Program of the event

  • 9 a.m.-1 p.m. (Aula Magna of the School of Humanities, Philosophy, Languages): “Thinking Paradox in Mathematics Physics and Philosophy.”
  • Morning aimed at upper secondary schools, with a round table discussion and award ceremony for the winners of the 2021 announcement. Roundtable participants: Paola D’Aquino (University of Campania Luigi Vanvitelli), Carlo Cosmelli (formerly University La Sapienza), Marco Piazza (University Roma Tre). Moderator: Lorenzo Tortora de Falco (Roma Tre University). Winning schools: high school of science Democritus of Rome, IIS Leonardo da Vinci of Maccarese (Rome).
  • 2:30-4:30 p.m. (Department of Mathematics and Physics): “Logic in Primary School” (Training activity for teachers accredited on S.O.F.I.A. platform) by Luigi Bernardi (University Roma Tre – Université d’Aix-Marseille) and Antonio Veredice (La Sapienza University).
  • 5:30-7 p.m. (Tomo Libreria Caffé, Via degli Etruschi 4): “Aperitivo di Logica” (popularizing event). Speakers: Marianna Girlando (University of Amsterdam), Paolo Pistone (University Roma Tre), Matteo Acclavio (University Roma Tre), Luca San Mauro (University La Sapienza).

For more information contact Paolo Pistone at the following address: paolo.pistone (chiocciola) uniroma3 (punto) it

Salerno

The activities will take place on the morning of Jan. 13 in Room P5 of the Department of Mathematics at the University of Salerno (Building F3). The workshops will be aimed at students in the three-year upper secondary school. Connectives and quantifiers and epistemic logic will be discussed during the meeting.

More information on the meeting webpage.

For more information contact Serafina Lapenta at: slapenta (chiocciola) unisa (punto) it

Teramo

The activities will take place on the morning of Jan. 13 at the Department of Communication Sciences at the University of Teramo and will be dedicated to students enrolled in the fourth and fifth years of high school. The day will include 3 activities aimed at raising students’ awareness of the importance of scientific and, more generally, argumentative rigor. The event is organized by Prof. Raffaele Mascella and Dr. Davide Fazio in collaboration with Professors Eramo, Pelusi and Tallini (UNITE).

Program of the day.

  • 9:00 – 11:00. DEBATE. 4 teams will compete in duels during which debates on current issues will be held. During each duel one team will have to argue a thesis and the other will have to try to refute it using rigorous argumentative strategies. The winners of the matches will compete in a final.
  • 11:10 – 12:00. THE SCIENCE OF REASONING. During this talk, arguments whose analysis will touch on some of the most important aspects of contemporary logic, from non-classical logics to non-monotonic logics, will be reviewed interactively.
  • 12:00 – 12:30 P.M.: LOGIC, COMPUTERS, IA. During this talk given by Prof. Eramo, Prof. Danilo Pelusi, and Prof. Luca Tallini, some of the most important applications of Logic in Computer Science and Artificial Intelligence will be reviewed.

For more information, please contact Davide Fazio at: dfazio2 (chiocciola) unite (punto) it

Torino

Verso l’infinito e oltre…

The activities will take place on the morning of Jan. 13 (9 a.m. to noon) at the Department of Mathematics “G. Peano,” University of Turin and will be dedicated to upper secondary school students. The activities will include an initial mini-conference and workshops.

More information on the meeting webpage.

For more information contact Luca Motto Ros at the following address: luca.mottoros (at) united (dot) it

Udine

L’Infinito

The meeting will take place in the morning at the Rizzi Science Campus, University of Udine.

For more information contact Vincenzo Dimonte at: vincenzo.dimonte (chiocciola) uniud (punto) it

We also report some logic workshops and a public event by Silvia Pittarello.

Lab: dire fare dimostrare

Thursday, January 12

09.15 – 11.00 and 11.20 – 13.00

IPSEOA Pietro d’Abano.

14.00-15.30
Liceo Statale “Celio – Roccati” Rovigo

Friday, January 13

11.20 – 13.00
IPSEOA Pietro d’Abano

Event: La logica delle donne.

Friday, January 13

Come ragioneremmo oggi se Aristotele fosse stato una “lei”.

Sala Anziani, Moroni Palace, Padova.