CILC 2006

Convegno Italiano di Logica Computazionale


26-27 giugno 2006
Aula Hume, Dipartimento di Informatica,
Via Orabona 4, Bari


Home
Call for papers
Comitato di programma
Comitato organizzatore
Date importanti

Programma
Relazione invitata
Tutorial

Iscrizione al convegno
Informazioni logistiche

Partecipanti
Foto del convegno



Comitato di Programma


Annalisa Bossi (UniversitÓ di Venezia) bossidsi.unive.it
Agostino Dovier (UniversitÓ di Udine) dovierdimi.uniud.it
Floriana Esposito (UniversitÓ di Bari) espositodi.uniba.it
Moreno Falaschi (UniversitÓ di Siena) moreno.falaschiunisi.it
Andrea Formisano (UniversitÓ dell'Aquila) formisanodi.univaq.it
Maurizio Gabbrielli (UniversitÓ di Bologna) gabbrics.unibo.it
Laura Giordano (UniversitÓ del Piemonte Orientale) lauramfn.unipmn.it
Evelina Lamma (UniversitÓ di Ferrara) elammaing.unife.it
Donato Malerba (UniversitÓ di Bari) malerbadi.uniba.it
Maria Chiara Meo (UniversitÓ di Chieti e Pescara) cmeounich.it
Mario Ornaghi (UniversitÓ di Milano) ornaghidsi.unimi.it
Simona Perri (UniversitÓ della Calabria) perrimat.unical.it
Alberto Pettorossi (UniversitÓ Tor Vergata Roma) pettorossiinfo.uniroma2.it
Francesca Rossi (UniversitÓ di Padova) frossimath.unipd.it
Salvatore Ruggieri (UniversitÓ di Pisa) ruggieridi.unipi.it
Marco Schaerf (UniversitÓ La Sapienza Roma) schaerfdis.uniroma1.it
Giovanni Semeraro (UniversitÓ di Bari) semerarodi.uniba.it
Paolo Torroni (UniversitÓ di Bologna) paolo.torroniunibo.it
Enea Zaffanella (UniversitÓ di Parma) zaffanellacs.unipr.it
Pagina a cura di
Bruna Di Nanna
dinannadi.uniba.it