Alessandro Armando

Research Interests

Selected Publications

Involvement in Scientific Events

Editorial Activity

Research Projects

Software Tools

Students

Teaching

New: 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010)

New: 5th International Joint Conference on Automated Reasoning (IJCAR 2010)

New: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (ARSPA-WITS'10)

New: 10th International Conference on Artificial Intelligence and Symbolic Computation (AISC 2010)