Path: news.daimi.aau.dk!glad From: Arnaud Fevrier Newsgroups: comp.lang.beta Subject: PhDOOS: CFP: FMOODS96 (Formal Methods for Open Object-based Distributed Date: 8 Nov 1995 11:57:36 GMT Organization: DAIMI, Computer Science Dept. at Aarhus University Lines: 263 Approved: mailtonews@daimi.aau.dk Distribution: world Message-ID: <47q5vg$bbh@krone.daimi.aau.dk> NNTP-Posting-Host: daimi.daimi.aau.dk ----------------------------Original message---------------------------- The "Association Des Thesards de l'ENST" (i.e., the Ph.D. Student association of the Ecole Nationale Superieure des Telecommunications, e-mail: bdt@Email.ENST.Fr - URL: http://www.enst.fr/~bdt ) is participating in the organization of a workshop on Formal Methods and Open Object-based distributed systems. You may find the call for papers below. This is a great opportunity for Ph.D. Students in the area of Object Orientation to meet and discuss about Formal Methods and its relationship with the Object World. The HTML version of the Call For Paper may be found at URL: http://www.res.enst.fr/fmoods/fmoods96 Looking forward to your participation. ========================================================================== OOOOOOO O O OOOOO OOOOO OOOOOO OOOOO OO OOOO OOOO O OO OO O O O O O O O OO O O O O O O O O O O O O O O O O O O O OOOOO O O O O O O O O O OOOOO OOOOO OOOOO O O O O O O O O O O O O O O O O O O O O O O O O O O O O O OOOOO OOOOO OOOOOO OOOOO OOOO OOOO FMOODS'96: Second Announcement and Call for Papers 1st Workshop on Formal Methods for Open Object-based Distributed Systems Paris, 4-6 March 1996 http://www.res.enst.fr/fmoods/fmoods96 ========================================================================== ========================================================================== Note: Deadline for submissions is November 10. Please inform us ASAP (fmoods96-request@res.enst.fr) of your intention to submit or in case you need some extra time to finalize your paper. ========================================================================== Sponsors -------- IFIP, CNET (France Telecom), ENST, AFCET, CNRS (pending), Association des Thesards de l'ENST. Object-based Distributed Computing is being established as the most pertinent basis for the support of large, heterogeneous computing and telecommunications systems. Indeed, several important international organizations, such as ITU, ISO, OMG, TINA-C, etc. are defining similar distributed object-based frameworks as a foundation for open distributed computing. The advent of Open Object-based Distributed Systems - OODS - brings new challenges and opportunities for the use and development of formal methods. New architectures and system models are emerging (e.g., the enterprise, information, computational and engineering viewpoints of the ITU-T/ISO/IEC ODP Reference Model) which may require formal notational support. Usual design issues such as specification, verification, refinement, and testing need to take into account new dimensions introduced by distribution and openness, such as quality of service and dependability constraints, dynamic binding and reconfiguration, consistency between multiple models and viewpoints, etc. OODS is a challenging research context and a source of motivation for semantical models of object-based systems and notations (e.g. concurrent and distributed OO languages), for the evolution of standardized formal description techniques (e.g. SDL, LOTOS, Estelle, Z, ...), for the application and assessment of logic based approaches (e.g. temporal logic, TLA, ...), for better understanding and information modeling of business requirements, and for the further development and use of Object Oriented methodologies and tools (OMT, HOOD, Fusion,...). The objective of FMOODS is to provide an integrated forum for the presentation of research in several related fields, and the exchange of ideas and experiences in the topics concerned with the formal methods support for Open Object-based Distributed Systems. Topics of interest include (but are not restricted to): - formal models for object-based distributed computing - semantics of object-based distributed systems and programming languages - formal techniques in object-based and object-oriented specification, analysis and design - refinement and transformation of specifications - multiple viewpoint modeling and consistency between different models - formal techniques in distributed systems verification and testing - types, service types and subtyping - specification, verification and testing of quality of service constraints - formal methods and object life cycle Scientific Committee ---------------------- Gul Agha (U. of Illinois, USA),Patrick Bellot (ENST, France) Gregor Bochmann (U. of Montreal, Canada) Howard Bowman (UKC, UK),Ed Brinksma (U. Twente, Netherlands) John Derrick (UKC, UK),Michel Diaz (LAAS-CNRS, France) Kokichi Futasugui (Jaist, Japan) Reinhard Gotzhein (U. Kaiserslautern, Germany) Haim Kilov (IBM Watson Research Center, USA) Guy Leduc (U. of Liege, Belgium), Luigi Logrippo (U. of Ottawa, Canada) Kathleen Milsted (FT-CNET, France), Jan de Meer (GMD Fokus, Germany) Elie Najm (ENST, France),Oscar Nierstrasz (U. of Bern, Switzerland) Claudia Popien (RWTH Aachen, Germany), Kerry Raymond (DSTC, Australia) Omar Rafiq (U. of Pau, France), Gerd Schuermann (GMD Fokus, Germany) Jacob Slonim (IBM, Canada), Jean-Bernard Stefani (FT-CNET, France) Sebastiano Trigila (F. Ugo Bordoni, Italy) Juan Quemada (ETSI Telecomunicacion, Spain) Co-Chairmen ----------- Elie Najm (ENST, France) Jean-Bernard Stefani (FT-CNET, France) Invited Speakers ---------------- Gul Agha (U. of Illinois, USA) Oscar Nierstrasz (U. of Bern, Switzerland) Benjamin Pierce (U. of Cambridge) Organizing Committee -------------------- Joubine Dustzadeh (ENST,France), Arnaud Fevrier (ENST, France) Frank Olsen (ENST-CNET, France), Krimo Nimour (ENST, France) Philippe Prindeville (ENST, France) Important dates --------------- 10 November 1995: Submission deadline 10 January 1996: Notification of acceptance 30 January 1996: Camera ready copy for participants proceedings due Evaluation and Publication of Submitted Papers ---------------------------------------------- Submitted manuscripts will be evaluated and selected for presentation in the workshop. A copy of the proceedings will be handed out to the participants at the workshop. The final proceedings will be published by Chapman & Hall - please fetch the Latex Macros from the URL: http://www.thomson.com/chaphall/macros.html It is planned to publish a selection of the accepted papers as a special issue of an international journal. Instructions to the Authors --------------------------- Authors are invited to submit full original research papers, up to 16 pages (including bibliography), 12 point, single spaced, including an informative abstract, names and affiliations of all authors, and a list of keywords facilitating the assignment of papers to referees. Electronic submission is highly recommended, and ftp is preferred to e-mail. FTP Submission -------------- Manuscripts in plain (ASCII) text or PostScript format are welcome (possibly compressed with 'compress' or 'gzip'). Use anonymous FTP to ftp.res.enst.fr directory /incoming/fmoods96 using the last name of the contact person as a filename. Note that files deposited in the submission directory can only be written once and cannot be read or deleted afterwards. After having down-loaded your manuscript file into the submission directory, you should notify your submission by e-mail to: fmoods96-submit@res.enst.fr Your notification e-mail should be in plain text (ASCII) and should include: the title of your paper the name of the authors and their institutions a list of keywords an abstract of your paper the name and postal, fax and e-mail addresses of the contact person the name and format of your submission file Your submission and notification will be acknowledged. E-mail Submission ----------------- Should ftp submission be impossible, you may choose to submit your paper with electronic mail. Submissions should be made in two separate e-mails: a Manuscript e-mail and a Notification e-mail. Send your Manuscript in postscript format (possibly uuencoded and compressed with 'compress' or 'gzip') to the following address: fmoods96-submit@res.enst.fr Send your Notification e-mail to: fmoods96-submit@res.enst.fr Your notification e-mail should be in plain text (ASCII) and should include: the title of your paper the name of the authors and their institutions a list of keywords an abstract of your paper the name and postal, fax and e-mail addresses of the contact person Your submission and notification will be acknowledged. Postal Submission ----------------- Should electronic submission be impossible, please send 5 copies of your manuscript to: Elie NAJM ENST Networks Department 46, Rue Barrault 75013 Paris, FRANCE Inquiries --------- Should you need any organizational information, please send a message to: fmoods96-request@res.enst.fr Should you have any scientific enquiries, please send a message to one of the chairpersons: Elie Najm Jean-Bernard Stefani najm@res.enst.fr jean-bernard.stefani@issy.cnet.fr Tel: + 33 1 45 81 77 09 Tel: +33 1 45 29 59 87 Fax: + 33 1 45 89 16 64 Fax: +33 1 45 29 66 04 Related Events -------------- An Open Object-Based Distributed Systems Week In Paris, 4-8 March 96 FMOODS'96 will take place as part of two subsequent workshops related to Open Object-based Distributed Systems and covering the topics of Formal Methods and QoS, respectively. FMOODS will be held 4-6 March and will be followed immediately and in the same location by the QoS Workshop. ICDP'96 IFIP/IEEE International Conference on Distributed Platforms Client/Server and Beyond: DCE, CORBA, ODP Advanced Distributed Applications Dresden, Germany, February 27 - March 1, 1996.