Convegno Italiano di Logica Computazionale
21-22 giugno 2005
Aula Marconi, Consiglio Nazionale delle Ricerche,
Piazzale Aldo Moro 7, Roma
Comitato di Programma |
|
| Roberto Basili (Univ. Roma Tor Vergata) | basili info.uniroma2.it |
| Marco Cadoli (Univ. "La Sapienza" Roma) | cadolidis.uniroma1.it |
| Agostino Cortesi (Univ. "Ca Foscari" Venezia) | cortesidsi.unive.it |
| Stefania Costantini (Univ. L'Aquila) | stefcostunivaq.it |
| Giorgio Delzanno (Univ. Genova) | giorgiodisi.unige.it |
| Agostino Dovier (Univ. Udine) | dovierdimi.uniud.it |
| Laura Giordano (Univ. Piemonte Orientale) | lauramfn.unipmn.it |
| Evelina Lamma (Univ. Ferrara) | elammaing.unife.it |
| Vincenzo Loia (Univ. Salerno) | loiaunisa.it |
| Maria Chiara Meo (Univ. "G. d'Annunzio" Chieti e Pescara) | meounivaq.it |
| Mario Ornaghi (Univ. Milano) | ornaghidsi.unimi.it |
| Alberto Pettorossi (Univ. Roma Tor Vergata) (presidente) | pettorossiinfo.uniroma2.it |
| Chiara Renso (CNR, Pisa) | c.rensoisti.cnr.it |
| Francesca Rossi (Univ. Padova) | frossimath.unipd.it |
| Salvatore Ruggieri (Univ. Pisa) | ruggieridi.unipi.it |
| Domenico Saccà (Univ. della Calabria) | saccaunical.it |
| Giovanni Semeraro (Univ. Bari) | semerarodi.uniba.it |
| Fausto Spoto (Univ. Verona) | spotosci.univr.it |
| Paolo Torroni (Univ. Bologna) | paolo.torroniunibo.it |
| Enea Zaffanella (Univ. Parma) | zaffanellacs.unipr.it |
Valerio Senni
senni
disp.uniroma2.it