Programma
Il programma è in via di definizione e potrà subire variazioni.
Lunedì 17 luglio 2006
10.30 - 11.00: Apertura dei lavori
11.00 - 13.00: Interventi dell'unità di Milano
- 11.00 - 11.30: A. Bertoni. Presentazione dell'unità di Milanoi
- 11.30 - 11.50: D. Ciucci. Entropia di ricoprimenti con applicazioni a sistemi informativi incompleti
- 11.50 - 12.10: A. Dennunzio. Automi di Coven Periodici
- 12.10 - 12.40: R. Radicioni. A symbolic approach to computing with holonomic functions
- 12.40 - 13.00: M Goldwurm. Statistiche di pattern e matrici di Vandermonde
13.00 - 14.00: Pausa pranzo
14.00 - 14.30: Interventi dell'unità di Milano - continua
- 14.00 - 14.30: V. Lonati. Sulla complessità dei linguaggi unari tiling-riconoscibili
14.30 - 16.30: Interventi dell'unità di Salerno
- 14.30 - 14.40: C. De Felice. Presentazione dell'unità di Salerno
- 14.40 - 15.10: A. Carpi. Sulla congettura di Dejean
- 15.10 - 15.40: D. Giammarresi. Dal non-determinismo al determinismo (nei linguaggi 2dim): alcune riflessioni
- 15.40 - 16.00: F. D'Alessandro. Well quasi-orders and the shuffle closure of finite sets
- 16.00 - 16.30: G. Fici. Alcuni risultati su parole finite
16.30 - 17.00: Pausa caffè
17.00 - 19.00: Riunione organizzativa
Martedì 18 luglio 2006
- 9.00 - 9.30: C. Choffrut. Linguaggi regolari e modello dei diagrammi di decisione binari
9.30 - 10.30: Interventi dell'unità di Firenze
- 9.30 - 9.50: E. Barcucci. Presentazione unità di Firenze
- 9.50 - 10.10: L. Ferrari. Strutture d'ordine parziale su cammini, partizioni e permutazioni
- 10.10 - 10.30: A. Frosini. On a tomographic equivalence between (0,1) matrices
10.30 - 11.00: Pausa caffè
11.00 - 13.00: Interventi dell'unità di Milano Politecnico
- 11.00 - 11.30: S. Crespi Reghizzi. Presentazione dell'unità di Milano Politecnico
- 11.30 - 12.00: A. Savelli. La fattorizzazione di Crochemore di alcune famiglie di parole infinite
- 12.00 - 12.30: M. Pradella. A SAT-based parser and completer for Tiling Systems
- 12.30 - 13.00: A. Cherubini. Un nuovo approccio alle parole n-collassanti
13.00 - 14.00 Pausa pranzo
14.00 - 15.20 Interventi dell'unità di Palermo
- 14.00 - 14.20: A. Restivo. Presentazione unità di Palermo
- 14.20 - 14.40: L. Giambruno. Sull'intersezione di sottomonoidi del monoide libero
- 14.40 - 15.00: R. Vaglica. Ricostruzione di poliomini L-convessi
- 15.00 - 15.20: F. Burderi. Partizioni codificanti regolari
15.20 - 15.40: Interventi dell'unità di Milano - continua
- 15.20 - 15.40: P. Massazza. On the centralizer of a language