1

2 “.... ICDT'90 was organized in Paris by the Institut National de Recherche en Informatique et Automatique...”

3

4 “... to Paris C. Kanellakis, one of the pioneers in the field. Constraints have long been used for maintaining...”

5 “... for the algorithm he and Paris Kanellakis invented for checking bi-simulation. The title of this volume From...”

6 “... Paris Kanellakis...”