Resolve 2006 will be held March 22-23, 2006 at Virginia Tech's Skelton 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: |
2/28 |
|---|
| Acceptance notification: |
3/07 |
|---|
| Final copy due: |
3/14 |
|---|
| Registration: |
3/14 |
|---|
| E-Proceedings: |
3/17 |
|---|
| Workshop: |
3/22-23 |
|---|
Workshop News
|
|
Proceedings published as a tech report |
|
Thursday, 13 April 2006 |
|
A printable copy of the Proceedings of the Resolve Workshop 2006 have been published as a technical report by the Virginia Tech Department of Computer Science. |
|
|
View Wednesday's schedule |
|
Wednesday, 22 March 2006 |
|
You can view Wednesday's schedule on-line. |
|
|
Tuesday, 21 March 2006 |
|
Continental breakfast starts at 8:30 on both days of the workshop, which will be held in the Drillfield room at the conference center. Sessions run 9-5 on Wednesday, and 9-3 on Thursday. See you there! |
|
|
E-Proceedings are now available |
|
Thursday, 16 March 2006 |
|
The electronic proceedings for this workshop are now available via the link at the left. |
|
|
Electronic submission is now open |
|
Tuesday, 21 February 2006 |
|
Electronic submissions via e-mail are now open. |
|
|
|