Giornata GULP 2002

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

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