[PRL] Reminder: ESOP Practice Talk 1:30 PM Today
James T. Perconti
jtpercon at ccs.neu.edu
Tue Apr 1 12:47:12 EDT 2014
Just a reminder to everyone that my practice talk is this afternoon. Thanks!
--Jamie
----- Original Message -----
From: "James T. Perconti" <jtpercon at ccs.neu.edu>
To: "prl" <prl at lists.ccs.neu.edu>
Sent: Friday, March 28, 2014 4:29:48 PM GMT -05:00 US/Canada Eastern
Subject: [PRL] ESOP Practice Talk 4/1, 1:30 PM
Hello everyone,
The new time for my practice run of my ESOP talk, "Verifying an Open Compiler Using Multi-Language Semantics," is Tuesday (4/1) at 1:30 PM in WVH 166. Please come and give me feedback if you can!
--Jamie
_______________________________________________
PRL mailing list
PRL at lists.ccs.neu.edu
https://lists.ccs.neu.edu/bin/listinfo/prl
More information about the PRL
mailing list