Subject: Re: Summer School on the Proofs-as-Programs Paradigm (fwd)
From: Matthai Philipose (matthai@cs.washington.edu)
Date: Tue Apr 23 2002 - 17:25:55 PDT
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
This archive was generated by hypermail 2b25 : Tue Apr 23 2002 - 17:26:09 PDT