The 5th Italian Conference on Theoretical Computer Science 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. The proceedings include 33 selected papers and three invited lectures by Michael Luby, Vgo Mantenon and Alberto Berton.
