Workshop on the Future of Alloy

April 30 & May 1, 2018. Cambridge, MA

The goal of the workshop is to bring together researchers and users of Alloy, share their perspectives, and formulate short/long-term agendas for improving the language & its tools. We welcome participants from both industry and academia.

The workshop will include discussions on various aspects of Alloy, including (but not limited to):
Extensions: What’s not so easy to express in Alloy, and what language extensions could we make? What are some alternative backends that we could explore (e.g., SMT)?
Benchmarks: How do we collect and share models built by users over the years? What kind of infrastructure do we need?
Usability: What are some obstacles preventing a wider adoption of Alloy? What usability improvements could we make?
Education: How do we teach Alloy to students and practitioners? What education materials could we develop and share among teachers?

The workshop will also include a series of short talks, although they will primarily be intended to ignite discussions among the attendees (not your typical conference presentations!).


The workshop will take place over 1.5 days in the Stata Center (home to the Computer Science & AI Lab at MIT) in Cambridge, MA, USA.

The registration fee is $100, and will include lunches, coffee, and refreshments.

Location: MIT Stata Center, 32 Vassar St, Cambridge, MA, Room 32-D463.
Registration deadline: Mar 31, 2018
Workshop dates: April 30 & May 1 (half day), 2018

Rooms are available at a fixed rate at the following hotels:
Kendall Hotel ($299.99/night; 3 min walk; use promo code CSA18, available until Mar 26)
Hyatt Regency Cambridge ($249.99/night; 20 min walk)
Marriott Cambridge ($357.00/night; 7 min walk)
A number of other hotels are available in the Cambridge/Boston area.


Link to the registration form. Once completing the form, you will be given a link to the payment page.


To be announced.


General chair: Daniel Jackson (MIT)
Program chairs: Eunsuk Kang (CMU & Toyota ITC), Sarfraz Khurshid (UT Austin), Emina Torlak (University of Washington)

© Based on template by Andreas Viklund