The workshop took place on Saturday 11th April 2015 in London, UK.
The proceedings have been published as OASIcs Vol. 44.
The entire volume can also be downloaded as a single PDF file here.
SynCoP took place in the Mile End campus of Queen Mary University of London, in the Bancroft building (building #31 in the campus map).
Lunches and coffee breaks will be in the Octagon (#19a in the map), which is part of the Queens' building (#19).
Additional information can be found on the ETAPS workshops page.
9h20 - 9h35
Welcome address (Étienne André) [slides
9h35 - 10h30
Invited talk: Parosh Abdulla (chair: Goran Frehse)
11h - 12h30
Session 1 (chair: Parosh Abdulla)
14h - 15h
Invited talk: Marta Kwiatkowska (chair: Étienne André)
15h - 16h
session 2 (chair: Marta Kwiatkowska)
16h30 - 17h
session 3 (chair: Kim Larsen)
17h - 18h30
Informal presentations (chair: Kim Larsen)
, 237 Mile End, London, UK E1 4AA