LICS'2000 IEEE Symposium on Logic in Computer Science