si intendono sviluppare i seguenti temi.
- Aspetti algebrici e combinatori delle semantiche di logiche non classiche.
- Studio delle simulazioni ottimali tra modelli di automi dal punto di vista della complessità descrizionale.
- Studio della complessità descrizionale di linguaggi context-free bounded.
- Conteggio di funzioni tra multiinsiemi.
- Enumerazione di mappe tra insiemi parzialmente ordinati.