Newsgroups: comp.parallel
From: mehmet@ra.mpce.mq.edu.au (Mehmet Orgun)
Subject: Final CFP: ISLIP'95
Organization: Macquarie University, Sydney
Date: Wed, 8 Feb 1995 13:04:22 GMT
Message-ID: <3h3r89$4h@sunb.ocs.mq.edu.au>


                       Final Call for Papers 
  
                              ISLIP'95 
  The Eighth International Symposium on Languages for Intensional Programming   

	   May 3-5, 1995, Macquarie University, Sydney, Australia  
 

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 begun 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  
   * visual languages
   * 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 addres 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 either one of the e-mail addresses below.  You can also send 
3 hardcopies of your submission to one of the following addresses 
(chosen with respect to geographical proximity). Paper submission 
deadline is February 15, 1995.

  Edward A. Ashcroft / ISLIP'95     	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.  
   
  Mehmet A. Orgun / ISLIP'95     	E-mail: mehmet@mpce.mq.edu.au  
  Department of Computing      		Phone : +61 2 850 - 9570  
  Macquarie University    		Fax   : +61 2 850 - 9551  
  Sydney, NSW 2109, Australia

Authors will receive notification of acceptance by March 20, 1995.
Revised versions of the papers to appear in the pre-proceedings to be 
distributed at the Symposium are due on April 12, 1995  (preferred in
PostScript or LaTeX form, sent by email).  The symposium will be held
on May 3-5, 1995 at Macquarie University, Sydney, NSW, Australia.

At the Symposium, the research will be presented and also evaluated,
and it is planned that final polished papers will appear in the proceedings
in book form (negotiations with a publisher is under way).

The details about registration and accommodation will be provided later.
 

Symposium Chair
_______________
 
  Edward A. Ashcroft   	Arizona State University 
         
Program Committee
_________________

  Seiki Akama  		Teikyo University of Technology  
  Edward A. Ashcroft 	Arizona State University 
  Weichang Du   	University of New Brunswick 
  Tony A. Faustini    	Arizona State University 
  Jan Hext    		Macquarie University 
  Tom Hintz  		University of Technology,Sydney  
  R. Jagannathan    	SRI International  
  Michael Johnson   	Macquarie University 
  Steve Matthews   	University of Warwick 
  Mehmet A. Orgun 	Macquarie University 
  John Potter    	Microsoft Institute 
  John Plaice  		University of Laval 
  William W. Wadge    	University of Victoria 
  Andrew L. Wendelborn  University of Adelaide 
  Kang Zhang    	Macquarie University 
         
 
Local Arrangements 
___________________
  
  Mehmet A. Orgun    	Macquarie University 
  Kang Zhang    	Macquarie University 
         
  
Important Dates
_______________
  
 Submission Deadline:   February 15, 1995    
 Notification:  	March 20, 1995   
 Revised Versions due:  April 12, 1995      
 Symposium:   		May 3-5, 1995  
  

Further Information
___________________
  
Contact:  
     ed.ashcroft@asu.edu   
     mehmet@mpce.mq.edu.au   
  
  
Latest information about the Symposium will be made available
via the WWW page: http://krakatoa.mpce.mq.edu.au/~mehmet/islip95.html


-- 
---------------------------------------------------------------
Mehmet A Orgun, Department of Computing, Macquarie University 
		Sydney,  NSW 2109,  Australia    
		Tel: +61 (0)2 850 9570,  Fax: +61 (0)2 850 9551	  
		E-mail: mehmet@mpce.mq.edu.au			  


