Newsgroups: comp.parallel
From: Ed Ashcroft <ed.ashcroft@asu.edu>
Subject: First Call for papers ISLIP96
Organization: Arizona State University
Date: Mon, 27 Nov 1995 23:43:37 GMT
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Message-ID: <30BA4D29.15FB7483@asu.edu>

Preliminary Call for Papers

                              ISLIP'96
  The Ninth International Symposium on Languages for Intensional
Programming

     May 13-15, 1996 Arizona State University, Tempe, Arizona, USA 


Objectives
__________

There is a growing interest in computational models and/or programming
languages and systems based on intensional logics such as temporal logic,
interval logic, modal and intuitionistic logics. In fact, a whole new
programming model called intensional programming has been created
with applications in a wide range of areas including parallel programming,
dataflow computation, temporal reasoning, scientific computation,
real-time programming, temporal databases, spreadsheets, attribute grammars,
and hardware synthesis.

This symposium aims at bringing together researchers working in all aspects
of this area, and to promote intensive discussions and foster collaboration
among researchers.  We encourage papers dealing with the theoretical
foundations, design, implementation and prototype development issues,
comparative studies, and applications,  as well as those describing new
challenges arising out of applications.

The symposium will include, but will not be limited to, the following topics
of interest (as they relate to intensional programming ):

   Programming paradigms                Semantics

   * dataflow computation               * non-determinism
   * connectionist models               * extended Kahn principle
   * logic programming                  * intensional concepts
   * real-time programming              * termination issues
   * languages such as Lucid and GLU


   Software Engineering                 Applications

   * version control                    * signal processing
   * visual user interfaces             * image processing
   * parallel programming               * hardware synthesis
   * fault-tolerant systems             * graphics
   * program verification               * data models


Submissions
___________

You are invited to submit either a full paper or an extended abstract
of approximately 5000 words (10-15 double spaced pages).  The cover page
should include the name, phone/fax numbers and e-mail address of the contact
author(s), a short abstract, topic(s) and a list of keywords.
Papers will be reviewed by the program committee for their originality,
correctness, significance, and relevance to the symposium.

We prefer PostScript or self-contained  LaTeX submissions via electronic
mail to the e-mail address below.  You can also send 3 hardcopies of 
your submission to the following address.  Submissions should
arrive no later than February 15, 1996.

  Edward A. Ashcroft / ISLIP'96         E-mail: ed.ashcroft@asu.edu
  Department of Computer Science & Eng  Phone : +1 602 965-7544
  Arizona State University              Fax   : +1 602 965-2751
  Tempe, Arizona 85283, U.S.A.

Authors will receive notification of acceptance by March 20, 1996.  The 
papers to appear in the pre-proceedings that will be distributed at the 
Symposium are due on April 12, 1996  (preferably in PostScript or LaTeX 
form, sent by email).  The symposium will be held on May 13-15, 1996 at 
Arizona State University, Tempe, Arizona, USA.

At the Symposium, the research will be presented and also citiqued, and 
the resulting modified, final papers will appear in a book entitled 
Intensional Programming II, published by World Scientific Press.  
(ISLIP 95 resulted in the book Intensional Programming I.)

The details about registration and accommodation will be provided later.


Symposium Chair
_______________

  Edward A. Ashcroft    Arizona State University

Program Committee
_________________

  Edward A. Ashcroft    Arizona State University, USA
  Paul Caspi            IMAG, Grenoble, France
  Weichang Du           University of New Brunswick, Canada
  Tony A. Faustini      Arizona State University, USA
  Bjorn Freeman-Benson  Object Technology International Inc., Canada
  David Israel          AI, SRI International, USA
  R. Jagannathan        CSL, SRI International, USA
  Michael Johnson       Macquarie University, Australia
  Peter Ladkin          University Bielefeld, Germany
  Steve Matthews        University of Warwick, England
  Mehmet A. Orgun       Macquarie University, Australia
  John Plaice           University of Laval, Canada
  William W. Wadge      University of Victoria, Canada
  Kang Zhang            Macquarie University, Australia


Local Arrangements
___________________

  Tony Faustini         Arizona State University 

Important Dates
_______________

 Submission Deadline:   February 15, 1996
 Notification:          March 20, 1996
 Revised Versions due:  April 12, 1996
 Symposium:             May 13-15, 1996

Further Information
___________________

Contact:
     ed.ashcroft@asu.edu


Latest information about the Symposium will be made available
via the WWW page: http://lu.eas.asu.edu/islip96.html


