alloy workshop

alloy workshop

From: Daniel Jackson <>
Date: Wed, 30 Aug 2006 19:53:20 -0400
Message-Id: <>
Dear PUML'ers:

The submission deadline for the Alloy Workshop is just under two  
weeks away. Do consider submitting a paper. A paper on lightweight  
analysis of OCL, or an OCL case study would be within scope.


First Alloy Workshop
Colocated with Foundations of Software Engineering
Sponsored by ACM SIGSOFT
Portland, Oregon
Monday, November 6, 2006

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

All submissions should be in PDF, in 10pt type, in two-column format,
on US letter-size pages. The ACM Digital Library requires that only
Postscript Type 1 fonts be used; LaTex users in particular should make
sure not to use bitmapped fonts.

Important Dates:
Submission deadline: September 11, 2006
Author notification: September 29, 2006
Workshop: November 6, 2006

Program Chairs

Daniel Jackson
Massachusetts Institute of Technology

Pamela Zave
AT&T Laboratories

Program Committee

Paulo Borba
Universidade Federal de Pernambuco

Michael Butler
University of Southampton

Matthew Dwyer
University of Nebraska

John Fitzgerald
University of Newcastle, UK

Marcelo Frias
University of Buenos Aires

Martin Gogolla
University of Bremen

Michael Huth
Imperial College

Jeremy Jacob
University of York

Shriram Krishnamurthi
Brown University

Sarfraz Khurshid
University of Texas at Austin

Michael Leuschel
University of Dusseldorf

Ilya Shlyakhter
NEC Laboratories, Princeton

Manu Sridharan
University of California at Berkeley

Kevin Sullivan
University of Virginia

Mandana Vaziri
IBM T. J. Watson Research Center, Hawthorne

Jim Woodcock
University of York
Received on Thu 31 Aug 2006 - 00:53:26 BST