Newsgroups: comp.lang.prolog,comp.constraints
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!howland.reston.ans.net!swrinde!hookup!news.mathworks.com!uunet!munnari.oz.au!cs.mu.OZ.AU!munta.cs.mu.OZ.AU!pjs
From: pjs@munta.cs.mu.OZ.AU (Peter Stuckey)
Subject: EXTENDED DEADLINE: Post-ICLP'95 Workshop on Abstract Interpretation
Message-ID: <9510920.15905@mulga.cs.mu.OZ.AU>
Originator: pjs@munta.cs.mu.OZ.AU
Sender: news@cs.mu.OZ.AU (CS-Usenet)
Reply-To: pjs@cs.mu.oz.au
Organization: Department of Computer Sci, University of Melbourne
Date: Wed, 19 Apr 1995 10:49:28 GMT
Lines: 104
Xref: glinda.oz.cs.cmu.edu comp.lang.prolog:12744 comp.constraints:622

		Final Call for Papers -- Extended Deadline
  Post-ICLP'95 Workshop on Abstract Interpretation of Logic Languages
  	       Shonan Village Center, Kanagawa, Japan
		      June 17 or 18, 1995

Abstract interpretation is a generic approach to data flow analysis.
Its central concept is to approximate the concrete execution of a
program using an abstract version of the execution.  The importance of
abstract interpretation comes from its ability to allow systematic
design of correct data-flow analysis. Considerable research has been
undertaken investigating the use of abstract interpretation for
logic-based languages, in particular for (constraint) logic
programming. Abstract interpretation is believed to be an essential
part in developing efficient implementations which are able to bridge
the gap between the high-level language and the machine. Most new
logic-based language developments incorporate some form of abstract
interpretation based data-flow analysis.
  
The main purpose of this workshop is to bring together researchers
using abstract interpretation in different areas of logic languages,
and give the logic programming community an integrated idea of recent
advances in the field. We would also like to encourage papers with a
practical orientation. We take this to mean not only papers showing
practical uses of abstract interpretation, but also those papers with
an explicitly practical impact, e.g., those allowing an improvement in
efficiency or accuracy, broadening the possibilities of abstract
interpretation, defining new domains interesting for new applications.

			Topics of Interest

The topics of interest for this workshop include, but are not limited
to: 
         Abstract interpretation frameworks and related generic tools 
         Compilation
         Combination of analyzers
         Experimental evaluation of aspects of abstract interpretation
         Applications of data-flow analysis
         Analysis domains for logic languages
         Analysis of concurrent languages

			Paper Submission
        
Papers should not exceed 15 pages (Approximately 5000 words), and the
title page should include each author's name, address, telephone
number and electronic mailing address.  We encourage authors to submit
papers electronically in PostScript format to:

         Gerda Janssens
         Dept. of Computer Science,
         K.U. Leuven
         Celestijnenlaan 200A,
         B-3001 Heverlee (Leuven) 
         Belgium
         +32-16-327634 (ph)
         +32-16-327996 (fax)
         gerda@cs.kuleuven.ac.be

Alternatively, four paper copies may be submitted. At least one of the
authors for each accepted papers is expected to attend the workshop
and present the work.  The collection of accepted papers will be
available at the workshop.

People interested in attending this workshop are encouraged
to submit a note of interest by electronic mail to gerda@cs.kuleuven.ac.be


			Important Dates:

Deadline for submission: 	April 26, 1995 
Notification of acceptance:     May 12, 1995 
Camera-ready papers due: 	May 31, 1995

			   Organizers
        
         Maria Garcia de la Banda
	 Dept. of Computer Science,
	 Monash University,
	 Clayton Vic 3168,
         Melbourne, Australia,
         mbanda@bruce.cs.monash.edu.au

         Gerda Janssens
         Dept. of Computer Science,
         K.U. Leuven
         Celestijnenlaan 200A,
         B-3001 Heverlee (Leuven) 
         Belgium
         +32-16-327634 (ph)
         +32-16-327996 (fax)
         gerda@cs.kuleuven.ac.be

         Peter J. Stuckey
         Dept. of Computer Science,
         University of Melbourne,
         Parkville 3052, Australia
         +61-3 282-2404 (ph)
         +61-3 282-2490 (fax)
         pjs@cs.mu.oz.au






