International Workshop on Logic and Complexity in Computer Science LCCS'2001