C O N T E N T S

• Front Page article by David Talbot

• Kristina Höök selected Cor Baayen Fellow of the Year by Janusz Launberg
• ERCIM Institutes promote W3C Developments to leverage the Web for European Industry by Jean-François Abramatic
• A Special Thanks to Jean-Michel Chassériaux
• Second Workshop of the ERCIM Working Group on Constraints by Krzysztof R. Apt
• 2nd ERCIM Environmental Modelling Group Workshop on Remote Sensing for Air Pollution Analysis by Achim Sydow
• First ERCIM Electronic Commerce Workshop by Christine Vanoirbeek
• 3rd ERCIM Workshop on User Interfaces for All by Constantine Stephanidis
• Working Group Health and Information Technology by Vesa Pakarinen
• Fifth DELOS Workshop examines Collaborative Filtering by László Kovács
• Collaboration between the United States and Europe in the Field of Digital Library Research by Carol Peters
  • EU-NSF Working Group on Resource Indexing and Discovery in a Globally Distributed Digital Library by Carl Lagoze
  • EU-NSF Working Group on Intellectual Property Rights (IPR) and Economic Issues by Christos Nikolaou
  • EU-NSF Working GroupWorking Group on Multilingual Information Access by Judith Klavans and Peter Schauble

SPECIAL THEME:

• Software Engineering Research by Gilles Kahn
• The Engineering of Software in TORUS by Brian Matthews
• TIMe - The Integrated Method by Richard Sanders
• PIROL - An Object-Oriented Multiple-View Software Engineering Environment by Boris Groth
• Modelica - Interoperability for Generic Simulation Systems by Thilo Ernst
• Object-Oriented Specification and Design of Concurrent Systems by Didier Buchs and Nicolas Guelfi
• ProForm - A Knowledge-Based Tool for Object-Oriented Analysis and Design by Michele Missikoff and Roberto Pizzicannella
• Partial Evaluation for Software Engineering by Renaud Marlet, Scott Thibault and Charles Consel
• Software Design and Validation by the LANDE Research Group at Inria-Rennes by Daniel Le Métayer
• The Centaur System - Deriving Programming Environments from Abstract Specifications by Valérie Pascual
• Architecture Support for the Testing of Complex Software Systems by Antonia Bertolino and Paola Inverardi
• System Design can be Language Design by Jørgen Steensgaard-Madsen
• VVS - Verification and Validation of large State-systems by Niels Bo Theilgaard, Kim Guldstrand Larsen, Henrik Reif Andersen and Jørgen Staunstrup
• SWB - Synchronie Workbench by Axel Poigné
• Specification and Analysis of Embedded Systems by Henk Nieland
• Formal Engineering of Software at RAL by Brian Matthews and Brian Ritchie
• Compositional Approach for Erlang Verification by Mads Dam
• Formal Specifications in Software Development by Karel Richta
• The Coq Proof Assistant - Zero-default Programs in Safety Critical Software by Christine Paulin
• A User-interface for Proofs and Certified Software by Janet Bertot, Yves Bertot, Yann Coscoy, Healfdene Goguen and Francis Montagnac
• ELAN - Specification and Prototyping with Rules and Strategies by Hélène Kirchner
• Automated Program Verification with SPIKE by Adel Bouhoula and Michael Rusinowitch
• Use of Declarative Programming for Solving Industrial Optimization Problems by Ulrich Geske
• DiSCiPl - Debugging Systems for Constraint Programming by Pierre Deransart
• High-Performance Programming with Distributed Shared Data by Simon Dobson
• WINPAR ­ Software Engineering Environment for Parallel Programming by Ottmar Krämer-Fuhrmann
• CVOPS - A Tool for Portable Communication Software by Juuso Pesola
• Business Motivations for Software Process Improvement by Miklós Biró and Tibor Remzsö
• Experiences from 300 Software Process Improvement Experiments by Lars Bergman
• Web-based Measurement for Process Improvement by Lars Bergman
• ILOG, dedicated to Enhancing Efficiency in the Engineering of Software by Mari Georges

• Mefisto: Designing User Interfaces for Air Traffic Control by Fabio Paternò
• Dutch Language still Difficult for Automatic Translation by Henk Nieland
• The GUARDS Approach to Safety-Critical Real-Time Systems by Andrea Bondavalli and Felicita Di Giandomenico
• Some Trends in Mobile Communications and Related Activities at SINTEF Telecom and Informatics by Knut Grythe
• Object-based Manipulation Tools for Postprocessing Video Applications by Henri Nicolas
• PROTAL - Protein Structure Prediction and Accurate Alignment of Protein Sequences and Structures by Heinz Mevissen, Joachim Selbig, Ralf Thiele, Ralf Zimmer and Thomas Lengauer
• HERMES - Supporting Argumentative Discourse in Multi-Agent Decision Making by Nikos Karacapilidis

• SECUDE - A General Purpose Security Toolkit by Wolfgang Schneider
• Mediterranean Project: Research and Training for Developing Countries by Maria Claudia Buzzi and Paola Venerosi
• ICEMAP - Information to Ships in Winter Traffic by Robin Berglund
• POPINDA - Portable Parallelization of Industrial Aerodynamic Applications by Anton Schüller
• The Mubarak City Project: A Euro-Mediterranean Collaboration by Maurizio Martinelli and Ayman El-Dessouki
• Parallel Software for Implicit Differential Equations by Henk Nieland

REPORTS ON WORKSHOPS SPONSORED BY ERCIM

• EUROGRAPHICS'97 - European Computer Graphics Conference by Gergely Krammer
• Lampe'97 - International Workshop on Electronic Page Models by Christine Vanoirbeek and Jacques André
• ParCo 97 by Roland Völpel
• SOFSEM'97 by Frantisek Plasil

ANNOUNCEMENTS

• 3rd ERCIM Environmental Modelling Group Workshop on Air Pollution Modelling and Measuring Processes, Madrid, 20-21 April 1998
• Eurographics 98 - Annual Conference of the European Association for Computer Graphics, Lisbon, Portugal, 31 August - 4 September 1998
• DSV-IS'98 - 5th International Workshop on Design, Specification, and Verification of Interactive Systems Modelling and Design, Abingdon, UK, 3-5 June 1998
• ERCIM Workshop on Computational Techniques in Mathematical Finance, Sankt Augustin, Germany, 25-26 May 1998
  

• IAT-CNR - The Institute for Telematic Applications (IAT-CNR) is a new CNR Institute..
• INRIA - Chorus Systems, a spin-off from INRIA..

Search ERCIM News 32

return to the ERCIM News main page