[CI] ================================================ AMAST Links 01 03

8th Int'l Symposium on Languages for Intensional Programming, ISLIP'95
                   Sydney, Australia, May 3-5, 1995

   The _full version_ of this Call for Papers is available at
URL: http://www.cs.utwente.nl/data/amast/links/v01/i03/full/ISLIPc.txt
  There is a growing interest in computational models and 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. 
  The symposium will include, but will not be limited to, the following
topics of interest (as they relate to intensional programming):
   _Programming paradigms:_ dataflow computation, connectionist models,
logic programming, real-time programming, languages such as Lucid and
GLU
   _Semantics:_ non-determinism, extended Kahn principle, intensional
concepts, termination issues
   _Software Engineering:_ version control, visual user interfaces,
parallel programming, fault-tolerant systems, program verification
   _Applications:_ signal processing, image processing, hardware
synthesis, graphics, data models
  *Submission:* either a full paper or an extended abstract of approx.
5000 words (10-15 double spaced pages), preferably by email, to:
   ed.ashcroft@asu.edu or mehmet@mpce.mq.edu.au .
  *Symposium Chair:* Edward A. Ashcroft (Arizona State University)
  *Program Committee:* Seiki Akama (Teikyo University of Technology),
Edward A. Ashcroft (Arizona State), Weichang Du (New Brunswick),
Tony A. Faustini (Arizona State), Jan Hext (Macquarie), Tom Hintz 
(UTS), R. Jagannathan (SRI), Michael Johnson (Macquarie), Steve 
Matthews (Warwick), Mehmet A. Orgun (Macquarie), John Potter 
(Microsoft), John Plaice (Laval), William W. Wadge (Victoria), Andrew 
L. Wendelborn (Adelaide), Kang Zhang (Macquarie).
  *Dates:* Submission: Feb 15, Notification: Mar 20, Revised: Apr 12
   _Latest information_ about the Symposium will be made available at
URL: http://krakatoa.mpce.mq.edu.au/ mehmet/islip95.html