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


Subject: Re: Summer School on the Proofs-as-Programs Paradigm (fwd)
From: Matthai Philipose (matthai@cs.washington.edu)
Date: Fri Apr 19 2002 - 12:31:12 PDT


I would like very much to go to this.

Todd D Millstein wrote:

> 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
>

_______________________________________________
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 - 12:32:07 PDT