1

2

3 Table of Contents: “... Profiles -- Brown University -- Carnegie Mellon University -- Columbia University -- Cornell University...”

4 “... and algebraic computation held at Cornell University in May 1990. The eight papers in the book fall into three...”

5 “..., in October 1992, and by a prior Hybrid Systems Workshop, held at Cornell University, USA, in June 1991...”

6 “... and was held at Cornell University, June 26-28, 1989...”

7 “... at Berkeley. The series follows meetings that were initiated by Anil Nerode at Cornell University...”

8 “...) at the Mathematical Sciences Institute, Cornell University, 1-3 June 1992. Some of the conference papers are here...”

9

10 “...), Joseph Y. Halpern (Cornell University), and Masami Hagiya (University of Tokyo). The Program Committee...”

11 “... with concurrent programming. It is based on graduate courses taught at Cornell University and is designed...”