[Pl-seminar] Slides from Mark Jones's Talk

Vincent St-Amour stamourv at ccs.neu.edu
Mon Nov 14 16:30:16 EST 2011

Previous message: [Pl-seminar] Fwd: University of Colorado Boulder: Faculty Positions (2 Openings)
Next message: [Pl-seminar] 11/16: Grigore Rosu, "K and Matching Logic"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

The slides from Mark Jones's talk are now available online:
http://web.cecs.pdx.edu/~mpj/Habit-Northeastern-10Nov2011.pdf

Vincent

Previous message: [Pl-seminar] Fwd: University of Colorado Boulder: Faculty Positions (2 Openings)
Next message: [Pl-seminar] 11/16: Grigore Rosu, "K and Matching Logic"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the pl-seminar mailing list