From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id WAA08283 for caml-red; Wed, 7 Feb 2001 22:05:44 +0100 (MET) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA07356 for ; Tue, 6 Feb 2001 18:39:15 +0100 (MET) Received: from lix.polytechnique.fr (lix.polytechnique.fr [129.104.11.2]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f16HdF915404 for ; Tue, 6 Feb 2001 18:39:15 +0100 (MET) Received: from lix.polytechnique.fr (albatros.polytechnique.fr [129.104.11.47]) by lix.polytechnique.fr (w.x.y/w.x.y) with ESMTP id SAA13727; Tue, 6 Feb 2001 18:38:39 +0100 (MET) Message-ID: <3A80369E.6090652A@lix.polytechnique.fr> Date: Tue, 06 Feb 2001 18:38:39 +0100 From: Radhia Cousot X-Mailer: Mozilla 4.76 [en] (X11; U; Linux 2.2.14-12smp i686) X-Accept-Language: en MIME-Version: 1.0 To: mfps_mail@math.tulane.edu, concurrency@cwi.nl, amast@cs.utwente.nl, appsem@cs.chalmers.se, formal-methods@cs.uidaho.edu, logic@theory.lcs.mit.edu, compunode@compulog.org, procos-list@comlab.ox.ac.uk, lcs@saul.cis.upenn.edu, caml-list@inria.fr, haskell@haskell.org Subject: 8th Static Analysis Symposium : Last CFP Content-Type: multipart/mixed; boundary="------------759D644147D1722C94E388EC" Sender: weis@pauillac.inria.fr This is a multi-part message in MIME format. --------------759D644147D1722C94E388EC Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit --------------759D644147D1722C94E388EC Content-Type: text/plain; charset=us-ascii; name="sas01-cfp.txt" Content-Transfer-Encoding: 7bit Content-Disposition: inline; filename="sas01-cfp.txt" ========My apologies for duplicates of this announcement========= ================================================================= = = = Call For Papers = = = = 8th INTERNATIONAL STATIC ANALYSIS SYMPOSIUM = = = = = = La Sorbonne, Paris = = 16-18 July, 2001 = = = = http://www.ens.fr/sas01/ = = = ================================================================= Static Analysis is increasingly recognized as a fundamental technique for high performance implementations and verification systems of high-level programming languages. The series of Static Analysis Symposia has served as the primary venue for presentation of theoretical, practical and applicative in the area. The Eigth International Static Analysis Symposium (SAS2'01) will be held at La Sorbonne in Paris and followed immediately at La Mutualite by the Thirteenth Conference on Computer Aided Verification (CAV'01, http://www.lsv.ens-cachan.fr/cav01/}. Previous symposia were held in Santa Barbara, Venice, Pisa, Paris, Aachen, Glasgow and Namur. The technical program for SAS'01 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 data flow analysis verification systems optimizing compilers abstract domains program specialization theoretical frameworks type inference abstract model checking complexity analysis abstract testing security analysis 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. Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with a refereed proceedings. Submitted papers should be at most 15 single space 11-point font pages excluding bibliography and well-marked appendices. Program committee members are not required to read any appendices, and so a paper should be intelligible without them. The papers should be submitted as PostScript documents that are interpretable by Ghostscript and/or in PDF format, and they must be printable on both US letter and A4 paper; to facilitate this, extensive use of special fonts and colors should be avoided. Submissions should arrive by February 15, 2001. All submissions must be done electronically at http://www.ens.fr/sas01/. Authors will be notified of the acceptance or rejection of their papers by April 2, 2001. Final versions of the accepted papers must be received in electronic form by April 30, 2001. Important Dates: Submission: February 15, 2001. Notification: April 2, 2001. Final Version: April 30, 2001. Program Chair: Patrick Cousot Ecole Normale Superieure Departement d'Informatique 45, Rue d'Ulm 75230 Paris Cedex 05, France Email: sas01@ens.fr Phone: & + 33 1 44 32 20 64 Fax: & + 33 1 44 32 21 52 Program Committee: M. Bruynooghe (KU, Leuven) P. Cousot (ENS, Paris) G. Fil'e (Padova) M. Hagiya (Tokyo) C. Hankin (IC, London) L. Hendren (McGill, Montreal) M. Hermenegildo (UPM, Madrid) N. Jones (DIKU, Denmark) J. Larus (Microsoft, Redmond) J. Palsberg (Purdue) S. Sagiv (Tel Aviv) D. Sands (Chalmers, Goteborg) D. Schmidt (Kansas S.) M.L. Soffa (Pittsburgh) H. Sondergaard (Melbourne) R. Wilhelm (Saarbruken) K. Yi (KAIST, Taejon) General Chair: Radhia Cousot CNRS & Ecole polytechnique rcousot@lix.polytechnique.fr --------------759D644147D1722C94E388EC--