First Annual IEEE Symposium on

Logic in Computer Science (LICS 1986)

1986-06-16 to 1986-06-18, Cambridge, MA, USA

On this page:

Invited Speakers

Presented Papers

Entries are ordered by surname of first author


Program Chair

Albert Meyer

Program Committee:

R. Boyer; W. Damm; S. German; D. Gries; M. Hennessy; G. Huet; D. Kozen; A. Meyer (chair); J. Mitchell; R. Parikh; G. Plotkin; J. Reynolds; J. Robinson; D. Scott; M. Vardi; R. Waldinger