or unpublished) paper describing
completed work.
PROGRAM CO-CHAIRS:
Amal Ahmed (Northeastern University)
Aleksandar Nanevski (IMDEA Software)
PROGRAM COMMITTEE:
Cristiano Calcagno (Imperial College London and Monoidics Limited)
Robert Dockins (Princeton University)
Martin
-
Workshop Organization
-
Program Co-Chairs:
Amal Ahmed (Northeastern University)
Derek Dreyer (MPI-SWS, Germany)
Program Committee:
Jim Laird (University of Bath)
Rasmus Møgelberg (IT University of Copenhagen)
Greg
or unpublished) paper describing
completed work.
PROGRAM CO-CHAIRS:
Amal Ahmed (Northeastern University)
Aleksandar Nanevski (IMDEA Software)
PROGRAM COMMITTEE:
Cristiano Calcagno (Imperial College London and Monoidics Limited)
Robert Dockins (Princeton University)
Martin Hofmann
or unpublished) paper describing
completed work.
PROGRAM CO-CHAIRS:
Amal Ahmed (Northeastern University)
Aleksandar Nanevski (IMDEA Software)
PROGRAM COMMITTEE:
Cristiano Calcagno (Imperial College London and Monoidics Limited)
Robert Dockins (Princeton University)
Martin