[Prev][Next][Index][Thread]

[SOAP @ ECOOP] Semantics of Objects As Processes '99 (CFP-Reminder)






[-- note that submissions can also be done over Easter --]
[--           no later than until April _7_            --]



______________________ CALL FOR CONTRIBUTIONS _________________________________

                              SOAP '99

                    2nd International Workshop on
                  Semantics of Objects As Processes
                         Hosted by ECOOP '99

                     http://www.cs.auc.dk/soap99/

 Recently, there has been growing interest in studying the behavioural
 properties of object-oriented programs using concepts and ideas from
 process calculi, especially from calculi with some notion of mobility.
 Such calculi have features such as dynamic references and static scoping in
 common with object-oriented programming languages and also provide one with
 a rich vocabulary of reasoning techniques firmly grounded in structural
 operational semantics.

 For the current edition of SOAP, the participation of language designers
 and practitioners from the object-oriented programming community is
 particularly welcome.  Presentations of their view on semantics of objects
 as well as criticism on the process view are encouraged.

==================== AIMS OF SOAP:

 - to bring together researchers working in this area
   with designers and practitioners from the OO community

 - to foster new collaborations between 
   researchers from the process calculus community and 
   researchers from the object-oriented programming language community

 - to present and discuss ongoing work and basic position statements

 - to get new stimulus into the basic research on OO semantics

==================== MAJOR TOPICS:

 * semantics problems raised by OO language designers
 * criticism on current OO semantics by OO language designers
 * integration of objects with processes
 * the inheritance anomaly
 * OO languages with explict distribution
 * OO languages with mobility (object migration)
 * semantics techniques for concurrency and distribution
 * types for concurrent processes and objects

==================== INVITED SPEAKER:

 Oscar Nierstrasz (with Markus Lumpe and Jean-Guy Schneider) (IAM Bern)

==================== ORGANIZERS:

 Hans Hüttel (BRICS/DSS, Aalborg University)
 Eric Jul (DistLab, DIKU)
 Josva Kleist (BRICS/DSS, Aalborg University)
 Uwe Nestmann (contact person) (BRICS/DSS, Aalborg University)
 António Ravara (local organizer) (Technical University of Lisbon)

==================== PARTICIPATION/SUBMISSION:

 Submissions must not exceed 5 pages and should be sent as Postscript/PDF
 files to soap@cs.auc.dk no later than April 7, 1999.  Selection for
 presentation will be carried out by the organizers.  Emphasis is put on
 the potential of the submission to stimulate discussions in the
 above-mentioned scope.  Notification of acceptance is expected for April
 30, 1999.  A collection of papers accepted for presentation will appear as
 a report in the BRICS Notes series, and will be distributed at the
 workshop.

 The number of participants is limited to 15-25.

_______________________________________________________________________________