[PRL] robby findler

Matthias Felleisen matthias at ccs.neu.edu
Wed Sep 19 19:28:33 EDT 2007

Previous message: [PRL] Fwd: Post-doctoral research associate in program verification
Next message: [PRL] Fwd: [TYPES/announce] Habil. Thesis: Language Design for Atomicity, Declarative Synchronization, and Dynamic Update
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Robby will be visiting me for a couple of days and will give an ad  
hoc talk on his philosophy of research and Redex on Friday at 1:30pm  
in 366. -- Matthias

Previous message: [PRL] Fwd: Post-doctoral research associate in program verification
Next message: [PRL] Fwd: [TYPES/announce] Habil. Thesis: Language Design for Atomicity, Declarative Synchronization, and Dynamic Update
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the PRL mailing list