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!).

Logistics

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.

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.