SMARTEST

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