SAS'97 (Extended Deadline) 
Author Message
 SAS'97 (Extended Deadline)

Given the large number of requests for extensions, we decided to
extend the deadline for submissions to April 22. This is a HARD
deadline.

/----------------------------------------------------------------/

                     CALL FOR PAPERS

           International Static Analysis Symposium (SAS'97)

               Paris, France, 8--10 September 1997

              http://www.*-*-*.com/ ~radhia/sas97

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.

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.

The technical program for SAS'97 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

    Abstract Interpretation                Optimising Compilers
    Complexity                             Theoretical Frameworks
    Experimental Evaluation                Verification Systems
    Specific Analyses                      Type Inference
    Partial Evaluation                     Abstract Domains

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.

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
APRIL 7, 1997 either by email (a postscript
file) or by post (six paper copies) at the address

      Post:  Pascal Van Hentenryck
             Department of Computer Science
             Box 1912
             115 Waterman St. 4th floor
             Providence, RI 02906

      Phone: + 1 401 863 76 34
      Fax:   + 1 401 863 76 57

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{*filter*}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 JUNE 2, 1997. Final versions of the accepted papers
must be received in camera-ready form by JUNE, 23 1997.  The
proceedings will be published by Springer-Verlag in the LNCS series.

Conference Chair:
    R. Cousot (CNRS & Polytechnique)

Program Chair:
    P. Van Hentenryck (Brown)

Program Committee:
    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 Me'tayer (INRIA/IRISA)
    T. Marlowe (Seton Hall)
    J. Palsberg (Purdue)
    W. Winsborough (Penn State)

Invited Speakers:
    P. Cousot
    W. Harrison
    N. Jones
    B. Le Charlier
    K. Marriott
    B. Ryder

Important Dates:
    Hard Deadline: 22 April
    Notification: 2 June
    Final Version:  23 June
--




Tue, 28 Sep 1999 03:00:00 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. SAS'97 (Extended Deadline)

2. SAS'97 (Extended Deadline)

3. SAS'97 (Extended Deadline)

4. Extended Deadline: OOPSLA'97 Workshop on Evolving Systems

5. Deadline for Tri-Ada '97 submissions extended to May 16

6. Extended Deadline: CfP COORDINATION'97

7. TOOLS Asia'97 Submission Deadline Extended/Conference Information UPDATE

8. Extended Deadline: OOPSLA'97 Workshop on Evolving Systems

9. TOOLS Asia'97 Submission Deadline Extended/Conference Information UPDATE

10. Extended Deadline: OOPSLA'97 Workshop on Evolving Systems

11. Deadline for Tri-Ada '97 submissions extended to May 16

12. TOOLS Asia'97 Submission Deadline Extended/Conference Information UPDATE

 

 
Powered by phpBB® Forum Software