-
School of Formal Methods in the Philosophy of Sciences
Giuseppe Primiero will deliver a course on Formal Methods in the Philosophy of Computer Science and Information at the 1st School of Formal Methods in the Philosophy of Sciences, University of Urbino, 2-6 February 2026,
-
Overlay 2025
Leonardo Ceragioli and Giuseppe Primiero will present their two-part research, “A Proof System with Causal Labels,” at the OVERLAY 2025: 7TH INTERNATIONAL WORKSHOP ON ARTIFICIAL INTELLIGENCE AND FORMAL VERIFICATION, LOGIC, AUTOMATA, AND SYNTHESIS.
-
Seminar by Leonardo Ceragioli
-
Seminar Series by Melissa Antonelli
On 18 and 25 September and 2 October 2025, Professor Melissa Antonelli will deliver a seminar series titled “Logical Approaches to Quantitative Computations” at Sala Piero Martinetti, Via Festa del Perdono 7, from 15:00 to 17:00.
-
Lucia Guerrisi @ EPSA2025
On 27-30 August 2025 Lucia Guerrisi, will present a poster titled ‘Reliability of Deep Learning Modelling \\ for Digital Twin Simulations’ during EPSA2025, in Groningen, the Netherlands.
-
Lucia Guerrisi @ IACAP/AISB 2025
On 1-3 July 2025 Lucia Guerrisi, presented a talk titled ‘Reliability of Deep Learning Modelling \\ for Digital Twin Simulations’ during IACAP/AISB 2025, in Twente, the Netherlands.
-
SMARTEST PRIN PROJECT SEMINAR
Ramon Alvarado, University of Oregon, is an invited speaker at the SMARTEST PRIN PROJECT SEMINAR with a talk titled “Are computational methods the end of anthropocentric epistemology of science? If so, what takes its place?“. Date: July 18, 2025, h:10.00 Location: Aula Conferenze, CUMO, Noto
-
IUSS Philosophy Workshop
L&PIC – Linguistics & Philosophy IUSS Center. Epistemology and Philosophy of Mathematics 10 April 2025 – Trust & AI: Philosophical Perspectives The Linguistics & Philosophy Center at the School of Advanced Studies IUSS Pavia will host a one-day workshop, Trust & AI: Philosophical Perspectives. The diffusion and increased utilization of Artificial Intelligence in recent years have impacted…
-
Talk by G. Primiero at the workshop WEITA 2025
Giuseppe Primiero is an invited speaker at the 2nd Edition of the Workshop on Emerging ICT Trends & Applications (WEITA 2025), dedicated to the theme: “Explainable, Interpretable, and Trustworthy AI: Methods, Challenges, and Applications.”
-
IL DISACCORDO IN LOGICA
FILOSOFIA E SCIENZE: PERCORSI MULTIDISCIPLINARI Aula seminari, primo pianoDottorato in FilosofiaUniversità degli Studi di Roma Tor Vergata Leonardo CeragioliUniversità degli Studi di Milano SMARTEST & LUCI Lab Incontri: Martedì 3 dicembre 2024 – ore 15:00 – 17:00 (Aula Seminari, primo piano) Introduzione: perché più sistemi di logica? Mercoledì 4 dicembre 2024 – ore 11:00 –…