Giornata di lavoro sulla programmazione logica

,-------.                                                     ,-------.
| GULP! |                GIORNATA DI LAVORO                   | GULP! |
\__  ___'    "Applications of LP and related CL paradigms"    \__  ___'
\|         Ferrara, Dipartimento di Ingegneria, aula 5        \|
9 Marzo 2007

http://www.ing.unife.it/eventi/gulp07/

Il Gruppo ricercatori e Utenti di Logic Programming (GULP) organizza una
giornata di lavoro su

APPLICAZIONI DI PROGRAMMAZIONE LOGICA
E PARADIGMI DI LOGICA COMPUTAZIONALE CORRELATI

Programma Preliminare:
----------------------
10.00 - 11.30 Tutorial. Fabrizio Riguzzi: Inductive Logic Programming
11.30 - 12.00 Coffee break
12.00 - 13.30 Tutorial. Giovambattista Ianni: Answer Set Programming for
the Semantic Web
14.45 - 16.30 Assegnazione premio GULP "Marco Cadoli" per la miglior
tesi di dottorato di logica computazionale.
Presentazioni dei vincitori:
15.00 - 15.45 Damiano Macedonio: Logics for Distributed Resources
15.45 - 16.30 Alessandro Dal Palù: Constraint Programming Approaches to
the Protein Structure Prediction Problem
16.30 - 17.00 Coffee break
17.00 - 18.00 Dibattito: L'insegnamento della Programmazione Logica
nelle Università Italiane

Il programma definitivo sara` disponibile alla pagina web della giornata:

http://www.ing.unife.it/eventi/gulp07/

Luogo:
------
Facoltà di Ingegneria di Ferrara
Via Saragat, 1
44100 Ferrara
Aula 5

Iscrizione:
-----------
La partecipazione alla giornata e` gratuita per i soci GULP.
Per iscriversi al GULP:

http://lia.deis.unibo.it/gulp/Burocrazia/iscrizioni/

Per partecipare, si prega di mandare una mail di conferma a Marco Gavanelli:

http://www.ing.unife.it/docenti/MarcoGavanelli/

--
http://www.ing.unife.it/eventi/gulp07/
[ Auf dieses Posting antworten ]