SMARTEST

Category: news

  • 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

    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 by Leonardo Ceragioli

  • Seminar Series by Melissa Antonelli

    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

    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

    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

    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

    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

    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

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