[PL-sem-jr] Upcoming Talks

[Sam TH]

On 4/15/07, Richard Cobbe <cobbe at ccs.neu.edu> wrote:
> PL Seminar, Jr.
> Monday, Apr 16
> 1-3pm WVH 164
> ===============
> Sam & Dale will discuss nominal logic (though Sam was thinking about
> concentrating instead on type soundness proofs in Isabel, which may involve
> nominal logic, but I don't know what he's decided.)

Due to low attendance and imminent GPCE dealine, the talk was
postponed.  I will be presenting soundness proofs in Isabelle, with a
dash of nominal logic, next week, in the same Monday 1-3 time slot.
-- 
sam th
samth at ccs.neu.edu