Skip to main content.

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 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:

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