Happy new year to everyone,
We are happy about being accepted for publishing the SCAV 2018 workshop proceedings through EPTCS. This is different from last year! Hence, please, check our updated submission guidelines. The new page limits take into account a possible transition from the ACM template such that authors should have an easy time when converting their work. We are sorry for any inconveniences, though.
By the way, please, also consider our option to submit a poster along with your short paper. We will try to find an opportunity to have these posters discussed in the breaks and/or wherever convenient according to the possibilities at CPSWeek.
Best wishes and looking forward to receiving the most exciting submissions,