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


Subject: Re: Summer School on the Proofs-as-Programs Paradigm (fwd)
From: Craig Chambers (chambers@cs.washington.edu)
Date: Tue Apr 23 2002 - 17:40:26 PDT


Let's finalize this at this week's group meeting.

-- Craig

Matthai Philipose wrote:
>
> Craig Chambers wrote:
>
> > We can find funds for people to go, who are seriously interested in the topic.
> >
> > -- Craig
>
> We should decide soon who's going for this (deadline is April 29). I
> think this is a good enough opportunity that if (like me) your interest
> in the topic is more as a "non-serious" student i.e. you want to learn
> about logic in programming languages because you think it's a handy
> thing to know, than as a "serious" student e.g. you want to do research
> in the area, it might still be worth spending the $506 out of your own
> pocket to go.
>
> I guess what I'm saying is that people with serious and non-serious
> interest both should discuss whether it's worth going to, and decide in
> the next few days.
> Matthai
>
> ps: Although I would like to go for it, I have serious time constraints
> since I will be writing my thesis... so it's quite possible I may not
> end up going. :-)
>
> _______________________________________________
> 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 - 17:41:08 PDT