SOFSEM'96 - IT Programme


Ricardo Baeza-Yates, Polytechnic University of Catalunha, Barcelona, ES
A Unified View of String Matching Algorithms
K. Bauknecht, the IFIP President, Institut für Informatik, Universität Zurich, CH
Key note address
M. van den Brand, Paul Klint, C. Verhoef, CWI, Amsterdam, NL
Core Technologies for System Renovation
Arie de Bruin, W. Pijls, Erasmus University, Rotterdam, NL
New Trends in Game Tree Search
Vinny Cahill, Trinity College Dublin, IR
An Overview of the Tigger Object-Support Operating System Framework
P. Dechamboux, Daniel Hagimont, J. Mossiere, X. R. de Pina, INRIA Rhone-Alpes/Bull-IMAG Syst., FR
The Arias Distributed Shared Memory: an Overview
Jeremy Dick, J. Loubersac, B-CORE, Oxford, UK
A Visual Approach to VDM
Gitta Domik, University of Paderborn, DE
Computer Visualisation - Concepts, Trends and Current Research
Eric Horvitz, Microsoft Research, Redmond Washington, USA
Decision-Theoretic Reasoning and the Human-Computer Interface: Advances in Embedded Intelligent Agents
J. Kleindienst, F. Plasil, P. Tuma, Charles University, Academy of Sciences, Prague, CZ
CORBA and Object Services
Shay Kutten, Technion, Haifa, IL
Scalable Fault Tolerance
Ludek Matyska, Faculty of Informatics, Masaryk Univerzity, Brno, CZ
High Performance Scientific Computing - The Computational Chemistry Perspective
Friedhelm Mayer auf der Heide, C. Scheideler, Heinz Nixdorf Institute and Computer Science Department, University of Paderborn, DE
Communication in Parallel Systems
Mark Overmars, P. Svestka, Utrecht University, NL
Probabilistic Approaches to Motion Planning
Jaroslav Pokorny, Charles University, Prague, CZ
Database Semantics in Heterogenous Environment
Ken Robinson, D. Mac Randal, SERC RAL, Oxon, UK
Business Case Processing - Rationale, Survey and Trends
Dan Roth, The Weizmann Institute of Science, Rehovot, IL
Learning in Order to Reason: The Approach
Arno Siebes, CWI, Amsterdam, NL
Data Mining and the KESO project
Henk A. van der Vorst, University of Utrecht, NL
Iterative methods for Unsymmetric Linear Systems