Map of the city

July 2-5, 1999

Invited talks by H. Friedman, J.-Y. Girard, J. Halpern, U. Montanari, L. Paulson

42 contributed papers

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic in a broadsense.

Topics

Program

Affiliated Workshops

Chairs and Committee

Kleene Award for Best Student Paper

Papers

Registration

Business Meeting