DICE-FOPARA 2017   
Home Venue Call for Papers Committee Keynotes Schedule Sponsors Registration DICE FOPARA
DICE-FOPARA 2017
Introduction Submissions Proceedings Important Dates Overview Organisation Committee

Sponsors

We acknowledge the support by the program ANR-14-CE25-0005-3, ELICA and DARPA/AFRL contract number FA8750-17-C-088 as well as the provided help by the ETAPS organisation. Last but not least, we want to thank EPTCS for their continuing support in publishing the proceedings.