Proceedings, 14th Symposium on Logic in Computer Science, July 2-5, 1999, Trento, Italy - Symposium on Logic in Computer Science; IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing (IEEE Computer Society, 1999)