Venue: Palais des Congrès (Exhibition and Conference Center), Perpignan, France

Contact: sas2010@univ-perp.fr

News

SAS'2011 will take place in Venice

Objectives

Static Analysis is increasingly recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary venue for presentation of theoretical, practical, and application advances in the area. The Seventeenth International Static Analysis Symposium (SAS 2010) will be held in Perpignan, France. Previous symposia were held in Los Angeles, Valencia, Kongens Lyngby, Seoul, London, Verona, San Diego, Madrid, Paris, Santa Barbara, Venezia, Pisa, Paris, Aachen, Glasgow, and Namur.

Topics

The technical programme for SAS 2010 will consist of invited lectures and presentations of refereed papers. Contributions are welcomed on all aspects of static analysis, including, but not limited to:

abstract domains          abstract interpretation
abstract testing   bug detection
data flow analysis   model checking
new applications   program transformation
program verification   security analysis
theoretical frameworks   type checking

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, and application papers, that describe experience with industrial applications, are also welcomed.

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.

Program

See here

Invited Speakers

Special Session in Memory of Robin Milner and Amir Pnueli

Invited speakers :

Important Dates

Submission (abstract) 19 March 2010, 23h59 (GMT) Closed
Submission (full paper) 26 March 2010, 23h59 (GMT) Closed
Notification 4 May 2010
Camera-ready 11 June 2010
Early Registration Until August 1st, 2010
Conference 14-16 September 2010

Call For Papers

Submissions Information

  • Paper submissions should not exceed 15 pages in LNCS format, excluding bibliography and well-marked appendices. Program committee members are not required to read the appendices, and thus papers must be intelligible without them.
  • 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.
  • Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should clearly identify what has been accomplished and why it is significant.
  • The proceedings will be published by Springer-Verlag's Lecture Notes in Computer Science series.

Organizers

Affiliated Events

  • NSAD 2010: The Second Workshop on Numerical and Symbolic Abstract Domains

  • SASB 2010: First Workshop on Static Analysis and Systems Biology

  • TAPAS 2010: Tools for Automatic Program AnalysiS

Venue

SAS 2010 will take place in Perpignan, France, in the Exhibition and Conference Center, located downtown. Situated between the Mediterranean coast and the peaks of the Pyrenees, in the south of France, Perpignan is the capital of Roussillon, a very touristic region attracting people to the coast or to the mountains and Cathar castles of the interior. Alongside the rocky coastline are attractive resorts such as Collioure, which drew the likes of Matisse and Picasso.

Here we list some ways to travel to Perpignan. Or you could just follow the sun.

By air:
  • Direct flights from Paris/Orly.

  • Indirect Flights to Barcelona or Gerona in Spain. Approximately 2 hours by car to Perpignan.

  • From the airport to the city center: You will find a taxi rank outside the arrival lounge. Shuttle bus: Connections for every flight. Rent-a-car: All car rental companies have desks open on the arrival of all flights Ada, Avis, Budget, Citer, Europcar, Hertz, Sixt.
By train: Perpignan has regular train services all year long. For information, contact the SNCF. Following a visit in 1963, the Catalan (Spain) surrealist artist Salvador Dalí declared the city's railway station the centre of the Universe, saying that he always got his best ideas sitting in the waiting room.

Click here for a selection of hotels

Sponsors