Summer School on the Proofs-as-Programs Paradigm

          Summer School on the Proofs-as-Programs Paradigm
                         Eugene, Oregon, USA
                        June 24 - July 5, 2002
Supported by the University of Oregon, Indiana University,  NSF, ACM SIGPLAN,
and INRIA.

The summer school on the "Proofs-as-Programs Paradigm" is a
two week course for computer scientists and mathematicians interested
in formal systems and automated techniques for reasoning about
programs, with particular emphasis on the use of types as specifications for
modern software components. The school is especially suitable for
graduate students who need to extend their background in mathematics,
logic, and type theory, and wish to gain experience working with logical
frameworks and proof assistants.

Cost for graduate students is minimal: 
  - No registration fees;
  - Accommodations in dorms including meals;
  - Grants available.

Deadline for application is April 29. 
For details see: