CFP: ISLIP'98

• Subject: CFP: ISLIP'98
• From: Mehmet ORGUN <mehmet@mpce.mq.edu.au>
• Date: Mon, 23 Feb 1998 15:20:28 +1100 (EST)

CALL FOR PAPERS
===============

ISLIP'98: The Eleventh International Symposium on Languages for Intensional Programming

May 7-9, 1998, Sun Microsystems, Palo Alto, California

OBJECTIVES 

The Symposium aims to bring together researchers working on or with programming 
languages and systems based on intensional logics and possible world semantics.
We especially encourage work which has immediate practical application but  
also welcome papers on theoretical and methodological topics. 

INTENSIONAL PROGRAMMING 

Intensional programming systems allow programmers to directly manipulate 
intensions -values which vary over a space of indices (also called contexts, 
reference points, or possible worlds). An index may represent a time point, 
a time interval, a spatial position, a spreadsheet cell, a node in a tree, 
a function invocation, a URL, a class in an OO class hierarchy, or a point 
in a version space - or a combination (tuple) of simpler indices, 
one for each of a number of dimensions. Intensional (context-switching) 
operators transform their operands by combining values from different contexts. 
Intensional languages normally use a generalized dataflow computation model,
one in which token tags represent indices, tagged token streams represent 
intensions, and tag manipulating filters implement intensional operators. 

TOPICS OF INTEREST

All areas of dataflow, including systems like GLU for parallel solutions 
of scientific computing applications.; dataflow visualization and processing 
of multidimensional data, especially mutidimensional signal/image processing 
and reactive/realtime software with languages such as LUSTRE or SIGNAL; 
and dataflow related paradigms such as spreadsheets and visual programming.

Intensional versions of logic-based systems: 
- intensional functional programming (e.g. Lucid); 
- intensional logic programming (e.g. Chronolog, Molog, Templog); 
- executable temporal logic (e.g. Tempura, Metatem); 
- temporal database systems.

Intensional logic based approaches to version/variant control systems for 
software, documentation, and imagery; the Web; object-oriented computing; 
attribute grammars; semantics and verification; type theory.

HOW TO CONTRIBUTE

The Symposium combines aspects of both a conference and a workshop. 
We welcome full conference-style papers (5000 words, about 15 pages) on 
completed projects, shorter interim reports on work in progress 
(at least 1000 words, 3+ pages), or anything in between. Submissions on 
the lower end of the range may be assigned a shorter presentation slot. 
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 wwadge@lucy.uvic.ca.  Submissions which arrive after 3 April 1998 may 
not be considered at all. Successful authors  who submit on time will be 
notified by April 10 and will have until May 1 to make minor modifications.

THE SUCCESSFUL SUBMISSIONS

They will be printed in proceedings to be distributed at the conference. 

FOR MORE INFORMATION

Contact Bill Wadge, ISLIP 98 General Chair, Computer Science, 
University of Victoria, PO BOX 3055 Victoria BC Canada, 
wwadge@lucy.uvic.ca.

Or consult the Home Wurld web site http://lucy.uvic.ca.

• Prev: MFPS 14 Second Announcement
• Next: CONCUR98: final CFP (EXTENDED deadline)
• Index: AMAST Mail 1998