Synergia Seminars

17/01/2024
16:00-18:00 Aula C5 (Sala Lauree) P. Albani
Pedro Quaresma (Univ. Coimbra)
Automated Theorem Generation/Finding in Geometry

18/01/2024
11:00-13:00 Aula C5 (Sala Lauree) P. Albani
Pedro Quaresma (Univ. Coimbra)
A Geometry Deductive Database Prover 

25/01/2024
17:00-19:00 Aula C5 (Sala Lauree) P. Albani
Gennaro Auletta (Univ. Cassino and Southern Lazio)
Entanglement, causalità, realismo

7/03/2024
16:00-18:00  Aula C1, P. Albani
Andrea Borghini (University of Milano)
La filosofia nella modellizzazione del cibo e dei sistemi alimentari

21/03/2024
16:00-18:00 Aula C1, P. Albani
Francesco Paoli (University of Cagliari)
Sequent Calculi for First-Order Strict-Tolerant Logic

4/04/2024
17:00-19:00 ONLINE

Emiliano Ippoliti (Univ. La Sapienza, Rome) 

Le predizioni possono salvare la predicibilità? Lo strano caso dei sistemi finanziari

11/04/2024
16:00-18:00 Aula C1, P. Albani

Matteo Tesi (TU Wien)
Logic, contradictions and fractional interpretations

18/04/2024
16:00-18:00 Aula D3, P. Albani

Andrea Sabatini (Scuola Normale Superiore di Pisa)
Nonmonotonic reasoning and structural proof-theory

2/05/2024
16:00-18:00 Aula C1, P. Albani
Franco Bacchelli (University of Bologna)
L'infinito prima di Giordano Bruno

16/05/2024
16:00-18:00 Aula C1, P. Albani

Elio Nenci (University of Milano)

Il sapere matematico rappresentato in ‘tavole’. Un metodo storico-didattico per insegnare la scienza del passato 

23/05/2024
16:00-18:00 Aula C1, P. Albani

Gabriele Pulcini (Univ. Tor Vergata)
Contingencies, Hypersequents, and Paraconsistency

30/05/2024
16:00-18:00 Aula C1, P. Albani

Peter Schuster (University of Verona)
What it needs to be conservative

25/06/2024
10:00-12:00 Aula Magna, Collegio Raffaello, Urbino

Antonio Cerone (Nazarbayev University, Astana)
Analysis of cognitive properties of interactive systems using model-checking 

12/10/2023
11:00-13:00  ONLINE
Mirko Tagliaferri (Univ. Urbino)
Frequentist Probability Logic

19/10/2023
11:00-13:00  Sala Lauree (Aula C5) P. Albani
Vincenzo Crupi (Univ. Turin)
The discourse on the method and its discontents

26/10/2023
11:00-13:00 Aula Amaranto Palazzo Battiferri
Vincenzo Crupi (Univ. Turin)
Reasons for second thoughts: Theory of the method wanted

2/11/2023
11:00-13:00 Sala Lauree (Aula C5) P. Albani
Vincenzo Crupi (Univ. Turin)
To dovetail the phenomena: The cold case of the Copernican revolution

9/11/2023
11:00-13:00 Aula 12 P. Battiferri
Vincenzo Crupi (Univ. Turin)
Prediction, accommodation, and old evidence: A Bayesian story

16/11/2023
11:00-13:00 Aula C5 Palazzo Albani
Marco Giunti (Univ. Cagliari)
Mathematical entities or physical objects?

23/11/2023
11:00-13:00 Aula 12 Palazzo Battiferri
Claudio Ternullo (University of Barcelona) and Yaroslav D. Sergeyev (University of Calabria)
The Theory of Grossone and the Continuum Problem

30/11/2023
11:00-13:00 Aula C5 Palazzo Albani
Giorgio Venturi (University of Pisa)
Non-normality and insensitivity

07/12/2023
11:00-13:00 Aula C5 Palazzo Albani
Niccolò Covoni (University of Urbino)
Method of Abstraction: A Tentative Exploration of Quantum Information Processes