%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % % FMOODS '99 % % ========== % % Third IFIP International Conference on % % Formal Methods for % % Open Object-based Distributed Systems % % % % Florence, Italy, February 15th - 18th, 1999 % % % % CALL FOR PAPERS % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% The third IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'99) will take place in Florence, February 15th - 18th, 1999. A WWW page, containing further information and latest news is installed at the URL http://www.dsi.unifi.it/fmoods OBJECTIVES ^^^^^^^^^^ 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 organisations (e.g., ITU, ISO, OMG, TINA-C, COM/DCOM) are defining similar distributed object-based frameworks as a foundation for open distributed computing. New architectures and system models are emerging which 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, 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 ^^^^^^ Papers presenting original contributions in any area of formal methods, concurrency theory, software engineering and distributed system analysis in the context of object-based distributed systems are solicited. Special interest will be devoted to submissions describing industrial applications. Topics include (but are not limited to): - formal models for object-based distributed computing, - specification techniques for distributed systems - efficient analysis techniques of specifications - refinement and transformation of specifications - semantics of object-based programming languages - types, service types and subtyping - object-based coordination languages - design and software life-cycle of object-based distributed applications - formal models for measuring the quality of object-oriented requirement or design specifications - multiple viewpoint modelling and consistency between different models - verification, testing and validation of distributed systems - quality of service: specification, verification and testing of constraints - formal aspects of distributed real-time multimedia systems - applications to telecommunications and related areas INVITED SPEAKERS (provisional list, to be possibly extended) ^^^^^^^^^^^^^^^^ Tutorials: - Luca Cardelli (Microsoft Cambridge Labs) - Cosimo Laneve (Univ. Bologna) - Pamela Zave (AT&T) Invited Speakers: - Howard Bowman and John Derrick (UKC, Kent) - Oscar Nierstrasz (Berna Univ.) - Remo Pareschi (Telecom Italia) - Sriram Sankar (Metamata, Fremont) - Akinori Yonezawa (Tokyo Univ.) PROGRAM COMMITTEE ^^^^^^^^^^^^^^^^^ G. Agha (Univ. Ilinois, Urbana) P. Bellot (ENST, Paris) M. Boasson (Signaal,Hengelo) H. Bowman (UKC, Kent) E. Brinksma (Twente Univ) P. Ciancarini (Univ. Bologna, PC co-chair) J. Derrick (UKC, Kent) M. Diaz (Laas, Toulouse) A. Fantechi (Firenze, OC chair) R. France (Florida At. Univ.) K. Futatsugi (Jaist, Ishikawa) R. Gorrieri (Univ. Bologna, PC co-chair) R. Gotzhein (Kaiserslautern) C. Hankin (IC, London) H. Kilov (Merryl&Lynch, NY) G. Leduc (Univ. Liege) L. Logrippo (Univ. Ottawa) J. de Meer (GMD-FOCUS, Berlin) E. Najm (ENST, Paris) C. Linnhoff-Popien (Univ Aachen) K. Raymond (Univ. Queensland) O. Rafiq (Univ. Pau) A. Rensink (Univ. Hildesheim) J.B. Stefani (Telecom France) P. Wegner (Brown Univ., Providence) SUBMISSIONS ^^^^^^^^^^^ Authors are invited to submit original research papers, up to 15 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 of papers is solicited. Instructions can be found at http://www.dsi.unifi.it/fmoods or will be obtained by sending a mail with subject ``submission information'' to the address fmoods-subm@cs.unibo.it Simultaneous submission of papers to any other conference with published proceedings (or journal) is not allowed. For postal submission, please send six copies to: Prof. Roberto Gorrieri -- FMOODS'99 Dipartimento di Scienze dell'Informazione Universita' di Bologna I-40127 Bologna, Italy email: gorrieri@cs.unibo.it PROCEEDINGS ^^^^^^^^^^^ Kluwer (the IFIP publisher) will publish this volume in the same series of the previous two (previously managed by Chapman & Hall). The proceedings will be made available at the conference. It is also anticipated that a selection of the highest quality papers will be published in a journal special issue on the conference. IMPORTANT DATES ^^^^^^^^^^^^^^^ - Deadline for submission: July 5th, 1998 - Notification of acceptance: September 22th, 1998 - Final manuscript due: October 22th, 1998 - Conference: February 15th -- 18th, 1999 SPONSORS (provisional list) ^^^^^^^^ IFIP, CNR-Italy, Univ. of Bologna and Florence, EU-DGXII (for supporting young researchers). ORGANISATION COMMITTEE ^^^^^^^^^^^^^^^^^^^^^^ FMOODS'99 is organized by the Department of Computer Science of the University of Florence. The Organizing committee is chaired by: Prof. Alessandro Fantechi Dipartimento di Sistemi e Informatica Universita' di Firenze Via S. Marta 3 Firenze, Italy Tel. +39.55.4796265 Fax. +39.55.4796363 email: fantechi@dsi.unifi.it. assisted by the following members: Mario Bravetti, Nadia Busi, Marco Lusini, Cecilia Mascolo, Rosario Pugliese, Fabio Vitali, Gianluigi Zavattaro. WEB ^^^ Fmoods'99 web page is at the URL http://www.dsi.unifi.it/fmoods/ More info on the series of Fmoods conferences can be found at the URL http://www.cs.ukc.ac.uk/research/netdist/fmoods/ SATELLITE MEETINGS ^^^^^^^^^^^^^^^^^^ On friday 19, one day meetings can be organized. Proposal should be sent to the Organizing chairman.