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