Summer School on the Proofs-as-Programs Paradigm (fwd)


Subject: Summer School on the Proofs-as-Programs Paradigm (fwd)
From: Todd D Millstein (todd@cs.washington.edu)
Date: Fri Apr 19 2002 - 10:42:06 PDT


This could be worth considering, since it's in our neck of the woods and
it's free for students (aside from the room and board costs, but they seem
pretty reasonable).

Todd

---------- Forwarded message ----------
Date: Tue, 26 Mar 2002 20:32:13 -0800 (PST)
From: Zena Matilde Ariola <ariola@cs.uoregon.edu>
To: types@cis.upenn.edu
Cc: ariola@cs.uoregon.edu
Subject: Summer School on the Proofs-as-Programs Paradigm

[----- The Types Forum, http://www.cis.upenn.edu/~bcpierce/types -----]

          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:
  http://www.cs.uoregon.edu/activities/summerschool/

_______________________________________________
Cecil mailing list
Cecil@cs.washington.edu
http://majordomo.cs.washington.edu/mailman/listinfo/cecil



This archive was generated by hypermail 2b25 : Fri Apr 19 2002 - 10:43:07 PDT