Call for Papers ISLIP'95 The Eigth International Symposium on Languages for Intensional Programming May 3-5, 1995 Macquarie University, Sydney, NSW, 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 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 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). Submissions should arrive no later than 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 a book. 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, 1994 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