The full version of this announcement is available.
There's 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.
At the Symposium, the research will be presented and also critiqued, 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.)
Details about registration and accommodation will be provided later.
Symposium Chair
Edward A. Ashcroft / ISLIP'96
Department of Computer Science & Eng, Arizona State University
Tempe, Arizona 85283, U.S.A.
Phone: +1 602 965-7544, Fax: +1 602 965-2751
E-mail: ed.ashcroft@asu.edu
Latest information about the Symposium will be made available via the WWW page .