Kanellakis Award

[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]

Kanellakis Theory and Practice Award

The Kanellakis Theory and Practice Award is given to an individual or
group for a specific theoretical accomplishment that has had a
significant and demonstrable effect on the practice of computing.  The
nature of the theoretical accomplishment may be either an invention
itself or a major analytic study of an existing technique that led
practitioners to adopt it.

The Award has been established in memory of the late Paris C. Kanellakis, 
whose tragic death in late 1995 cut short a distinguished
research career.  The monetary amount of the award will be $5,000, to
be paid from an endowment established for this purpose.  The frequency
of the award will depend on the size of the endowment, but should be at
least once every three years.  The first award will be made in 1997.

Winners of the award will be chosen by a 5-member committee appointed
by the ACM Awards Committee Chair.  Membership on the committee will be
on a rotating basis, with 5-year terms.  The current committee consists
of David Johnson, Tom Leighton, Christos Papadimitriou, Moshe Vardi,
and Peter Wegner (Chair).  The committee will actively solicit
nominations from the research and practitioner communities, as well as
outside advice on questions of practical and theoretical significance
and of priority.  Nominations from previous years will typically be
carried forward.  The committee also reserves the right to make its own
nominations.  Winners will be selected based on both the importance of
the practical impact and the quality of the theoretical

In addition to choosing award winners, the Prize Committee will also
prepare an extended award citation suitable for publication in all ACM
announcements as well as in the ACM Awards Program brochure, based on
the nomination and other relevant information obtained by the committee
in evaluating the nominee.

A nomination will consist of three related parts.

(1)  A discussion of the theoretical work being nominated, including
copies of relevant publications or other documentation of the

(2)  A description of the claimed practical impact, together with
evidence supporting the claims, either in the form of published
references or attached statements by one or more top practitioners in
the relevant field.

(3)  Evidence of the linkage between the theoretical work and the
practical impact, either in the form of documentation that implies the
linkage, or attached statements from the implementers attesting to it.

It is not required that the nominees were involved in the transfer from
theory to practice, though such an involvement will strengthen the
nomination.  The theoretical contribution should have occurred within
25 years of the date of the award.  For the 1997 award, this means that
contributions that were made in 1972 or later are eligible.

Nominations should be sent by November 1, 1996 to

Professor Peter Wegner 
Brown University 
Box 1910 
Computer Science Department 
115 Waterman Street - 4th Floor 
Providence, RI 02912
+1-401-863-7632 - office +1-401-863-7657 - fax