Subject: Re: Summer School on the Proofs-as-Programs Paradigm (fwd)
From: Craig Chambers (chambers@cs.washington.edu)
Date: Tue Apr 23 2002 - 15:12:09 PDT
We can find funds for people to go, who are seriously interested in the topic.
-- Craig
Matthai Philipose wrote:
>
> 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
_______________________________________________
Cecil mailing list
Cecil@cs.washington.edu
http://majordomo.cs.washington.edu/mailman/listinfo/cecil
This archive was generated by hypermail 2b25 : Tue Apr 23 2002 - 16:29:02 PDT