The 5th Italian Conference covered all aspects of theoretical computer science. Among the topics addressed in this volume are algorithms, concurrency, automata, formal languages, computational complexity, temporal and model logic and logic programming.
