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
Electronic Submission for SAS '04: Static Analysis Symposium
[go: Go Back, main page]

Static Analysis Symposium
SAS '04

Verona, Italy
26-28 August 2004

Electronic Submission Page

Extended Electronic Paper Submission Deadline: 13 April 2004 at midnight (Central European Time).

The strongly prefered way to submit your paper is via this form. Follow the instructions, step-by-step, and then use the "Submit" button at the bottom of the form.

If your browser does not handle forms, see note below.

Corresponding author's name:
Corresponding author's email:
Postal Address:
Title of Paper:
Authors:
Submit Paper:
  • We can accept postscript or PDF formats, in dialects created by most contemporary document preparation tools, for either USLetter (8.5"x11") or A4 page sizes.

  • The file can also be compressed in any standard format, with its appropriate MIME extent (ps.gz for gzipped postscript, ps.Z for compressed postscript, etc.).

  • In rare cases you may need to use compression, since our server can't handle more than 5 MB in a single transfer.
Find the file containing your submission:
File:

Abstract: Cut and paste in 100-200 words of ASCII text. No control characters PLEASE.

Please use the list of topics below to characterize your submission. Check all categories that seem appropriate.

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

Please don't submit your paper before you are ready; we would rather not have to deal with revisions of already submitted papers.

Note on Form-Based Uploads: This form requires your browser to support form-uploads (Internet RFC 1867). While almost all browsers support this feature, including the Netscape Navigator and Internet Explorer, some ancient browsers do not. If you do not see a "Browse" button above -- next to the entry for paper's file name -- then your browser falls into this category. There are two solutions to this problem, one of which is to do yourself a favor, to enter the modern computing era, and to just upgrade your browser. The other solution is to send email to sas04@sci.univr.it, and we'll work out an alternative.

Server START Conference Manager
Update Time 30 Mar 2004 at 10:05:51
Maintainer sas04@sci.univr.it.
Start Conference Manager
Conference Systems