Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158)