Si è svolta dal 3 al 6 settembre 2024 la scuola di dottorato sull’AI ACT organizzata nell’ambito del Progetto interdipartimentale sull’Intelligenza Artificiale (PSA 2022-25 UniUD) coordinato dal Dipartimento di Scienze matematiche, informatiche e fisiche (DMIF). La Scuola è stata organizzata dal DMIF (Agostino Dovier, Angelo Montanari, Nicola Saccomanno) assieme ai Dipartimenti di Scienze giuridiche (DISG: Elvio Ancona, Federico Costantini, Cecilia Severoni) e di studi umanistici e del patrimonio culturale (DIUM: Andrea Brunello, Luca Grion, Luca Taddio), finanziata dal suddetto progetto del PSA e cofinanziata dai fondi dei docenti organizzatori.
Gli organizzatori, il rettore e le direttrici dei dipartimenti intervenute
La scuola è stata seguita (gratuitamente) da una quarantina di dottorandi, dottori di ricerca e studiosi che desideravano approfondire il regolamento europeo sull’intelligenza artificiale (AI Act) presentato con un approccio pluriprospettico.
Alle sessioni introduttive, che hanno offerto una panoramica e un inquadramento generale dell’IA e della normativa europea, sono seguite sessioni più specialistiche che hanno affrontato l’argomento dai punti di vista informatico, giuridico, economico e filosofico.
A conclusione dei lavori sono state organizzate una tavola rotonda con rappresentanti del mondo imprenditoriale e della ricerca applicata e un doctoral consortium in cui otto studenti/dottorandi hanno presentato le loro ricerche.
Tra i relatori spiccano i nomi di alcuni tra i massimi esperti dell’argomento a livello nazionale e internazionale:
Brando Benifei: co-Relatore del Regolamento presso il Parlamento Europeo
Francesca Rossi: presidentessa dell’Associazione mondiale per l’avanzamento dell’intelligenza artificiale (AAAI), global leader IBM per l’etica dell’AI, già professoressa ordinaria di Informatica presso l’Università di Padova
Paola Pisano: Professoressa di Economia e Gestione delle Imprese presso l’Università di Torino, nonché Ministra per l’innovazione digitale nel biennio 2019-2021
Michele Lanotte: che ha ricoperto diversi incarichi di responsabilità, sia nell’ambito della regolamentazione bancaria, sia nel settore fintech della Banca d’Italia.
Per informazioni più dettagliate e altre foto si rimanda al programma consultabile sul sito web all’indirizzo https://ai-act-school.uniud.it/
Il maginfico rettore prof Roberto Pinton introduce la scuola
Brando Benifei moderato da Elvio Ancona
Francesca Rossi moderata da Agostino Dovier
Paola Pisano moderata da Elvio Ancona
Michele Lanotte
La tavola rotonda: da sinistra Anna Mareschi Danieli, Fabiano Benedetti, Angelo Montanari, Silvio Ranise, Edoardo Raffiotta
Doctoral Consortium introdotto da Andrea Brunello
Posted inUncategorized|Comments Off on AI Act School
Another result in our investigation of exploiting CUDA parallelism for constraint programming.
Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli. Constraint Propagation on GPU: A Case Study for the Cumulative Constraint. Constraints (to appear).
Posted inUncategorized|Comments Off on Constraint Propagation on GPU: A Case Study for the Cumulative Constraint.
Il laboratorio ha ricevuto un cospicuo finanziamento per il Progetto MaPSART, di durata 18 mesi, finanziato a valere sul bando a cascata dello Spoke 2 del Partenariato Esteso “FAIR – Future Artificial Intelligence” (PE00000013) del PNRR, Missione 4, Componente 2, Investimento 1.3. Coordinatore il prof Andrea Formisano.
Abstract
This research project aims to enhance automated reasoning using GPU technology. It focuses on developing efficient parallel logic solvers, like those for Answer Set Programming (ASP), Satisfiability (SAT), Satisfiability Modulo Theory (SMT), and Constraint Satisfaction Problems (CSP). The core objective is to harness the massive parallelism and computational power of GPUs.
Posted inUncategorized|Comments Off on Progetto PNRR
Il CLP Lab (in particolare con Agostino Dovier e Andrea Formisano nel ruolo di program chairs) ha organizzato dal 21 al 23 luglio la 38 esima edizione del convegno italiano di logica computazionale. L’evento totalmente in presenza ha avuto un forte riscontro in termini di presenze e di partecipazione attiva. Tutti i dettagli nella home page del convegno: https://www.programmazionelogica.it/associazione/il-convegno/cilc23/
Si è tenuto ad Udine dal 28 novembre al 2 dicembre 2022 il 21-esimo convegno internazionale della associazione italiana sulla intelligenza artificiale. Oltre al convegno principale in cui sono stati presentati 49 lavori, sono stati organizzati 17 workshop satellite in cui sono stati presentati 175 ulteriori contributi scientifici, con una presenza complessiva di circa 350 ricercatori dall’Italia e dall’estero. Il CLPLAB ha contribuito attivamente all’evento nei ruoli di program chair (Agostino Dovier, assieme al collega Andrea Orlandini del CNR di Roma) e di worskhop chair (Andrea Formisano, assieme ad Alberto Finzi, dell’Università di Napoli, federico II).
Potete sentire dei servizi televisivi relativi all’incontro pubblico associato al convegno VIDEO1 e VIDEO2 e una intervista in diretta su RADIO RAI (programma del 29/11/2022).
Per maggiori dettagli e materiale si consulti il sito web.
Si è laureato ieri in Ingegneria dell’Informazione e Organizzazione d’Impresa presso l’Università di Trento, con la tesi intitolata
INTEGRAZIONE DI RAGIONAMENTO AUTOMATICO E MANIPOLAZIONE ROBOTICA: Risoluzione del Cubo di Rubik, Simone Bellan, che ha sviluppato la tesi nel laboratorio AIHRC del Lab Village. L’output di un planner in ASP è stato opportunamente interfacciato tramite codice C++ con i comandi ROS del robot Franka Emika per una concreta risoluzione.
Simone è un cestista professionista che è riuscito nel difficile compito di coniugare lo sport ai massimi livelli con lo studio universitario, iniziando a Trento quando militava nell’Aquila, e proseguendo mentre giocava in varie squadre del difficile campionato di serie A2 (attualmente a Ferrara). La parte centrale della tesi è stata svolta nel nostro lab nel periodo di “riposo” tra un campionato e l’altro! Congratulazioni a Simone (che si riposerà, come tutti noi, quando andrà in pensione)
Posted inUncategorized|Comments Off on Tesi in trasferta
E’ un piacere annunciare che i membri del CLP LAB hanno conseguito il premio per la miglior tesi di dottorato di logica computazionale e il best paper award per il convegno italiano di logica computazionale CILC 2022.
Per la precisione, Francesco Fabiano (dottore di ricerca del dottorato udinese in Informatica e Scienze matematiche e Fisiche) ha vinto il premio per la sua tesi di PhD dal titolo “Planning while believing to know“, scelta tra 9 tesi di brillanti giovani ricercatori, mentre Fabio Tardivo ha vinto il premio per il miglior lavoro, con il paper “Constraints propagation on GPU: A case study for AllDifferent” con co-autori Agostino Dovier, Andrea Formisano, Laurent Michel e Enrico Pontelli, selezionato tra una trentina di contributi scientifici.
Posted inUncategorized|Comments Off on Doppio risultato del CLPLAB
