(Un)decidability, automata and algorithmic complexity

Coordinatore: 
Dario Catalano
Docenti: 
Domenico Cantone (Università di Catania)
Eugenio Omodeo (Università di Trieste)
Alberto Policriti (Università di Udine)