Proceedings. 20th Annual IEEE Symposium on Logic in Computer Science
2005
The following topics are dealt with: formal logic; decidability; probabilistics automata; temporal logic; Boolean algebra; formal verification; algebraic specification; bisimulation equivalence; lambda-calculus; pi-calculus; computational complexity.