Tu sei qui:HomeRicercaCILACILA

CILA

Attività del Centro Interdipartimentale Logica e Applicazioni: progetti, didattica, seminari, iniziative

Centro Interdipartimentale
"Logica e Applicazioni"


(in aggiornamento: si prega di segnalare eventuali omissioni o imprecisioni)

Missione

Scopo del Centro è quello di promuovere e diffondere lo studio della Logica e delle sue applicazioni nelle strutture di ricerca e costituire un forum dove poter presentare, confrontare, dibattere, collaborare su iniziative, esperienze e progetti attinenti ai temi della logica e che coinvolgono sia ricercatori dei dipartimenti di questo ateneo sia studiosi di altre istituzioni e realtà in diversi ambiti.


Afferenti

Segreteria CILA: c/o Dipartimento di Informatica
via Orabona 4, I-70125 Bari
Nicola.Fanizzi (Coordinatore)

Adesione

Per richieste di adesione (modulo) contattare la Sezione Centri e altre strutture decentrate della Direzione per il Coordinamento delle strutture dipartimentali

torna su


Attività

Notizie

  • ISWS 2019 - International Semantic Web Research Summer School
  • RW 2019 - 15th Reasoning Web Summer School

Progetti di Ricerca

Censimento progetti con contenuti inerenti i temi del Centro

  • (inserire qui le segnalazioni)

Didattica

Censimento insegnamenti con contenuti inerenti i temi del Centro

  • Ingegneria della Conoscenza (LT Informatica)
  • Calcolabilità e Complessità (LT Informatica)
  • Linguaggi di Programmazione (LT Informatica; LT Informatica TPS)
  • Matematica Discreta (LT Informatica; LT Informatica TPS)
  • Formal Methods in Computer Science (LM Computer Science)
  • Artificial Intelligence (LM Computer Science)
  • Semantic Web Technologies (LM Computer Science)
  • Logica Applicata (LM Sicurezza Informatica)
  • Knowledge Representation and Reasoning (LM Computer Science)

Iniziative / Seminari

    • (inserire qui le segnalazioni)

torna su


Storico

Il Centro Interdipartimentale "Logica e Applicazioni" è stato fondato presso l'Università degli Studi di Bari il 26-5-1995 su iniziativa dei Dipartimenti di Filosofia, Scienze dell'Educazione, Matematica e Informatica.

Direttori / Coordinatori

  • Michele Abbrusci, 1995 - 1996
  • Floriana Esposito, 1996 - 2001
  • Giovanni Pani, 2001 - 2005
  • Maria Francesca Costabile, 2005 - 2007
  • Stefano Ferilli, 2007 - 2018
  • Nicola Fanizzi, 2018 -

Pubblicato il: 17/06/2014  Ultima modifica: 11/04/2019