Logic in computer science. LICS 2005. Proceedings - IEEE Symposium on logic in computer science (20 2005 Chicago) (Piscataway IEEE, 2005)