[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