SAS'97: Final Call For Papers (Latex Version)
Daniel Yellin
\documentstyle{article} \pagestyle{empty}
\hbadness=10000
\newcommand{\xtwopages}[2]{\parbox[t]{5.5cm}{#1} \parbox[t]{12.5cm}{#2}}
\setlength{\oddsidemargin}{-1.2cm}
\setlength{\evensidemargin}{0cm}
\setlength{\topmargin}{-0.2in}
\setlength{\headsep}{0cm}
\setlength{\textwidth}{18cm} \setlength{\textheight}{26cm}
\begin{document}
\xtwopages{
\vspace{3.8cm}
{\bf Conference Chair} \\
\begin{tabular}{@{}l}
\\
R. Cousot \\
$\;\;\;$ (CNRS \& Polytechnique) \\
\end{tabular}
\vspace{0.5cm}
{\bf Program Chair} \\
\begin{tabular}{@{}l}
\\
P. Van Hentenryck (Brown) \\
\end{tabular}
\vspace{0.5cm}
{\bf Program Committee} \\
\begin{tabular}{@{}l}
\\
F. Bourdoncle (Mines, Paris) \\
M. Bruynooghe (Leuven) \\
A. Cortesi (Venice) \\
S. Debray (Arizona) \\
A. Deutsch (INRIA) \\
R. Giacobazzi (Pisa) \\
C. Hankin (Imperial College) \\
N. Halbwachs (Grenoble) \\
L. Hendren (McGill) \\
F. Henglein (DIKU) \\
D. Le M\'{e}tayer (INRIA/IRISA) \\
T. Marlowe (Seton Hall) \\
J. Palsberg (Purdue) \\
W. Winsborough (Penn State) \\
\end{tabular}
\vspace{0.5cm}
{\bf Invited Speakers} \\
\begin{tabular}{@{}l}
\\
P. Cousot \\
W. Harrison \\
N. Jones \\
B. Le Charlier \\
K. Marriott \\
B. Ryder \\
\end{tabular}
\vspace{0.5cm}
{\bf Important Dates} \\
\begin{tabular}{@{}ll}
\\
Submission: & 7 April \\
Notification: & 2 June \\
Final Version: & 23 June
\end{tabular}
}
{
\begin{center}
{\Large Call For Papers}
\\[.5cm]
{\Large\bf International Static Analysis Symposium (SAS'97)}
\\[.5cm]
{\bf Paris, France, 8--10 September 1997}
\\[.5cm]
{\tt http://lix.polytechnique.fr/~radhia/sas97}
\\[.5cm]
\end{center}
Static Analysis is increasingly recognised as a fundamental tool for
high performance implementations and verification systems of high-level
programming languages. The last two decades have witnessed substantial
developments in this area, ranging from theoretical frameworks to
design, implementation, and application of analysers in
optimising compilers.
\hspace{0.3cm} The Fourth International Static Analysis Symposium
(SAS'97) will be held in Paris to celebrate the 20th anniversary of
the publication of the seminal paper of Patrick and Radhia Cousot in
the Proceedings of the Principles of Programming Languages Conference
(POPL'77). Previous symposia were held in Namur, Glasgow, and Aachen.
\hspace{0.3cm} The technical program for SAS'96 will consist of
invited lectures, tutorials, panels, presentations of refereed papers,
and software demonstrations. Contributions are welcome on all aspects
of Static Analysis, including, but not limited to
\begin{center}{\em
\begin{tabular}{ll}
Abstract Interpretation & Optimising Compilers \\
Complexity & Theoretical Frameworks \\
Experimental Evaluation & Verification Systems \\
Specific Analyses & Type Inference \\
Partial Evaluation & Abstract Domains \\
\end{tabular}}
\end{center}
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 are also welcome.
\hspace{0.3cm} Papers must be written in English, must not exceed 15
pages (excluding references and figures), and must contain a cover
page containing the following: a 200-word abstract, keywords, postal
and electronic mailing addresses, and phone numbers and fax numbers of
one of the authors. Submissions should arrive by
{\bf April 7, 1997} either by email (a Postscript
file) or by post (six paper copies) at the address
\begin{center}
\begin{tabular}{@{}ll}
Email: & sa...@cs.brown.edu \\
Phone: & + 1 401 863 76 34 \\
Fax: & + 1 401 863 76 57 \\
Post: & Pascal Van Hentenryck \\
& Department of Computer Science \\
& Box 1912 \\
& 115 Waterman St. 4th floor \\
& Providence, RI 02906 \\
\end{tabular}
\end{center}
Electronic submission is preferred, but do ensure that your submission
is self-contained and prints on A4 paper. At the time of submission a
message containing an ASCII or \LaTeX{} version of the paper's cover
page should be sent by email and all electronic submissions will be
acknowledged. Authors will be notified of the acceptance or rejection
of their papers by {\bf June 2, 1997}. Final versions of the accepted
papers must be received in camera-ready form by {\bf June, 23 1997}.
The proceedings will be published by Springer-Verlag
in the LNCS series.}
\end{document}