https://luci.unimi.it/members/hykel-hosni/https://luci.unimi.it/research/logic/https://luci.unimi.it/members/giuseppe-primiero/https://luci.unimi.it/research/scientific-inference/https://luci.unimi.it/research/uncertainty/https://luci.unimi.it/research/computation/https://luci.unimi.it/research/bounded-rationality/https://luci.unimi.it/members/marcello-dagostino/https://luci.unimi.it/members/sandro-sozzo/https://luci.unimi.it/research/trustworthy-digital-copies/https://luci.unimi.it/research/algorithmic-bias/https://luci.unimi.it/members/francesco-genco/https://luci.unimi.it/members/juergen-landes/https://luci.unimi.it/members/alejandro-solares-rojas/https://luci.unimi.it/members/alberto-termine/https://luci.unimi.it/members/ekaterina-kubyshkina/https://luci.unimi.it/members/luca-ausili/https://luci.unimi.it/members/costanza-larese/https://luci.unimi.it/members/stipe-pandzic/https://luci.unimi.it/members/giovanni-duca/https://luci.unimi.it/members/phd-student-1/https://luci.unimi.it/members/francesco-ponti/https://luci.unimi.it/members/giovanni-sanavio/https://luci.unimi.it/2026-05-27T14:30:00+02:00https://luci.unimi.it/seminars/2026-05-27T14:30:00+02:00https://luci.unimi.it/seminars/seminar-series-2026/zanetti-2026-04-22/2026-04-22T14:30:00+02:00https://luci.unimi.it/seminars/seminar-series-2026/ongaro-2026-04-15/2026-04-15T14:30:00+02:00https://luci.unimi.it/events/2026-04-13T00:00:00+00:00https://luci.unimi.it/events/learning-with-guarantees-2026/2026-04-13T00:00:00+00:00https://luci.unimi.it/seminars/seminar-series-2026/dennis-2026-04-08/2026-04-08T14:30:00+02:00https://luci.unimi.it/seminars/seminar-series-2026/breschi-2026-03-25/2026-03-25T14:30:00+01:00https://luci.unimi.it/seminars/seminar-series-2026/agotnes-2026-03-11/2026-03-11T14:30:00+01:00https://luci.unimi.it/events/workshop-learning-with-guarantees-neurosymbolic-ai-and-formal-verification/2026-03-11T00:00:00+00:00https://luci.unimi.it/tags/bounded-rationality/2026-02-25T00:00:00+00:00https://luci.unimi.it/news/2026-02-25T00:00:00+00:00https://luci.unimi.it/tags/2026-02-25T00:00:00+00:00https://luci.unimi.it/tags/workshop/2026-02-25T00:00:00+00:00https://luci.unimi.it/events/workshop-bounded-rationality-2026/2026-02-25T00:00:00+00:00https://luci.unimi.it/news/workshop-bounded-rationality-2026/2026-02-25T00:00:00+00:00https://luci.unimi.it/seminars/seminar-series-2026/ugolini-2026-02-18/2026-02-18T14:30:00+01:00https://luci.unimi.it/seminars/seminar-series-2026/2026-02-05T14:30:00+01:00https://luci.unimi.it/events/smartest-final-workshop-2026/2026-01-26T00:00:00+00:00https://luci.unimi.it/tags/announcement/2026-01-20T00:00:00+00:00https://luci.unimi.it/news/seminar-series-2026/2026-01-20T00:00:00+00:00https://luci.unimi.it/tags/seminars/2026-01-20T00:00:00+00:00https://luci.unimi.it/tags/consortium/2025-10-01T00:00:00+00:00https://luci.unimi.it/news/smartest-consortium/2025-10-01T00:00:00+00:00https://luci.unimi.it/tags/project/2025-10-01T00:00:00+00:00https://luci.unimi.it/events/e-kubyshkina-is-giving-a-talk-at-the-1st-moloco-meeting/2025-05-28T00:00:00+00:00https://luci.unimi.it/events/talks-by-sanjay-modgil-at-unimi/2025-05-26T00:00:00+00:00https://luci.unimi.it/events/talk-by-l-ceragioli-at-carl-friedrich-von-weizsacker-colloquium/2025-04-22T00:00:00+00:00https://luci.unimi.it/events/talk-by-l-ceragioli-at-the-workshop-realism-and-anti-realism/2025-02-26T00:00:00+00:00https://luci.unimi.it/events/talk-by-e-corsi-at-the-workshop-lealogcsl/2025-01-30T00:00:00+00:00https://luci.unimi.it/events/talk-by-g-primiero-at-the-workshop-weita-2025/2025-01-27T00:00:00+00:00https://luci.unimi.it/events/giornata-mondiale-della-logica-world-logic-day/2025-01-09T00:00:00+00:00https://luci.unimi.it/news/world-logic-day-2025/2025-01-09T00:00:00+00:00https://luci.unimi.it/seminars/seminar-series-2025/2025-01-01T00:00:00+00:00https://luci.unimi.it/events/of-people-and-code-2024/2024-11-28T00:00:00+00:00https://luci.unimi.it/news/project-reda-launch/2024-10-25T00:00:00+00:00https://luci.unimi.it/events/logic-for-the-ai-spring-summer-school/2022-05-20T00:00:00+00:00https://luci.unimi.it/news/luci-joins-tailor/2022-02-17T00:00:00+00:00https://luci.unimi.it/news/introducing-luci/2021-10-11T00:00:00+00:00https://luci.unimi.it/events/logic-group-at-isipta-2021/2021-07-14T00:00:00+00:00https://luci.unimi.it/events/la-matematica-della-filosofia-pi-day-2021/2021-03-08T00:00:00+00:00https://luci.unimi.it/events/programme-autumn-workshop-ii-programming-languages-and-notations/2019-09-30T00:00:00+00:00https://luci.unimi.it/events/workshop-assertion-and-proof-2019/2019-09-12T00:00:00+00:00https://luci.unimi.it/events/doctoral-school-course-and-research-meetings/2019-01-28T00:00:00+00:00https://luci.unimi.it/categories/https://luci.unimi.it/grants/current-projects/https://luci.unimi.it/members/https://luci.unimi.it/publications/https://luci.unimi.it/publications/air-db/https://luci.unimi.it/research/https://luci.unimi.it/grants/https://luci.unimi.it/teaching/https://luci.unimi.it/teaching/courses/