[PRL] Scheduling for Gary T. Leavens's visit on 12/7

Stevie Strickland sstrickl at ccs.neu.edu
Wed Nov 30 10:52:06 EST 2011

Previous message: [PRL] Fwd: Bug bytes; Popping in on research; Caption contest
Next message: [PRL] 12/7: Gary T. Leavens, "JML's Rich, Inherited Specifications for Behavioral Subtypes"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi all,

Gary T. Leavens (http://www.cs.ucf.edu/~leavens/homepage.html) will be visiting us next Wednesday (12/7) to give a talk at the PL Seminar.  If you're interested in meeting with him, please let me know what times you're available that day.

Thanks,
Stevie

Previous message: [PRL] Fwd: Bug bytes; Popping in on research; Caption contest
Next message: [PRL] 12/7: Gary T. Leavens, "JML's Rich, Inherited Specifications for Behavioral Subtypes"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the PRL mailing list