Portland, Oregon, November 6, 2006
Workshop Programme and Papers
A total of 13 papers have been accepted to the Alloy Workshop, 7 full papers,
4 short papers, and 2 position papers.
View the workshop programme, the
accepted papers, or the pre-workshop proceedings.
Call for Papers
Alloy is one of several emerging 'lightweight formal methods' that use simple first-order logics for expressing designs and properties, coupled with constraint solving technology for automatic analysis. The workshop will provide an opportunity for researchers and educators working with Alloy and similar technologies to share experiences, articulate challenges, and present new ideas.
Three kinds of papers are solicited:
- Position papers (1-2 pages)
- Short papers (1-5 pages)
- Full papers (5-10 pages)
Position papers are intended for a broad audience, and should make a cogent argument for a point of view; they should not include any technical details. Short and full papers are for research and pedagogical ideas, and for reporting experiences in application, teaching or tool building. Papers will be published on the workshop website, and archived in the ACM Digital Library. Attendance is open to all.
Examples of relevant topics include:
- methodological aspects: requirements, safety cases, design exploration, etc
- educational strategies and pedagogical approaches
- case studies in research, teaching or application
- patterns and idioms for modeling and analysis
- language design and analysis technology (especially SAT)
- code verification and automated test case generation
- tool design and novel user interfaces
- other applications of declarative technology
Important Dates
| Deadline for submissions: | September 11, 2006 |
| Notification of Acceptance: | September 29, 2006 |
| Workshop Presentations: | November 6, 2006 |
Program Committee
| Daniel Jackson (Chair) Massachusetts Institute of Technology |
Jeremy Jacob University of York |
|
| Pamela Zave (Chair) AT&T Laboratories |
Shriram Krishnamurthi Brown University |
|
| Paulo Borba Universidade Federal de Pernambuco |
Sarfraz Khurshid University of Texas at Austin |
|
| Michael Butler University of Southampton |
Michael Leuschel University of Düsseldorf |
|
| Matthew Dwyer University of Nebraska |
Ilya Shlyakhter NEC Laboratories |
|
| John Fitzgerald University of Newcastle, UK |
Manu Sridharan University of California at Berkeley |
|
| Marcelo Frias University of Buenos Aires |
Kevin Sullivan University of Virginia |
|
| Martin Gogolla University of Bremen |
Mandana Vaziri IBM T. J. Watson Research Center, Hawthorne |
|
| Michael Huth Imperial College |
Jim Woodcock University of York |