Giornata di lavoro sulla programmazione logica
Von: Marco Gavanelli (http@www.ing.unife.it/docenti/marcogavanelli) [Profil]
Datum: 26.01.2007 19:20
Message-ID: <epdgpa$am8$2@news.cineca.it>
Newsgroup: it.scienza.informatica
Datum: 26.01.2007 19:20
Message-ID: <epdgpa$am8$2@news.cineca.it>
Newsgroup: it.scienza.informatica
,-------. ,-------. | 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 ]
