Tu sei qui:Home / Ricerca / CILA / CILA

CILA

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

Centro Interdipartimentale di Ricerca
"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

* in quiescenza 

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

Riunioni / Interazione

  • team CILA
    (piattaforma MSTeams di UniBA)

torna su


Attività

 

Notizie

  • Bando Premio Tesi di laurea (Master deg.) VCLA TU Wien 
  • World Logic Day 2021 - 14 gennaio @Vienna
  • CILC 2020 - 35th Italian Conference on Computational Logic

 

Progetti di Ricerca

Censimento progetti con contenuti inerenti alle tematiche del Centro

  • INdAM-GNCS 2019: “Metodi per il trattamento di incertezza ed imprecisione nella
    rappresentazione e revisione di conoscenza” (resp. scientifico F.A. Lisi)

 

Didattica

Censimento insegnamenti con contenuti inerenti alle tematiche 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)
  • Information Systems
  • Algoritmi e Strutture Dati
  • Sistemi ad Agenti
  • Computational Intelligence
  • Trattamento dell’incertezza nell’informazione
  • Explainable Artificial Intelligence
  • Data Mining
  • Intelligent Information Access and Natural Language Processing 

Iniziative / Seminari

  • Open Logic Project collezione di materiale didattico sulla logica matematica indirizzata ai non addetti ai lavori, utile per corsi avanzati sulla Logica tipicamente insegnati in dipartimenti umanistici. Materiale open-source: codice LaTeX scaricabile, modificabile e condivisibile liberamente. È inoltre collaborativo: ci lavora un team su piattaforma GitHub ed è aperto a contributi e/o feedback

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: 29/05/2021