CLP Lab

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.

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/

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

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.

A new 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 AllDifferent constraint Journal of Logic and Computation, 2023, 33(8), pp. 1804–1831, exad033.

Intervento al programma radiofonico RAI FVG:

https://www.raiplaysound.it/audio/2023/09/A-tutto-bit-del-19092023-392d3040-0450-428c-afbb-ba6a3368c3d1.html

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.

In questo VIDEO potete vedere la animazione.

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)

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.

Partecipazione al programma Effetto Notte del 23 Giugno 2022 (minuto 28.00)

https://www.radio24.ilsole24ore.com/programmi/effettonotte/puntata/trasmissione-23-giugno-2022-220700-AE6oN1hB

Ricordiamo qui i precedenti interventi: Si può fare 12/07/2020 e 21/11/2020

https://www.radio24.ilsole24ore.com/programmi/paese-migliore/puntata/universita-non-solo-lettere-e-giurisprudenza–232105-ADU3Ogd

https://www.radio24.ilsole24ore.com/programmi/paese-migliore/puntata/si-puo-fare-intelligenza-artificiale-073515-ADGaqc3