cs@parma CILC 2004
Convegno Italiano di Logica Computazionale
16-17 giugno 2004
Dipartimento di Matematica, Università di Parma
Via M. D'Azeglio 85/A, Parma
Home
Call for Papers
Comitato di programma
Comitato organizzatore
Date importanti

Atti del convegno
Programma
Relazione invitata
Relazioni presentate
Tutorial
Demo

Iscrizione al Convegno
Informazioni logistiche
Eventi collegati

Partecipanti al Convegno
Foto del Convegno

Demo

New! Visto il breve tempo a disposizione per l'esibizione delle demo, giovedì 17 saranno comunque disponibili l'aula e le atrezzature per eventuali approfondimenti.




M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello, P. Torroni
A demonstration of SOCS-SI



L. Bortolussi, A. Dal Palù, A. Dovier
Constraint-based tools for protein folding



S. Costantini, A. Tocchio
The DALI Logic Programming Agent-Oriented Language



E. Poleo, E. Panegai, G. Rossi
The JSetL library: supporting declarative programming in Java



Pagina a cura di
Enea Zaffanella
[Pagina aggiornata il 11/06/2004, 12:32:18.]