As in previous editions, proceedings will be published by Springer-Verlag in the Lecture Notes in Computer Science (LNCS) series. At least one author of each accepted paper must register to the symposium, by the date indicated by the organizers, and present the paper.
Full papers should be at most 16 pages, including the bibliography and appendices. Short and Position papers should be up to 8 pages. Authors should indicate whether their paper is a “position paper” to differentiate them from regular ones (The “Position paper” should be mentioned in the title).
All submissions must be written in English. Committee members are not required to read the appendices, so the paper should be intelligible without them.
Authors must submit their papers by September 15, 2018, using the EasyChair web site (https://easychair.org/conferences/?conf=fps2018) and following the requirements stated there. All papers will be refereed. The submitted contribution should be formatted according to Springer’s LNCS style. Submissions by PhD students as well as surveys and controversial ideas are encouraged. Case studies (successful or not) are also encouraged.