(CFP) TAC Special Volume on Chu Spaces and Applications
[... apologies for multiple copies ... ] CALL FOR PAPERS Theory and Applications of Categories (TAC) http://www.tac.mta.ca/tac/ <http://www.tac.mta.ca/tac/> Special Volume on Chu Spaces and Applications Guest Editors: Valeria de Paiva and Vaughan Pratt The Chu construction, originally devised by Barr and Chu as a uniform formal construction of a diverse range of *-autonomous categories, has in recent years become a topic of considerable interest in its own right, not only in category theory but also in computer science and logic. Concrete applications include elegant models for concurrent processes, information flow, and linear logic. Chu spaces also provide additional insight into dualities involving Hausdorff topological groups, ordered Stone spaces, etc. We have arranged with the editors of Theory and Applications of Categories (TAC) to guest edit a special issue devoted to theory and applications of Chu spaces and related constructions such as Dialectica and double-glueing. The idea for this issue grew out of a workshop on Chu spaces that we organized for LICS (Logic in Computer Science) in Santa Barbara in 2000. We envisage a broader scope for the issue than that of the workshop however, including more recent developments as well as other constructions and frameworks with similar goals and properties. Papers that address the challenge of interdisciplinary thinking using Chu-like constructions are particularly sought. Papers where theoretical underpinnings lead to novel applications and which explain and/or survey the ubiquity of these constructions are also of interest. All papers will be carefully refereed according to the standards of Theory and Applications of Categories. High-quality papers that cannot be accepted in the special issue due to space limitations will be taken into consideration with the authors' permission for publication in a regular issue of the journal. Authors should submit their manuscript to: Valeria de Paiva, Palo Alto Research Center 3333 Coyote Hill Road Palo Alto CA 94304 Email: paiva@parc.com <mailto:paiva@parc.com <mailto:paiva@parc.com> > no later than May 15, 2003.Authors who would like to submit, but have problems with this preliminary deadline, are encouraged to email the guest editors as soon as possible. To expedite handling, authors should prepare their manuscripts following the instructions for contributors described in <http://www.tac.mta.ca/tac/authinfo.html Dr. Valeria de Paiva PARC Palo Alto Research Center 3333 Coyote Hill Road Palo Alto CA 94304 paiva@parc.com 13-Nov-2002 13:41:53 -0400,1094;000000000000-00000000
participants (1)
-
Valeria.dePaiva@parc.com