Si intendono sviluppare i seguenti temi:
- Aspetti algebrici e combinatori delle semantiche di alcune logiche non classiche.
- Studio della simulazioni ottimali tra vari modelli di automi dal punto di vista della complessità descrizionale.
- Studio della complessità descrizionale di linguaggi context-free bounded.
- Bioinformatica e relazioni con i liguaggi formali e la complessità.
- Conteggio di funzioni tra multinsiemi.
- Aspetti algebrici e combinatori delle semantiche di alcune logiche non classiche.
- Studio della simulazioni ottimali tra vari modelli di automi dal punto di vista della complessità descrizionale.
- Studio della complessità descrizionale di linguaggi context-free bounded.
- Bioinformatica e relazioni con i liguaggi formali e la complessità.
- Conteggio di funzioni tra multinsiemi.