Programme
Proceedings
Venue
Call for Papers
Submission
LOPSTR'05
PLID'05
Submissions
Contributions are welcome on all aspects of Static Analysis, including, but not limited to:
| abstract domains | abstract interpretation | abstract testing | complexity analysis |
| data flow analysis | model checking | optimizing compilers | program specialization |
| security analysis | theoretical frameworks | type inference | verification systems |
Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic and object-oriented programming. Survey papers, that present some aspect of the above topics with a new coherence, and application papers, that describe experience with industrial applications, are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with refereed proceedings.
List of papers
The reviewing and paper selection process has finished. Have a look at the list of selected papers !!
Instructions for AuthorsThe camera-ready version of your paper is due on 10 June 2005. |
Proceedings will be published by Springer-Verlag in the Lecture Notes in Computer Science series. Papers should be at most 16 pages long (including bibliography and appendices) formatted in the LNCS style.
We need you to send the pdf version of your paper and all the source files needed to create it: latex file(s), non-standard style files and bibliography file (if not included in the main latex file), to sas2005@doc.ic.ac.uk. Further information is available from the Information for LNCS Authors page reachable following the link above..