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.

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.

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.

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.

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

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…

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.”

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 –…

Giuseppe Primiero is invited speaker at the European Consortium on Mathematics in Industry Workshop on “Mathematical methods for explainable AI ” to be held on October 14th, 2024 at Siemens – TUM Garching Campus, Munich (Germany). Giuseppe will present a talk titled “Siemens – TUM Garching Campus, Munich (Germany)”, on the current work with MIRAI.