For researchers in formal specification, verification, component-based software engineering, and teaching
Resolve 2006

Resolve 2007 will be held June 11-13, 2007 at Clemson's Madren Conference Center.

The aim of the workshop is to bring together researchers and educators interested in:

  • Refining formal approaches to software engineering, especially component-based systems, and

  • Introducing them into the classroom.

This meeting provides a forum for participants to present and discuss recent advances, trends, and concerns in these areas, as well as formulate a common understanding of emerging research issues and possible solution paths.

Important Dates
Submissions due: 5/22
Acceptance notification: 5/29
Registration and hotel deadline: 5/29
Camera-ready due: 6/3
E-proceedings: 6/7
Workshop: 6/11-13

Workshop News

Proceedings posted
Wednesday, June 07, 2007
The workshop proceedings have been posted to the website. We would like to encourage participants to review the proceedings prior to attending the workshop. Bring a copy for your flight!
Schedule posted
Wednesday, June 07, 2007
The final workshop schedule has been posted to the website. We're looking forward to an exciting program!
Workshop website created
Sunday, April 22, 2007
The workshop website has been created. Many thanks to Steve Edwards for letting us borrow his website design from last year!