Submission for CSG379-07 is now open.
Preliminary program
The call for papersCSG379-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.
Submission for CSG379-07 is now open.
Preliminary program
The call for papers| Papers Submission Deadline | Friday 30 November 2007 |
| Reviews Submission Deadline | Monday 3 December 2007 |
| Workshop | Wednesday 5 December and Friday 7 December 2007 |
| General Chair: |
Mary Ellen Fuess
(Northeastern University), Christos Dimoulas (Northeastern University), Pete Manolios (Northeastern University) |
| CSG379-07 Information / Mary Ellen Fuess, Christos Dimoulas |