From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/3507 Path: news.gmane.org!not-for-mail From: terkel@imm.dtu.dk Newsgroups: gmane.science.mathematics.categories Subject: SAS 2007 Preliminary Call for Papers Date: Thu, 7 Dec 2006 17:31:09 +0100 (CET) Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain;charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1241019348 9051 80.91.229.2 (29 Apr 2009 15:35:48 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:35:48 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Thu Dec 7 19:40:08 2006 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Thu, 07 Dec 2006 19:40:08 -0400 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1GsSpJ-0003Th-Rg for categories-list@mta.ca; Thu, 07 Dec 2006 19:38:53 -0400 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 8 Original-Lines: 102 Xref: news.gmane.org gmane.science.mathematics.categories:3507 Archived-At: Call for papers Static Analysis Symposium SAS 2007 22-24 August 2007, Kongens Lyngby, Denmark (co-located with LOPSTR 2007) url http://www.imm.dtu.dk/sas2007 email sas2007@imm.dtu.dk 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 advance= s in the area. The technical programme for SAS 2007 will consist of invited lectures, tutorials, panels, presentations of refereed papers, and software demonstrations. Contributions are welcome on all aspects of Static Analys= is, including, but not limited to: abstract domain abstract interpretation abstract testing compiler optimisations control flow analysis data flow analysis model checking program specialization security analysis theoretical analysis frameworks type based analysis 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 from a new perspective, and application papers, that describe experience with industrial applications, 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. Submitted papers should be at most 15 pages formatted in LNCS style excluding bibliography and well-marked appendices not intended for publication). PC members are not required to read the appendices, and thu= s papers should be intelligible without them. The proceedings will be ublished by Springer-Verlag in the Lecture Notes in Computer Science series. Program Committee Agostino Cortesi (U. Venice, Italy) Patrick Cousot (ENS, France) Manuel Fahndrich (Microsoft, USA) Gilberto Fil=E9 (U. Padova, Italy, co-chair) Roberto Giacobazzi (U. Verona, Italy) Chris Hankin (Imperial College, UK) Manuel Hermenegildo (TU. Madrid, Spain) Jens Knoop (TU. Vienna, Austria) Naoki Kobayashi (Tohoku U., Japan) Julia Lawall (U. Copenhagen, Denmark) Hanne Riis Nielson (DTU, Denmark, co-chair) Andreas Podelski (U. Freiburg, Germany) Jakob Rehof (U. Dortmund, Germany) Radu Rugina (Cornell U., USA) Mooly Sagiv (Tel-Aviv U., Israel) Dave Schmidt (Kansas State U., USA) Helmut Seidl (TUM, Germany) Harald S=F8ndergaard (U. Melbourne, AU) Kwangkeun Yi (Seoul N. U., Korea) Organising committee Christian W. Probst Flemming Nielson Terkel K. Tolstrup Henrik Pilegaard Eva Bing Elsebeth Str=F8m Important dates Submission of abstract: March 26, 2007 Submission of full paper: March 30, 2007 Notification: May 7, 2007 Camera-ready version: June 4, 2007 Conference: August 22-24, 2007 --- Terkel K. Tolstrup Language-Based Technology Technical University of Denmark