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

Annalisa Appice (Informatica)
Margherita Barile (Matematica)
Ciro Castiello (Informatica)
Giovanna Castellano (Informatica)
Michelangelo Ceci (Informatica)
Emanuele Covino (Informatica)
Claudia d'Amato (Informatica)
Berardina Nadja de Carolis (Informatica)
Nicola Di Mauro (Informatica)
Maria Falcitelli (Matematica) Decano
Nicola Fanizzi (Informatica)
Stefano Ferilli (Informatica)
Antonietta Lanza* (Informatica)
Francesca Alessandra Lisi (Informatica)
Donato Malerba (Informatica)
Corrado Mencar (Informatica)
Cataldo Musto (Informatica)
Giovanni Pani * (Informatica)
Carla Petrocelli (DiSUm)
Giovanni Semeraro (Informatica)

* in quiescenza

Contatti: Segreteria CILA: c/o Dipartimento di Informatica
via Orabona 4, I-70125 Bari
Alessia Maiellaro (Segreteria)
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

World Logic Day 2024 - 15 gennaio
- [FB] [locandina]
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