by Gerard van Oortmerssen, CWI, President of ERCIM Matthias Grossglauser Cor Baayen Award Winner 1998 8th DELOS Workshop on User Interfaces in Digital Libraries by Preben Hansen 4th ERCIM Workshop on User Interfaces for All by Constantine Stephanidis ERCIM DELOS - User Interfaces for All Joint Workshop by Constantine Stephanidis and Preben Hansen DELOS Workshop on Emerging Technologies in the Digital Libraries Domain by Carol Peters 4th ERCIM Environmental Modelling Group Workshop by Thomas Lux EINS-Web: User Interface Evaluation in Digital Libraries by Silvana Mangiaracina and Pier Giorgio Marchetti Service Creation for All: Initial Results of the TOSCA Project by Richard Sinnott Pushing Environmental Information by Tuula Käpylä NESSIE - Awareness Environment by Wolfgang Prinz Eurosearch: a Federation of European Search Engines by Martin Braschler, Mounia Lalmas, Luigi Madella and Carol Peters APEX - Awareness and Promotion EXercise by Mike Ashworth and David Emerson MOVY - Wireless Sensor for Gestures, Rotation and Movement by Peter Henne IQTension - Revealing Uneven Tension Profiles of Paper Reels by Hannu Linna Development of Research Networking in Africa by Abraham Gebrehiwot and Stefano Trumpy Tacton Configurator - Sales Configuration Support by Lars Bergman   CWI - Hans van Duijn.. CWI - a CWI research team led by Dick Bulterman... CWI - Ronald Cramer... CWI - Debby Lanser... INRIA - Olivier Faugeras...

SPECIAL THEME: Programming Language Technologies by Neil D. Jones Bandera: Tools for Automated Reasoning about Software System Behaviour by Matthew Dwyer, John Hatcliff, and David Schmidt ETI: An Online Service for Tool Co-ordination by Bernhard Steffen, Tiziana Margaria, and Volker Braun AnnoDomini: From Type Theory to a Year 2000 Conversion Tool by Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Sørensen and Mads Tofte Software Renovation by Arie van Deursen Symbolic Techniques for Program Analysis by Henk Nieland Security Verification: a Programming Language Approach by Thomas Jensen Deductive Proof of Software Properties by Patrizia Asirelli and Franco Mazzanti Certification of Imperative Programs in the System Coq by Jean-Christophe Filliâtre Generating Program Generators by Arne J. Glenstrup, Henning Makholm and Jens Peter Secher PROGGEN - a Tool for Automatic Code Generation by Therese Nilsen MAP: a Tool for Program Derivation based on Transformation Rules and Strategies by Alberto Pettorossi, Maurizio Proietti, and Sophie Renault Vanilla: Towards more Modular Programming Languages by Simon Dobson Dynamic Translator Development: Modelica in the Python TRAP by Thilo Ernst New Language on the Block: Java for High-Performance Computing? by Mike Ashworth A Formal Semantics and an Interactive Environment for Java by Isabelle Attali Formal Underpinnings of Object Technology by Juan Bicarregui The JoCaml System: a Language for Programming on the Internet by Sylvain Conchon, Fabrice Le Fessant and Luc Maranget Modelling Mobile Applications by Stefania Gnesi and Laura Semini The Mozart Platform for Distributed Application Development by Seif Haridi, Christian Schulte and Peter Van Roy Objective Caml - a General Purpose High-level Programming Language by Xavier Leroy, Didier Rémy and Pierre Weis GRADE - Graphical Environment for Parallel Programming by Péter Kacsuk and Sándor Forrai Programming with Rewrite Rules and Strategies by Hélène Kirchner Using Co-ordination to Parallelize Existing Sequential Programs by Farhad Arbab, Kees Everaars and Barry Koren in pdf (1.3Mb)

return to the ERCIM News main page