[PL-sem-jr] Upcoming Talks

Richard Cobbe cobbe at ccs.neu.edu
Thu Sep 28 14:48:08 EDT 2006


On Thu, Sep 28, 2006 at 01:37:50PM -0400, David Van Horn wrote:
> Richard Cobbe wrote:
> >PL Seminar, Jr
> >Fri, Sept 30
> >1-3pm WVH 164     (note change of room from last semester!)
> >=============
> >
> >David van Horn will discuss kCFA implementation strategies.
>
> Well... I'll discuss the complexity of kCFA and give a proof-net (or
> sharing graph) view of the CFA problem.

Thanks for the clarification, David!  (I never wrote down exactly what
you'd proposed to talk about, and I couldn't remember today.  Sorry 'bout
that....)

Richard



More information about the Pl-sem-jr mailing list