From: Radhia Cousot <radhia@lix.polytechnique.fr>
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
Date: Tue, 06 Feb 2001 18:38:39 +0100 [thread overview]
Message-ID: <3A80369E.6090652A@lix.polytechnique.fr> (raw)
[-- Attachment #1: Type: text/plain, Size: 1 bytes --]
[-- Attachment #2: sas01-cfp.txt --]
[-- Type: text/plain, Size: 4383 bytes --]
========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
reply other threads:[~2001-02-07 21:05 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=3A80369E.6090652A@lix.polytechnique.fr \
--to=radhia@lix.polytechnique.fr \
--cc=amast@cs.utwente.nl \
--cc=appsem@cs.chalmers.se \
--cc=caml-list@inria.fr \
--cc=compunode@compulog.org \
--cc=concurrency@cwi.nl \
--cc=formal-methods@cs.uidaho.edu \
--cc=haskell@haskell.org \
--cc=lcs@saul.cis.upenn.edu \
--cc=logic@theory.lcs.mit.edu \
--cc=mfps_mail@math.tulane.edu \
--cc=procos-list@comlab.ox.ac.uk \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).