The full version of this Call for Papers is available.
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.