[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