-
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 –…
-
Giuseppe Primiero @ECMI Workshop on XAI, 14 October 2024, Garching (Germany)
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.
-
Presentations from the 1st SMARTEST project meeting are available for download
Balbir S. Barn: On Methodological Research Challenges for Sociotechnical Digital Twin Design for Public Policy Giuseppe Primiero: Trustworthy Copies of Non-deterministicComputations Alessandro G. Buda: Generative AI Mitigation for Ethical and Responsible AlgorithmsU Vania Dimitrova: Developing City Infrastructure Ontologies to Support Complex Decision Making Roberta Ferrario: Foundational Issues for an Ontology of Digital Twin Luca Biccheri:…
-
SMARTEST 1st Project Meeting
C.U.M.O. Consorzio Universitario Mediterraneo Orientale September 9-10 2024 September 9 9:00 Coffee break 9:45 Welcoming 10:00 INVITED TALK – Balbir Barn: On Methodological Research Challenges for Sociotechnical Digital Twin Design for Public Policy 11:00 Coffee break FIRST SESSION, UniMi Unit 11:30 Giuseppe Primiero:Trustworthy Copies of Non-deterministic Computations 12:30 Alessandro Buda:Generative AI Mitigation for Ethical and…
-
Open research position at Università degli Studi di Milano
A new call for a 12 months research position, within the project SMARTEST – Simulation of Probabilistic Systems for the Age of the Digital Twin, has been announced by the University of Milano. The candidate is expected to be specialized in any of the following areas: Temporal Logics, Proof Theories and Multi-Agent Systems with a…
-
Giuseppe Primiero @ CiE2024
Giuseppe Primiero is invited speaker at the HaPoC Special Session on “Computing Knowledge: Computational Aspects of Epistemic Logics” to be held during the CiE 2024 Conference (8-12 July) at the Science Park of the University of Amsterdam. Giuseppe will present a talk titled “Reasoning about (Negative) Trust under Uncertainty”, joint work with Francesca Doneda and…
-
Roberta Ferrario @ FOIS 2024
On July 08-09 2024 Roberta Ferrario, will present two talks titled ‘Interpreting Texts and Their Characters‘ and ‘Hybrid Collective Intentionality’ during the ‘14TH INTERNATIONAL CONFERENCE ON FORMAL ONTOLOGY IN INFORMATION SYSTEMS (FOIS 2024)’, in Enschede, the Netherlands Click here for more information.
-
Nicola Angius @ COGSCI 2024
On July 24-27 2024 Nicola Angius, with Acciai A., Perconti P, Plebe A., will present a talk titled ‘Co-Simulations of Brain Language Processing using Neural Language Models‘ during the ‘COGSCI (Cognitive Science Society) 2024′, in Rotterdam, the Netherlands Click here for more information.
-
Nicola Angius @ IACAP 2024
On July 8-10 2024 Nicola Angius, with Perconti P., Plebe A., Acciai A., will present a talk titled ‘Co-Simulations of Brain Language Processing using Neural Language Models‘ during the ‘IACAP (International Association for Computing and Philosophy) 2024′, organised at the University of Oregon, Eugene (OR) Click here for more information.
-
Nicola Angius @ ACS 2024
On June 17-19 2024 Nicola Angius, with Acciai A., Perconti P, Plebe A., presented a talk titled ‘Undesigned Cognitive Architecture‘ during the ‘ACS (Advances in Cognitive Science) 2024′, organised at the Italian National Research Council (CNR), Palermo. Click here for more information.