Summer School on Proofs as Programs

 - New additional funding for grants for women from the NSF!
 - Deadline for applications is April 29. 

          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, INRIA, and Microsoft.

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.

For details see: