From: dmy@watson.ibm.com (Daniel Yellin) Newsgroups: comp.lang.sigplan Subject: ETAPS'98 - Call for submissions Date: 5 Sep 1997 15:52:37 GMT Organization: IBM T. J. Watson Research Center CALL FOR SUBMISSIONS European Joint Conferences on Theory and Practice of Software E T A P S 98 Lisbon, Portugal March 30 - April 3, 1998 http://www.di.fc.ul.pt/~llf/etaps98/ The European Joint Conferences on Theory and Practice of Software (ETAPS) is a new annual meeting covering a wide range of topics in Software Science which will take place in Europe each spring in the slot currently occupied by CAAP/ESOP/CC and TAPSOFT. ETAPS is a loose and open confederation of existing and new conferences and other events which aims to become the primary European forum for academic and industrial researchers working on topics relating to Software Science. Five main conferences and four satellite events have been programmed for the 1998 edition of ETAPS. See the call for papers below for the complete list. ETAPS will also include an "Advanced Seminar", consisting of a wide spectrum of talks by invited speakers, which will take place in plenary sessions. The invited speakers for 1998 are: Kent Beck, First Class Software Inc., USA Randy Bryant, Carnegie Mellon University, USA Margaret Burnett, Oregon State University, USA Cliff Jones, Harlequin Ltd, UK Michael Mislove, Tulane University, USA Amir Pnueli, Weizmann Institute, Israel Gert Smolka, University of Saarbruecken, Germany A call for system demos and tutorials is now open as well (see below). CALL FOR PAPERS The call for papers is now open for the five main conferences of ETAPS'98, with a submission deadline of October 6, 1997. See the ETAPS web page (http://www.di.fc.ul.pt/~llf/etaps98/) for more details about the scope and submission instructions of each individual conference. Prospective authors who have no access to WWW should use the e-mail address given for each conference to obtain further information. Foundations of Software Science and Computation Structures (FoSSaCS) ------------------------------------------------------------ The scope of FoSSaCS is syntactic, algebraic, logical and semantic methods for describing, analysing, transforming and verifying programs and systems. The focus is on foundational aspects of such methods rather than on their applications. Topics include: computational and syntactic foundations of Software Science, including basic objects in computation processes, techniques for their manipulation, and their algebraic and logical properties; transition systems and models of concurrency, including calculi, semantics, logics and algorithmic aspects; data structures and types, including algebraic specification, polymorphism, and regular and relational algebras; domain theory and denotational (fixed- point) semantics, including ordered structures, topological domains, domain equations, computable reals and semantics of numerical computations. Programme Committee: M. Nivat (France, chair), A. Arnold (France, vice-chair), W. Thomas (Germany, vice-chair), V. Bruyere (Belgium), Z. Esik (Hungary), J. Gabarro (Spain), N. Klarlund (USA), F. Mignosi (Italy), P. Mosses (Denmark), D. Niwinski (Poland), C. Palamidessi (Italy), A. Podelski (Germany), J. Rutten (Netherlands), H. Seidl (Germany), A. Sernadas (Portugal), C. Stirling (UK) E-mail address: Maurice.Nivat@litp.ibp.fr Fundamental Approaches to Software Engineering (FASE) ----------------------------------------------------- To enhance software quality, the software production process requires rigorous methods, firmly grounded on scientifically justified techniques. Fundamental approaches are sought, possibly integrating so-called formal and informal aspects, providing the bridge between theory and practice and aimed at producing engineering methods and tools for the various phases of software development. FASE is intended to provide a forum where fundamental approaches are presented, compared and discussed. Contributions are especially welcome on the following topics: methods for the production of provably correct software, its verification and evolution; formal methods and combination of formalisms; integration of informal and formal methods; tools and environments supporting rigorous approaches; case studies of applications of formal and semiformal methods; reports evaluating industrial experiences; rigorous experimental studies of effectiveness and applicability of formal methods; concepts and models for software specification, development, verification and evolution; foundations and frameworks of conceptual models; formal approaches for real- time, concurrent, distributed and object-oriented systems; specification, design and verification of hybrid systems. Programme Committee: E. Astesiano (Italy, chair), M. Bidoit (France), Z. Chao Chen (Macau), D. Craigen (Canada), H. Ehrig (Germany), C. Ghezzi (Italy), H. Hussmann (Germany), C. Jones (UK), T. Maibaum (UK), F. Orejas (Spain), G. Renardel de Lavalette (Netherlands), D. Smith (USA), J. Wing (USA), M. Wirsing (Germany) E-mail address: fase98@disi.unige.it European Symposium On Programming (ESOP) ---------------------------------------- This conference is devoted to fundamental issues concerning programming languages and systems. Approaches to the specification, analysis and implementation of languages and systems are the main concern; papers should emphasise the soundness and correctness of the approach. Contributions which bridge the gap between theory and practice are particularly welcome. Topics traditionally covered by ESOP include: programming paradigms and their integration (including functional, logic, concurrent and object-oriented); semantics facilitating the formal development and implementation of programming languages and systems; advanced type systems (including polymorphism and subtyping); program analysis (including abstract interpretation and constraint systems); program transformation (including partial evaluation and term rewriting); practical algorithms based on theoretical developments. Programme Committee: C. Hankin (UK, chair), J. de Bakker (Netherlands), L. Cardelli (USA), A. Deutsch (France), R. Giegerich (Germany), R. Glueck (Denmark), R. Gorrieri (Italy), P. Hartel (UK), P. Lee (USA), H.R. Nielson (Denmark), M. Odersky (Germany), A. Pettorossi (Italy), A. Porto (Portugal), D. Sands (Sweden), D. Schmidt (USA) E-mail address: clh@doc.ic.ac.uk International Conference on Compiler Construction (CC) ------------------------------------------------------ CC is a forum for presentation and discussion of recent developments in language processors and language design, with an emphasis on practical methods and tools. Topics include, but are not restricted to: compilation techniques including parsing, type checking, code generation, and code optimisation; interpretation; language-oriented editing; high- level debugging; integrated programming environments; processing of imperative, object-oriented, concurrent, functional, and logic programming languages; compilation for non-standard architectures; processing of query languages, command languages, and application languages; interaction between language design and implementation. Programme Committee: K. Koskimies (Finland, chair), M. Bartha (Canada), J. Bishop (South Africa), P. Fritzson (Sweden), R. Gupta (USA), T. Gyimothy (Hungary), N. Horspool (Canada), S. Jahnichen (Germany), U. Kastens (Germany), B. Magnusson (Sweden), K. McKinley (USA), G. Riedewald (Germany), W. Waite (USA), D. Watt (UK), R. Wilhelm (Germany) E-mail address: koskimie@cs.uta.fi Tools and Algorithms for the Construction and Analysis of Systems (TACAS) ------------------------------------------------------------ Many similar tools and algorithms have been independently developed in various areas of computer science like automata and language theory, verification and synthesis of hardware and software systems, construction and analysis of real time systems, software engineering, type and proof theory, logic and algebra. TACAS is a "community-independent" forum for discussion between the researchers and developers interested in tools. In the focus are basic principles and application- independent features of algorithms and their implementation, with the aim to increase the reliability, flexibility and efficiency of current tools by highlighting common problems, heuristics, data structures, and solutions. In particular, theoretical papers with a clear link to tool construction and tool descriptions and applications with conceptual message are encouraged. As TACAS addresses quite a heterogeneous audience, one of the major selection criteria for papers and tool demonstrations is a widely accessible presentation on a conceptual rather than technical level. This requires authors to think about their techniques in a wider context, which we believe is the key to a wider dissemination of more and more professional tools. Moreover it establishes a significant difference between TACAS contributions and typical publications in the various specialized communities, where a large common basis can be assumed. Regular papers and refereed tool presentations are equally treated: accepted contributions will receive the same space in the conference schedule and in the proceedings. In addition, there will be informal tool demonstrations during the breaks. The topics of the workshop include: Compositional verification and construction techniques; Refinement-based methodologies; Heterogeneous analysis; Theorem-proving and model checking; Analytical techniques for real-time, hybrid, probabilistic, and safety-critical systems; Tool environments and tool architectures; Applications and case studies Programme Committee: B. Steffen (Germany, chair), E. Brinksma (Netherlands), R. Cleaveland (USA), F. Giunchiglia (Italy), S. Graf (France), T. Henzinger (USA), D. Jackson (USA), K. Jensen (Denmark), K. Larsen (Denmark), T. Margaria (Germany), J. Palsberg (Denmark), D. Peled (USA), S. Smolka (USA), F. Vaandrager (Netherlands) E-mail address: tacas98@fmi.uni-passau.de For all the above conferences, submitted papers must be unpublished and not submitted for publication elsewhere. In particular, simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden. The final paper will be no more than 15 pages in the Springer- Verlag format for Lecture Notes in Computer Science (the series in which the proceedings will be published); see the back cover of a recent volume for details. Submissions need not adhere to that format, but those that are clearly too long may be rejected immediately. E-mail addresses and fax numbers of the authors should also be included. The deadline for submissions is OCTOBER 6, 1997. Authors will be notified of the decision by December 8. Final versions will be due before January 12, 1998. SATELLITE EVENTS Besides the five main conferences, four satellite events have been programmed for the 1998 edition of ETAPS. See the ETAPS web page (http://www.di.fc.ul.pt/~llf/etaps98/) for a more detailed description and the submission instructions of each individual event. Prospective authors who have no access to WWW should use the e-mail address given for each event. International workshop on Advanced Communication Services (ACoS) ------------------------------------------------------------- Communication networks ranging from classical telephony to intelligent networks and to the internet are going more and more commercial and conquer unexpected aspects of everyone's life. Their new, challenging, and extremely broad role as communication service channels leads to increasingly strong requirements: users expect greater flexibility, more features and yet simpler handling of the new media, of course in combination with extremely high availability, reliability, and security standards, e.g. for round-the-clock on-line banking. The rapid evolution of this market requires faster turn-around times in the definition of value-added services and of their underlying communication solutions. In particular, recent research studies and field trials show that successful uses of communication products will increasingly depend on their personalisation capabilities. This workshop aims at bringing together representatives of the involved parties, spanning several fields of both industry and academia, in order to address the ambitious expectations which, we are convinced, are far beyond the reach of state-of-the-art industrial methods. Organisers: R. Rueckert (Telemedia/Bertelsmann) and B. Steffen (Passau) E-mail address: acos98@fmi.uni-passau.de Workshop on Visualization Issues for Formal Methods (VISUAL) --------------------------------------------------------------- Formal Methods are increasingly needed in industrial practice. The great challenge for the future is to fully integrate the use of formal methods into the development process. Development engineers are unlikely to adopt the mathematical notations underlying formal methods; accordingly, formal methods must be presented and encapsulated in an application-oriented fashion in order to be easily understood and applied by their users. Visualization and user-friendly interfaces are key issues for this. This one-day workshop intends to bring together people from industry and academia to discuss ongoing work in the field with particular focus on the transfer of research results into practical solutions. Conversely, needs arising in concrete application contexts shall be presented to provide feedback to the research arena. The workshop intends to provide a forum for critical discussion for people who are interested in the various technical aspects of formal methods and visualization. Organisers: T. Margaria (Passau) and J. Posegga (Deutsche Telekom) E-mail address: visual98@fmi.uni-passau.de Workshop on Coalgebraic Methods in Computer Science --------------------------------------------------- State-based dynamical systems as found throughout computing science are traditionally described as transition systems or certain kinds of automata. During the last decade, it has become increasingly clear that such systems can be captured uniformly as so-called "coalgebras" (which are the formal dual of algebras). Coalgebra is beginning to develop into a field of its own, with its own proof methods (involving bisimulations and invariants). This workshop will be devoted both to an introduction to basic coalgebraic notions and techniques, and also to some recent advances in the theory of coalgebras. We are looking for participants and contributed talks to this informal workshop on both the theory and the use of coalgebras in computer science. Depending on the reactions, the workshop will consist of one or two days; publication of proceedings of the workshop will be considered. Organisers: B. Jacobs (Nijmegen), H. Reichel (Dresden) and J. Rutten (CWI, Amsterdam) E-mail address: janr@cwi.nl Workshop on Algebraic Development Techniques (WADT) --------------------------------------------------- The algebraic approach to system specification and development, born as a formal method for abstract data types, encompasses today the formal design of integrated hardware and software systems, new specification frameworks and programming paradigms (such as object oriented, logic and higher-order functional programming) and a wide range of application areas (including information systems, concurrent and distributed systems). This workshop, the 13th in its kind, will provide an opportunity to meet colleagues, to present recent and ongoing work and to discuss new ideas and future trends. Organiser: J. Fiadeiro (Lisbon) E-mail address: wadt98@di.fc.ul.pt CALL FOR DEMOS Demonstrations of tools related to specific topics within the scope of ETAPS and presenting advances on the state of the art are invited. Such tool demonstrations should not be confused with contributions to TACAS, where the emphasis is on application-independent aspects of tools. Tool demonstrations will be presented in devoted conference sessions with projection facilities. Authors of accepted demos will be asked to contribute a short paper to the proceedings of one of the ETAPS main conferences. Submissions should take the form of a description of the tool, of no more than 4 pages in the Springer-Verlag LNCS format, which makes clear its relevance to a specified main conference of ETAPS. At least one screen snapshot should be provided to allow the selection committee to get some impression of the quality of the user interface. A specification of the hardware and software requirements for installing and demonstrating the tool must be provided. Screen snapshots and the hardware/software specification are not included in the page limit unless they constitute part of the description of the tool. Submissions should be sent, preferably electronically (plain text or uuencoded gzipped PostScript), to: Don Sannella ETAPS'98 Laboratory for Foundations of Computer Science University of Edinburgh Edinburgh EH9 3JZ Scotland E-mail: etaps98-demo@dcs.ed.ac.uk The submission deadline is October 6, 1997. CALL FOR TUTORIALS Proposals for half-day or full-day tutorials related to topics within the scope of ETAPS are also invited. Tutorial proposals will be evaluated on the basis of their estimated benefit for prospective participants and on their fit within ETAPS as a whole. Submissions should be in the form of a proposal, no longer than 10 pages, for review purposes. It should include a description of the material that will be covered in the course; a justification of the relevance of the tutorial for ETAPS; a brief history of the tutorial, if it has been given previously; duration (half day or full day) and scope (survey or in-depth) of the course; the key learning objectives for the participants (what specific knowledge each participant is expected to obtain); the intended audience of the tutorial (their specialties and experience level, plus any prior knowledge they will be assumed to have); the background of each instructor. Submissions should be sent, preferably electronically (plain text or uuencoded gzipped PostScript), to: J. Fiadeiro Department of Informatics Faculty of Sciences University of Lisbon Campo Grande 1700 Lisboa Portugal E-mail: tutorials@di.fc.ul.pt The submission deadline is October 6, 1997. THE VENUE ETAPS'98 will be held in Lisbon, Portugal. The chosen venue is the Gulbenkian Foundation, situated in the middle of landscaped gardens, next to a museum with Calouste Gulbenkian's private art collection, a modern art museum, a library, a concert hall and galleries with art exhibitions. In 1998, Lisbon will also host the celebrations of the 5th centenary of Vasco da Gama's arrival in India. A world exhibition (EXPO'98) will be held on the theme "The oceans: a heritage for the future". Although the official starting date of the exhibition is in May, several cultural events have been programmed for the months before. ETAPS participants can be assured of a busy scientific and cultural week! SPONSORSHIP ETAPS'98 is being sponsored by PORTUGAL TELECOM and TAP - AIR PORTUGAL. The support of The University of Lisbon, The European Association for Programming Languages and Systems and The European Association for Theoretical Computer Science is also gratefully acknowledged. The European Symposium On Programming (ESOP) and the International Conference on Compiler Construction (CC) are being organised in cooperation with ACM SIGPLAN. STEERING COMMITTEE D. Sannella (Edinburgh, Chairman), J. Fiadeiro (Lisbon, Organiser of ETAPS'98), A. Arnold (Bordeaux), E. Astesiano (Genova), E. Brinksma (Enschede), P. Degano (Pisa), H. Ehrig (Berlin), M-C. Gaudel (Paris), T. Gyimothy (Szeged), C. Hankin (London), U. Kastens (Paderborn), P. Klint (Amsterdam), K. Koskimies (Tampere), T. Maibaum (London), H. Riis Nielson (Aarhus), F. Orejas (Barcelona), B. Steffen (Passau), W. Thomas (Kiel)
From: fiadeiro@di.fc.ul.pt (J.L.Fiadeiro) Newsgroups: news.announce.conferences Subject: * European Joint Conferences on Theory and Practice of Software Date: 31 Aug 1996 22:31:00 GMT Archived at <URL:http://www.rpd.net/Info/conferences/>. --------------------------------------------------------------------------- [This announcement was submitted through on-line forms. The following text has been generated from the original submission for newsgroup posting.] European Joint Conferences on Theory and Practice of Software ETAPS Lisbon, Portugal 30 March 1998 - 03 April 1998 ETAPS is a loose and open confederation of existing and new conferences covering a wide range of topics in Software Science that will take place in Europe each spring in the slot currently occupied by CAAP/ESOP/CC and TAPSOFT. ETAPS'98 will group together FoSSaCS (Foundations of Software Science and Computation Structures), FASE (Fundamental Approaches to Software Engineering), ESOP (European Symposium On Programming), CC (International Conference on Compiler Construction), and TACAS (Tools and Algorithms for the Construction and Analysis of Systems). Official conference language: English More information: - http://www.di.fc.ul.pt/~llf/etaps98/ General Information: J.L.Fiadeiro Department of Informatics Faculty of Sciences University of Lisbon Campo Grande 1700 Lisboa Portugal EMail: fiadeiro@di.fc.ul.pt ---------------------------------------------------------------------------- ******* E T A P S ****** European Joint Conferences on Theory and Practice of Software Lisbon, Portugal March 30 April 3, 1998 -- Preliminary Announcement and Call for Satellite Events -- ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Internet address for more information: http://www.di.fc.ul.pt/~llf/etaps98/ ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ What is ETAPS? ============== Starting in 1998, a new annual meeting covering a wide range of topics in Software Science will take place in Europe each spring in the slot currently occupied by CAAP/ESOP/CC and TAPSOFT. The European Joint Conferences on Theory and Practice of Software (ETAPS) will be a loose and open confederation of existing and new conferences and other events. The overall aim is to create a popular annual meeting that will act as a strong magnet for academic and industrial researchers working on topics relating to Software Science. The events that comprise ETAPS will address various aspects of the system development process, including specification, design, implementation, analysis and improvement. The languages, methodologies and tools which support these activities are all well within its scope. Different blends of theory and practice will be represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general (including hardware systems), and the emphasis on software is not intended to be exclusive. Each conference will retain its own identity, with a separate programme committee and independent proceedings. ETAPS will include an "Advanced Seminar", consisting of a wide spectrum of talks by invited speakers, which will take place in plenary sessions. Satellite meetings and system demos are strongly encouraged. The names and topics of the constituent events will be largely the same each year, except that some events may not be annual, and over time new events will be added and old ones will merge or disappear. ETAPS Steering Committee ======================== Don Sannella (Edinburgh, Chairman), Jose Fiadeiro (Lisbon, Organiser of ETAPS'98), Andre Arnold (Bordeaux), Egidio Astesiano (Genova), Ed Brinksma (Enschede), Pierpaolo Degano (Pisa), Hartmut Ehrig (Berlin), Marie-Claude Gaudel (Paris), Tibor Gyimothy (Szeged), Chris Hankin (London), Uwe Kastens (Paderborn), Paul Klint (Amsterdam), Kai Koskimies (Tampere), Tom Maibaum (London), Hanne Riis Nielson (Aarhus), Fernando Orejas (Barcelona), Bernhard Steffen (Passau), Wolfgang Thomas (Kiel) ETAPS'98 ======== The first incarnation of ETAPS will take place in Lisbon, Portugal, March 30 April 3, 1998. The organiser is José Fiadeiro, of the University of Lisbon. The initial set of conferences is shown below. The conferences will be held at the Gulbenkian Foundation, situated in the middle of landscaped gardens, next to a museum with Calouste Gulbenkian's private art collection, a modern art museum, a library, a concert hall, and galleries with art exhibitions. In 1998, Lisbon will also host the celebrations of the 5th centenary of Vasco da Gama's arrival in India and a world exhibition (EXPO'98) on the theme "The oceans a heritage for the future". Although the official starting date of the exhibition is in May, several cultural events have been programmed for the months before. ETAPS participants can be assured of a busy scientific and cultural week! People interested in organising satellite events should contact: Jose Fiadeiro Department of Informatics, Faculty of Sciences, University of Lisbon Campo Grande, 1700 Lisboa, Portugal phone: 351-1-7500123; fax: 351-1-7500084; e-mail: fiadeiro@di.fc.ul.pt Constituent events of ETAPS'98 ============================== Foundations of Software Science and Computation Structures (FoSSaCS) -------------------------------------------------------------------- The scope of FoSSaCS is syntactic, algebraic, logical and semantic methods for describing, analysing, transforming and verifying programs and systems. The fo- cus is on foundational aspects of such methods rather than on their applications. Topics include: computational and syntactic foundations of software science; transition systems and models of concurrency; data structures and types; domain theory and denotational (fixed-point) semantics. Programme Committee Chair: Maurice Nivat (Paris) Fundamental Approaches to Software Engineering (FASE) ----------------------------------------------------- To enhance software quality, the software production process requires systematic methods,firmly grounded on scientifically justified techniques. Fundamental approaches are sought, possibly integrating so called formal and informal aspects, providing the bridge between theory and practice and aimed at producing engineering methods and tools for the various phases of software development. FASE is intended to provide a forum where different fundamental approaches to problems of software specification, development, validation and verification are presented, compared and discussed. Topics include: methods for the production of provably correct software and its verification; integration of informal and formal methods; formal approaches for real-time, concurrent, distributed and object-oriented systems; scientific sound approaches to testing and measurement; tools and environments supporting formal approaches; fundamental aspects of the specification, design and verification of hardware components and hybrid systems; reports on the engineering or scientific lessons gained from industrial experiences in the use of formal and semiformal methods. Programme Committee Chair: Egidio Astesiano (Genova) European Symposium On Programming (ESOP) ---------------------------------------- ESOP is devoted to fundamental issues in the specification, analysis and imple- mentation of programming languages and systems. It particularly welcomes re- search that bridges the gap between theory and practice: for example, practical studies based on theoretical developments and theoretical developments with a clearly identified potential for practical application. Topics include: programming paradigms and their integration, including functional, logic, concurrent and ob- ject-oriented; semantics facilitating the formal development and implementation of programming languages and systems; advanced type systems; program analy- sis; program transformation. Programme Committee Chair: Chris Hankin (London) International Conference on Compiler Construction (CC) ------------------------------------------------------ CC is a forum for presentation and discussion of recent developments in compiler construction, language implementation and language design. Its scope ranges from compilation methods and tools to implementation techniques for specific re- quirements of languages and target architectures, and includes language design and programming environment issues related to language translation. Topics include: tools for any phase of compilation; methods for code generation and op- timisation; compilation for parallel architectures; translation of computer lan- guages (imperative, functional, logic, object-oriented, parallel, etc.); translation of application and specification languages; other tools closely related to compiler construction e.g. debuggers, data flow analysers, etc. Programme Committee Chair: Kai Koskimies (Tampere) Tools and Algorithms for the Construction and Analysis of Systems (TACAS) ------------------------------------------------------------------------- Many similar tools and algorithms have been independently developed in various areas of computer science like automata and language theory, verification and synthesis of hardware and software systems, type and proof theory, and logic. TACAS is a forum for discussion of the principles and application-independent features of such algorithms and their implementation, with the aim to increase the reliability, flexibility and efficiency of current tools by highlighting common problems, heuristics, data structures, and solutions. TACAS overlaps with the other events of ETAPS, and is intended to attract contributions that stimulate discussions between the various communities. Programme Committee Chair: Bernhard Steffen (Passau) *************************************************************************** This announcement is also available through the Conference Announcement Archive on the WorldWideWeb, providing indexes and search functions by subject, keywords, or date. You may submit announcements or updates o by posting to the newsgroup news.announce.conferences, o by sending your submission via e-mail to conferences@iao.fhg.de, or o through on-line WWW forms at the Conference Announcement Archive. The Conference Announcement Archive is located at <URL:http://www.rpd.net/Info/conferences/>. Please note that the 'I' in 'Info' is an uppercase character! If you have any QUESTIONS ABOUT THE EVENTS THEMSELVES, would like to submit a presentation, or would like to attend, please do CONTACT THE RESPECTIVE ORGANIZERS, NOT the virtual library maintainers. Thank you! ***************************************************************************
Last update: 97/12/08.
Dirk Craeynest