Synergia Seminars
upcoming seminars
II SEMESTER - A.Y. 2023/2024
17 - JAN - 2024, 16:00-18:00 Aula C5 (Sala Lauree) P. Albani
Pedro Quaresma (Univ. Coimbra)
"Automated Theorem Generation/Finding in Geometry"
Link video: https://www.youtube.com/watch?v=uOZCjwMuh6E
18 - JAN - 2024, 11:00-13:00 Aula C5 (Sala Lauree) P. Albani
Pedro Quaresma (Univ. Coimbra)
"A Geometry Deductive Database Prover"
Link video: https://www.youtube.com/watch?v=fk131sqeevI
25 - JAN - 2024, 17:00-19:00 Aula C5 (Sala Lauree) P. Albani
Gennaro Auletta (Univ. Cassino and Southern Lazio)
“Entanglement, causalità, realismo”
Link video: https://www.youtube.com/watch?app=desktop&v=uQG4LNtxkac
7 - MAR - 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 - MAR - 2024, 16:00-18:00 Aula C1, P. Albani
Francesco Paoli (University of Cagliari)
"Sequent Calculi for First-Order Strict-Tolerant Logic"
Link video: https://www.youtube.com/watch?v=Vqu03Kec7XI
4 - APR - 2024, 17:00-19:00 ONLINE
Emiliano Ippoliti (Univ. La Sapienza, Rome)
"Le predizioni possono salvare la predicibilità? Lo strano caso dei sistemi finanziari"
Link Video: https://www.youtube.com/watch?v=PvjrM2KIxls&list=PLGB6R7lq1LX_TUP0YVwCdvRVBI-iSiDL_&index=2
11 - APR - 2024, 16:00-18:00 Aula C1, P. Albani
Matteo Tesi (TU Wien)
"Logic, contradictions and fractional interpretations"
18 - APR - 2024, 16:00-18:00 Aula D3, P. Albani
Andrea Sabatini (Scuola Normale Superiore di Pisa)
"Nonmonotonic reasoning and structural proof-theory"
2 - MAY - 2024, 16:00-18:00 Aula C1, P. Albani
Franco Bacchelli (University of Bologna)
"L'infinito prima di Giordano Bruno"
16 - MAY - 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 - MAY - 2024, 16:00-18:00 Aula C1, P. Albani
Gabriele Pulcini (Univ. Tor Vergata)
"Contingencies, Hypersequents, and Paraconsistency"
30 - MAY - 2024, 16:00-18:00 Aula C1, P. Albani
Peter Schuster (University of Verona)
"What it needs to be conservative"
25 - JUN- 2024, 10:00-12:00 Aula Magna, Collegio Raffaello, Urbino
Seminario Synergia: Antonio Cerone (Nazarbayev University, Astana)
"Analysis of cognitive properties of interactive systems using model-checking"
Link Video: https://www.youtube.com/watch?v=Ev04e10kYEE
I SEMESTER A.Y. 2023/2024
12 - OCT -2023, 11:00-13:00 Sala Lauree (Aula C5) P. Albani ONLINE
Mirko Tagliaferri (Univ. Urbino)
"Frequentist Probability Logic"
19 - OCT -2023, 11:00-13:00 Sala Lauree (Aula C5) P. Albani
Vincenzo Crupi (Univ. Turin)
"The discourse on the method and its discontents"
Link video: https://www.youtube.com/watch?v=GUx7ruO7NKI
26 - OCT - 2023, 11:00-13:00 Aula Amaranto Palazzo Battiferri
Vincenzo Crupi (Univ. Turin)
"Reasons for second thoughts: Theory of the method wanted"
Link video: https://www.youtube.com/watch?v=COmgTyX7JUQ
2 - NOV - 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"
Link video: https://www.youtube.com/watch?v=wZnZ7lCiLY8
9 - NOV -2023, 11:00-13:00 Aula 12 P. Battiferri
Vincenzo Crupi (Univ. Turin)
"Prediction, accommodation, and old evidence: A Bayesian story"
Link video: https://www.youtube.com/watch?v=yUQgUa62Kb0
16 NOV - 2023, 11:00-13:00 Aula C5 Palazzo Albani
Marco Giunti (Univ. Cagliari)
“Mathematical entities or physical objects?”
Link video: https://www.youtube.com/watch?v=pBknbqm3sKw
23 NOV - 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 NOV - 2023, 11:00-13:00 Aula C5 Palazzo Albani
Giorgio Venturi (University of Pisa)
"Non-normality and insensitivity"
Link video: https://www.youtube.com/watch?v=wd7weeFXT4k
07 DEC - 2023, 11:00-13:00 Aula C5 Palazzo Albani
Niccolò Covoni (University of Urbino)
"Method of Abstraction: A Tentative Exploration of Quantum Information Processes