[PRL] Workshop on Decision Procedures for Verification

[Pete Manolios]

You are all invited to attend the Workshop on Decision Procedures for
Verification
(
http://www.ccs.neu.edu/home/pete/courses/Decision-Procedures/2007-Fall/projconf/main.html
).

The workshop consists of class project presentations by the students in my
graduate class
on Decision Procedures for Verification.

The students are actually running this like a conference:
 - They sent out a call for papers with formatting instructions, submission
instructions, etc.
 - The submission and review process is being handled with the conference
management system EasyChair
 - All students are on the program committee and get to review all papers
which they don't have a conflict with
 - The program committee gets to decide on a distinguished paper award

The schedule is as follows.  All are welcome to come and observe any subset
of presentations of interest.
Wednesday, December 5 WVH 366, Northeastern University, Boston

*4:30PM-6:00PM*
4:30-4:50 *Explicit-state model checking vs Symbolic model checking*
Tejas Mehta and Bhavin Gandhi
4:50-5:10 *Pipelined Hardware Accelerated State checker*
Mary Ellen Fuess
5:10-5:30 *SAT-Based Non-preemptive Scheduler For Safety-Critical Systems*
Christine Hang
5:30-6:00 *Gleaming the Rubik's Cube: Searching for God's Number with
Decision Procedures*
Ahmed Abdelmeged, Max Bandazian and Stevie Strickland 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
Cheers,
Pete
-------------- next part --------------
HTML attachment scrubbed and removed