A record of Italian research on theoretical computer science. Topics featured include: algorithms and complexity; automata and formal languages; concurrency; databases; functional and object-oriented programming; parallel algorithms and architectures; and semantics of programming languages.