>>>>EARLY REGISTRATION DEADLINE IS MARCH 15TH<<<<<
Call for Participation
Reflection 96
April 21-23, 1996
San Francisco Hilton Hotel and Towers
San Francisco, California, U.S.A
Over the last 15 years, the topic of Reflection and Meta-Level
Architectures has attracted increasing attention from researchers
throughout computer science.
Reflection '96 will provide a forum for researchers and developers to
hear about the latest advances in reflective systems. Presented papers
will address problems in such areas as programming languages, operating
systems, databases, and distributed computing. In addition to paper
presentations and invited talks, time will be reserved for intensive
discussions on topics ranging from conceptual foundations to practical
applications.
The technical program of the conference has been organized so that
people new to the topic of reflection will not be lost. The program
begins with tutorial papers that provide a gentle introduction and
survey of the basic concepts. In addition to a range of excellent
papers that present the state of the art, it also includes a panel which
will discuss the design of reflective systems.
We invite you to participate!
Early Registration Deadline: 15th March 1996.
For further information, visit the Reflection 96 web site:
http://www.parc.xerox.com/reflection96
If you don't have access to the web, please send mail to
············@parc.xerox.com for more information.
Reflection 96 is sponsored in part by Object Technology International,
ParcPlace-Digitalk, and Xerox PARC.
Technical Program:
Sunday, April 21, 1996
9.30-10.30 Invited Talk -- Mario Tokoro, Keio University
11-11.45 Tutorial
Research directions in the efficient implementation
of behavioral reflection
J. Malenfant, M. Jacques, F.-N. Demers (Universite de Montreal)
13.00-13.45 Tutorial
Smalltalk: a Reflective Language
Fred Rivard
(Ecole des Mines de Nantes & Object Technology International)
14.15-15.45 Distributed Systems
Engineering the meta-level
Jeff McAffer
(Object Technology International & The University of Tokyo)
Reflection on a legacy transaction processing monitor
Roger Barga, Calton Pu (Oregon Graduate Institute)
Implementing parallel language constructs using a
reflective object-oriented language
Hikehiko Masuhara, Satoshi Matsuoka, Akinori Yonezawa.
(The University of Tokyo)
16.15-17.45 Panel on Designing Reflective Facilities
Chair: Robert Stroud (University of Newcastle upon Tyne)
Monday, April 22, 1996
9.00-10.00 Invited Talk -- Brian Smith (Xerox PARC)
10.30-12.00 Scheme
Macroexpansion Reflective Tower
Christian Queinnec (Ecole Polytechnique & Inria Rocquencourt)
Towards Partial Evaluation of Full Scheme
Peter Thiemann (Universitat Tubingen)
An Introduction to Reflection-oriented programming
Jonathan Sobel and Daniel P. Friedman (Indiana University)
13.30-15.00 Compile-time Metaobject Protocols
Meta-object protocols for C++: The Iguana approach
Brendan Gowing and Vinny Cahill (Trinity College)
Design and Implementation of Metalevel Architecture in C++
- MPC++ Approach -
Yutaka Ishikawa, Atsushi Hori, Mitsuhisa Sato, Motohiko Matsuda,
Jorg Nolte,Hiroshi Tezuka, Hiroki Konaka, Munenori Maeda,
Kazuto Kubota (Real-World Computing Partnership)
AP/S++: Case study of a MOP for Purposes of Software Evolution
Cristina Lopes (Northeastern University & Xerox PARC) and
Karl Lieberherr (Northeastern University)
15.30-17.00 Metaclasses
Inheritance of Metaclass constraints in SOM
Ira R. Forman, Scott H. Danforth(IBM Object Technology Products)
Dynamic Meta-Class construction for an Explicit Specialization
Interface
Mira Mezini (University of Siegen)
Tuesday, April 23, 1996
9.00-10.00 Artificial Intelligence and User Interfaces
Infinite Regress with Self-Monitoring
Sylvie Kornman (LAMSADE Paris Dauphine University)
Organising user interfaces around reflective accounts
Paul Dourish (Rank Xerox Research Center, Cambridge Lab),
Annette Adler(Xerox Corporation), Brian C. Smith (Xerox PARC)
10.30-12.00 Theory
An exploration of relationships between reflective theories
Anurag Mendhekar (Xerox PARC), Daniel P. Friedman (Indiana University)
Axiomatizing Reflective logics and languages
Jose Meseguer, Manuel Clavel (SRI International)
Type-Safe Reflection and Encapsulation in Logic Programming
Christopher P. Higgins (Griffith University)