SAS 2004: 1st Call for Papers

Fausto Spoto fausto.spoto at univr.it
Wed Dec 17 16:34:07 EST 2003


       *****************************************************
       *             SAS'04 Call for Papers                *
       * The 11th International Static Analysis Symposium  *
       *       August 26 - 28 2004, Verona, Italy          *
       *              www.sci.univr.it/~sas04              *
       * (co located with LOPSTR'04, PEPM'04, and PPDP'04) *
       *****************************************************

Static Analysis is increasingly  recognized as a fundamental  tool for
high performance  implementations   and  verification  of  programming
languages and systems. The  series   of Static Analysis Symposia   has
served   as the  primary   venue   for presentation of    theoretical,
practical, and   application   advances in  the  area.  The   eleventh
International  Static Analysis Symposium    (SAS'04) will be  held  in
Verona, Italy, co-located with  LOPSTR 2004 - International  Symposium
on  Logic-based Program Synthesis and  Transformation, PEPM 2004 - ACM
SIGPLAN  2004 Workshop   on Partial  Evaluation   and Semantics  Based
Program Manipulation, and  PPDP  2004 - 6th ACM-SIGPLAN  International
Conference     on     Principles    and    Practice    of  Declarative
Programming. Previous symposia were  held in San Diego, Madrid, Paris,
Santa Barbara, Venice, Pisa, Paris, Aachen, Glasgow and Namur.

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

*Submission instructions:*

All  submissions must be  performed electronically from the conference
web site: http://profs.sci.univr.it/~sas04.

Submitted papers should be at most 15 pages excluding bibliography and
well-marked appendices. Program committee members  are not required to
read the  appendices, and thus papers  should  be intelligible without
them.  The  proceedings will  be  published by Springer-Verlag  in the
Lecture       Notes    in     Computer       Science    series    (see
http://www.springer.de/comp/lncs/authors.html for   the   LNCS  author
instructions). Thus, adhering to  that style already in the submission
is strongly encouraged.   Papers    should be submitted   either    in
PostScript or PDF   format  and  they   should   be  interpretable  by
Ghostscript or  Acrobat Reader. Papers  must be printable on either A4
paper or US letter, and preferably on both.

*Best paper award:*

This year there  will be an award  (500 euros) for  the best among the
accepted papers,  as judged by  the program  committee.    The program
committee reserves the right not to  give the  award  or to  split the
award among  several  papers. Papers  authored  or co-authored  by  PC
members are not eligible for the award. This is a new award started at 
SAS 2004.

*Important dates:*

Submission: *April 4, 2004*.
Notification: *May 2, 2004*.
Camera-ready: *May 30, 2004*.
Conference: *August 26-28, 2004*.

*Program Committee:*

  * Thomas Ball (Microsoft, USA)
  * Radhia Cousot (Ecole Polytechnique, FR)
  * Roberto Giacobazzi (U. Verona, IT -- PC Chair)
  * Chris Hankin (Imperial College, UK)
  * Thomas Jensen (IRISA/CNRS Rennes, FR)
  * Jens Knoop (TU Wien, AT)
  * Giorgio Levi (U. Pisa, IT)
  * Laurent Mauborgne (ENS, FR)
  * Andreas Podelski (MPI, DE)
  * German Puebla (UPM, ES)
  * Ganesan Ramalingam (IBM, USA)
  * Francesco Ranzato (U. Padova, IT)
  * Martin Rinard (MIT, USA)
  * Andrei Sabelfeld (CUT, SE)
  * Mary Lou Soffa (Pittsburgh U., USA)
  * Harald Sondergaard (U. Melbourne, AU)   
  * Reinhard Wilhelm (Saarland U., DE)

*Contact address:*

Roberto Giacobazzi, SAS'04 PC Chair
Dipartimento di Informatica
Universita' di Verona
Strada Le Grazie 15, Ca' Vignal 2, 37134 Verona, Italy
E-mail: roberto.giacobazzi at univr.it

*Organizing Committee:*

  * Fausto Spoto (Chair, E-mail: fausto.spoto at univr.it) 
  * Mila Dalla Preda 
  * Samir Genaim 
  * Isabella Mastroeni 
  * Massimo Merro 
  * Giovanni Scardoni 
  * Damiano Zanardini 

*Venue:*

Verona is among  the most  important  historical and  artistic town in
Italy, with more than two thousand years of history.  During the Roman
Empire  it  was a  political and  commercial centre, whose magnificent
traces can still be seen in the Arena and the Roman Theatre.
Verona has always been  synonymous with culture, nowadays it  attracts
people from  everywhere  thanks to the   Arena, the myth of  Romeo and
Juliet and its precious beauty.  SAS'04  has been scheduled at the end
of August 2004, so that participants  may also appreciate the cultural
events in  town, such as the  opera at the  Arena  and other  open air
concerts and happenings.

*Workshops:*

Those intending   to organize a  workshop at   LOPSTR'04  + PEPM'04  +
PPDP'04  + SAS'04 are   invited to submit  a  workshop proposal to the
workshop   chair: Fausto    Spoto  (fausto.spoto at univr.it).  Proposals
should be in   English and about   two pages in length.  They   should
contain:

 * the title of the workshop
 * a brief technical description of the topics covered by the workshop
 * a discussion of the timeliness and relevance of the workshop
 * the names, affiliation and contact details (email, web page, phone,
   fax) of the workshop organizing committee together with a
   designated contact person as the workshop coordinator
 * a preliminary plan/schedule for organizing the workshop, including
   the required number of half-days allotted to the workshop
 * a list of previously-organized related workshops by any of the
   workshop organizing committee. Although previous experience with
   organizing similar workshops is not required, this information will
   be helpful to the Workshop Chair
 * an estimated number of attendants to the workshop

Proposals are expected in ASCII or LaTeX  format. All proposals should
be submitted to the Workshop Chair by email by January 18, 2004.






More information about the Types-list mailing list