CSG379-07 provides a forum for students to present and discuss their projects for CSG-379 Desicision Procedures for Verification. The workshop covers the entire spectrum of work, from practice to theory, including its peripheries.
|Papers Submission Deadline||Friday 30 November 2007|
|Reviews Submission Deadline||Monday 3 December 2007|
|Workshop||Wednesday 5 December and Friday 7 December 2007|
Mary Ellen Fuess
Christos Dimoulas (Northeastern University),
Pete Manolios (Northeastern University)
|CSG379-07 Information / Mary Ellen Fuess, Christos Dimoulas|