Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
***************************************************** * 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 13, 2004*. Notification: *May 9, 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@univr.it *Organizing Committee:* * Fausto Spoto (Chair, E-mail: fausto.spoto@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@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.