Kahn.pa@XEROX.COM (Ken Kahn) (07/07/87)
We are pleased to announce that Xerox PARC with support from AAAI will host a workshop on concurrent logic programming, meta-programming, and open systems programming on September 8 and 9 (the first business days after the Fourth IEEE Symposium on Logic Programming in San Francisco). Participation is by invitation only. The purpose of the workshop is to promote informal scientific interchanges between members of various laboratories doing research centered around concurrent logic programming languages such Guarded Horn Clauses and KL1 at ICOT, Parlog at Imperial College, FCP at Weizmann Institute of Science, and Vulcan at Xerox PARC. Other topics of interest include meta-programming to support programming abstractions and issues related to programming large open distributed systems. The format of the workshop will consist of informal presentations and discussions of work in progress. Presentations given at the Fourth SLP are not to be repeated. There will be several panel discussions on topics such as the different proposals for dataflow synchronization in these languages, the role of meta-programming in supporting abstractions, and why it is that there are several indepenent implementation efforts for different dialects of concurrent logic programming languages (or are they committed choice programming langauges or open systems programming languages?). Live demonstrations of software is encouraged. Available computers include Xerox computers running Xerox Common Lisp, Vaxes under Unix 4.2BSD, Sun 3's, IBM PC's, and Macintoshes (SE and II). We will not be covering participants' transportation or living expenses. Lunches will be provided. We are expecting between 20 and 40 participants. If you are interested in coming, or know someone who might be, please send a letter or electronic message indicating what you would like to talk about or demo to: Kenneth Kahn Xerox PARC 3333 Coyote Hill Road Palo Alto, CA 94304 (415) 494-4390 or ArpaNet: Kahn.pa@Xerox.Com Here's the preliminary list of invitees: Ehud Shapiro, Weizmann Institute Shmuel Klinger, Weizmann Institute Vijay Saraswat, CMU Leon Sterling, Case Western Reserve Keith Clark, Imperial College Steve Gregory, Imperial College Andrew Davison, Imperial College M. Huntbach, Imperial College Mitsuhiro Kishimoto, Fujitsu Y. Takayama, ICOT A. Okumura, ICOT Y. Kimura, ICOT H. Seki, ICOT T. Chikayama, ICOT Kazonuri Ueda, ICOT K. Furukawa, ICOT Fernando Pereira, SRI Tony Kusalik, Univ. of Saskatchewan Leon Alkalaj, UCLA Richard O'Keefe, Quintus Compter Systems Bill Kornfeld Lee Naish, Melbourne University G. Levi, University of Pisa Walter Wilson, IBM M. Maher, IBM Carl Hewitt, MIT Will Clinger, Tektronics Mark Miller, Xerox PARC Danny Bobrow, Xerox PARC Curtis Abbott, Xerox PARC Ken Kahn, Xerox PARC Eric Tribble, Xerox PARC -------