Giornata GULP 2002

in concomitanza con la riunione del Direttivo e l'Assemblea dei soci

Venerdì 25 ottobre 2002

Bologna

La giornata GULP si terrà presso il

Dipartimento di Scienze dell'Informazione dell'Università di Bologna,
Mura Anteo Zamboni, 7 - Bologna
(vedi istruzioni per raggiungere il DSI).

Programma della Giornata

10:50 - 11:00 Apertura lavori
11:00 - 12:40 Relazioni attività dei gruppi -- prima parte
11:00 - 11:20 S. Costantini Logica Computazionale a L'Aquila: DALI, Wasp e Metamorpho
11:20 - 11:40 A. Dovier Folding di Proteine usando CLP(FD)
11:40 - 12:00 L. Giordano Ragionamento su Azioni e Cambiamento, Agenti e Logiche Non Classiche
12:00 - 12:10 A. Omicini Tecnologie dichiarative per Internet e i sistemi ad agenti
12:10 - 12:20 P. Mello Abductive Reasoning and Agents
12:20 - 12:30 E. Lamma Extensions of Inductive Logic Programming
12:30 - 12:40 M. Gavanelli Constraint Logic Programming
12.40 - 14:00 Lunch Break
14:00 - 15:00 Relazioni attività dei gruppi -- seconda parte
14.00 - 14:20 A. Pettorossi Attività di ricerca corrente allo IASI e al Dipartimento di Informatica Sistemi e Produzione dell'Universita` di Roma Tor Vergata.
14:20 - 14:40 F. Rossi - Vincoli soft: risolutori, linguaggi, e applicazioni
- Programmazione logica e con vincoli all'interno di Colognet
14:40 - 15.00 M Gabbrielli - Constrained based verification
- Attività dell'ALP
15:00 - 16:00 Discussione delle relazioni
16:00 - 16:30 Riunione Direttivo GULP
16:30 - 17.00 Assemblea Soci