For researchers in formal specification, verification, component-based software engineering, and teaching
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
|
| 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!
|
|
| Wednesday, June 07, 2007 |
|
The final workshop schedule has been posted to the website.
We're looking forward to an exciting program!
|
|
| 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!
|
|