Resolve 2006:
Steps Toward Addressing (Hoare's) Verification Grand Challenge
March 22-23, 2006
Blacksburg, VA USA

We invite you to participate in the Resolve 2006 Workshop by submitting a position paper to the workshop.

Topics of interest include:

• Verifying compiler technology
• Specification and verification of performance properties
• Modular approaches to detecting component interface violations
• Trade-offs among testing, formal verification, and model checking
• Combining concurrency-oriented formalisms with model-based behavioral specification approaches
• Formal characterization of user interfaces
• Formal modeling of file system behavior
• Formal characterization of mathematical and program types
• Formal semantics and proofs of correctness
• Resolve language and implementation issues
• Software engineering environments and tools
• Component-based software
• Client-view-first pedagogy
• Using Resolve in undergraduate and graduate CS curricula
• Pedagogical techniques to help teach the above topics

Resolve 2006 will be held at the Inn at Virginia Tech and Skelton Conference Center in Blacksburg, Virgina, USA.

Attendance at the workshop is limited to the author(s) of accepted submissions. Paper submissions for Resolve 2006 take the form of short position papers. Position papers should be targeted at raising a question or framing an issue for discussion during the workshop. Position papers are limited to 2500 words (not including figures or references).

Papers must be formatted as plain HTML. See the author guide for formatting instructions. Papers will be submitted on-line via e-mail. The proceedings will be published electronically on this web site before the workshop. Submissions from graduate students are welcome.

Resolve 2006 sponsorship and local arrangements are by the Department of Computer Science at Virginia Tech.