Author Instructions

The final paper and the signed copyright form are due on July 6th, 2018.

This is a firm deadline for the production of the proceedings.

At least one author of each paper is required to attend the conference and present the paper.

Final Paper

Please submit the files belonging to your camera-ready paper using your EasyChair proceedings author role for SAS 2018. Follow the instructions after the login for uploading two files:

1. (1) either a zipped file containing all your LaTeX sources or a Word file in the RTF format, and
   

2. (2) the PDF version of your camera-ready paper
   

The page limit is 20 pages. If you need more space, please contact the PC Chair. Please follow strictly

the author instructions of Springer-Verlag when preparing the final version:

1. http://www.springer.de/comp/lncs/authors.html
   

Our publisher has recently introduced an extra control loop: once data processing is finished, they will contact all corresponding authors and ask them to check their papers. We expect this to happen shortly before the printing of the proceedings. At that time your quick interaction with Springer-Verlag will be greatly appreciated.

Copyright

It is mandatory that a signed and completed copyright form is uploaded (together with the final version, or earlier). The Springer copyright forms can be found here (partially filled out for SAS 2018). It is sufficient for one of the authors to sign the copyright form. You can scan the form into PDF or any other standard image format.

Proceedings Title and Number

The proceedings title is: 25th Static Analysis Symposium.
The LNCS volume number is: 11002.