Final CFP for Static Analysis Symposium SAS'95 (deadline mid-April)

Alan Mycroft <>
Wed, 12 Apr 1995 03:56:39 GMT

          From comp.compilers

Related articles
Final CFP for Static Analysis Symposium SAS'95 (deadline mid-April) (Alan Mycroft) (1995-04-12)
| List of all articles for this month |

Newsgroups: comp.compilers
From: Alan Mycroft <>
Keywords: CFP, conference
Organization: Compilers Central
Date: Wed, 12 Apr 1995 03:56:39 GMT

Please find attached the final call-for-papers for SAS'95.
Details are also available by
Alan Mycroft, PC chair.
   Final Call For Papers

      International Static Analysis Symposium (SAS'95)

  Kelvin Conference Centre, Glasgow, 25--27 September 1995

  Glasgow is a vigorous city, an active cultural centre,
  and features some of the best Indian restaurants in Europe.
  The splendid Highlands and Islands of Scotland are within easy reach.
  It has direct flights to many European and North-American cities.
  It lies 600km north of London (frequent flights or 5--6 hours by train).

Program Committee
  Marc-Michel Corsini & Bordeaux FR
  Patrick Cousot & ENS Paris FR
  Gilberto Fil\`e & Padova IT
  Chris Hankin & Imperial College UK
  Pierre Jouvelot & ENSMP Fontainebleau FR
  Baudouin Le Charlier & Namur BE
  Daniel Le Metayer & Rennes FR
  Peter Lee & Carnegie Mellon US
  Kim Marriott & Monash AU
  Alan Mycroft & Cambridge UK (chair)
  Flemming Nielson & Aarhus DK
  Ulf Nilsson & Link\"oping SE
  Martin Odersky & Karlsruhe DE
  Uday Reddy & Illinois US
  Mads Rosendahl & Roskilde DK
  Harald Sondergaard & Melbourne AU
  Bernhard Steffen & Passau DE
  Phil Wadler & Glasgow UK

Local Organisation
  Simon Peyton Jones & Glasgow
  Andy Gill & Glasgow

Important Dates
  Deadline: 15 April
  Notification: 10 June
  Final Version: 3 July

Contact and Submission address
  Email: &
  Phone: & +44 1223 334621
  Fax: & +44 1223 334678
  Post: & Alan Mycroft
   & Computer Laboratory
   & New Museums Site
   & Pembroke Street
   & Cambridge CB2 3QG

  Static Analysis is increasingly recognised as a fundamental tool for
  high performance implementations and verification systems of high-level
  programming languages. The last two decades have witnessed substantial
  developments in this area, ranging from theoretical frameworks to
  design and implementation of analysers and their applications in
  optimising compilers.

  SAS'95 is the second international symposium on static analysis;
  it follows the growth trend of SAS'94 in Namur (Belgium),
  WSA'93 in Padova (Italy) and JTASPEFL and WSA'92 in Bordeaux (France).
  The technical program for the symposium
  will consist of invited lectures, presentations of refereed papers and
  software demonstrations. Contributions are welcome on all aspects of Static
  Analysis, including, but not limited to
Abstract Interpretation & Optimising Compilers
Applications & Specific Analyses
Complexity & Theoretical Frameworks
Experimental Evaluation & Verification Systems
Fixpoint Algorithms & Type Inference
Partial Evaluation & Abstract Domains
  Submissions can address~any programming paradigm, including concurrent,
  constraint, functional, imperative, logic and object-oriented programming.
  Survey papers which present some aspect of the above topics with a new
  coherence are also welcomed.

  Papers must be written in English, must not exceed 15 pages (excluding
  references and figures) and must contain a cover page including the following:
  a 200 word abstract, keywords, and postal and electronic mailing addresses as
  well as phone numbers and fax numbers of one of the authors.

  Submissions should arrive at the following address by 15 APRIL 1995:
  either e-mail a WWW URL descriptor for your submission; or e-mail a Postscript
  or (uuencoded) DVI file; or send SIX paper copies. (Electronic submission
  is prefered but do ensure that your submission is self-contained and prints on
  A4 paper.) In any case please also e-mail an ascii or Latex
  version of the cover page if possible.

  Authors will be notified of the acceptance or rejection of their papers by
  10 JUNE 1995. Final versions of the accepted papers must be received in
  camera-ready form by 3 JULY 1995. We anticipate that the proceedings will
  again be published by Springer-Verlag in the LNCS series.

  Information on SAS'95 is available from the WWW URL

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.