[PRL] PRL Digest, Vol 57, Issue 3
Pete Manolios
pete at ccs.neu.edu
Fri Dec 7 15:24:18 EST 2007
Quick reminder:
The Workshop on Decision Procedures for Verification
http://www.ccs.neu.edu/home/pete/courses/Decision-Procedures/2007-Fall/projconf/main.html
starts in a few minutes. Here is the schedule
Friday, December 7 WVH 366, Northeastern University, Boston
*3:30PM-5:00PM*
3:30-3:50 *Syntactic Characterization of Safety and Liveness in Branching
Time*
Christos Dimoulas
3:50-4:10 *Benchmarking NICE Dags*
Ben Chambers
4:10-4:30 *Calling context graphs in a higher-order setting*
Aaron Turon
4:30-4:50 *Translation of LLVM to ACL2*
Feng Zhou --
Pete Manolios
-------------- next part --------------
HTML attachment scrubbed and removed
More information about the PRL
mailing list