| Invited Talks |
| Software Architecture for Distributed Reactive Systems / Maarten Boasson |
| A Logical Basis for Modular Software and Systems Engineering / Manfred Broy |
| From Quartets to Phylogenetic Trees / Benny Chor |
| Reuse Methods for Construction of Parallel Software / Christoph Eilinghoff ; Uwe Kastens |
| Compiling Horn-Clause Rules in IBM's Business System 12, an Early Experiment in Declarativeness / Ghica van Emde Boas-Lubsen ; Peter van Emde Boas |
| Models of Computation, Riemann Hypothesis, and Classical Mathematics / RusinÜ Freivalds |
| Security of Electronic Money / Petr Hanácek |
| Algorithms Based on Randomization and Linear and Semidefinite Programming / Klaus Jansen ; Jose Rolim |
| Distributed Systems Technology for Electronic Commerce Applications / Winfried Lamersdorf ; Michael Merz ; Tuan Tu |
| Parallel Interactive Media Server Systems / Reinhard Lüling ; Francisco Cortes Gomez ; Norbert Sensen |
| Online Routing Problems for Broadband Networks / Alberto Marchetti-Spaccamela |
| Some Prospects for Efficient Fixed Parameter Algorithms / Rolf Niedermeier |
| System Infrastructure for Digital Libraries: A Survey and Outlook / Christos Nikolaou ; Manolis Marazakis |
| An Introduction to Cryptology / Bart Preneel |
| Authoring Structured Multimedia Documents / Cecile Roisin |
| Engineering Software & Software Engineering / Dieter Rombach |
| Efficient Communication Schemes / Peter Ru icka |
| Audit of Information Systems: The Need for Co-operation / Leon Strous |
| Towards the Use of Dynamic Documents in Business Processes / Christine Vanoirbeek |
| Contributed Papers |
| Computational Power of BSP Computers / Martin Beran |
| Modeling of Hypermedia Applications / Radovan Cervenka |
| On the Klee's Measure Problem in Small Dimensions / Bogdan S. Chlebus |
| Yet Another Modular Technique for Efficient Leader Election / Stefan Dobrev |
| Regulated Grammars with Leftmost Derivation / Henning Fernau |
| Some Results on the Modelling of Spatial Data / Luca Forlizzi ; Enrico Nardelli |
| Randomized Meldable Priority Queues / Anna Gambin ; Adam Malinowski |
| The Reconstruction of Convex Polyominoes from Horizontal and Vertical Projections / Maciej Gebala |
| Behavioral Safety in a Model with Multiple Class Objects / TomáÜ HruÜka ; Petr Kolenc'ik ; Michal Mácel |
| Massively Parallel Suffix Array Construction / Costas S. Iliopoulos ; Maureen Korda |
| Weak Bisimilarity and Open Maps / Slawomir Lasota |
| A Synchronisation Mechanism for Replicated Objects / Francesc D. Munoz-Esco'i ; Pablo Galdamez ; José M. Bernabéu-Aubán |
| Data Mining Extension for Object-Oriented Query Language / Vladimir Novacek |
| Constraints with Variables' Annotations and Constraint Hierarchies / Hana Rudová |
| Sample Method for Minimization of OBDDs / Anna Slobodová ; Christoph Meinel |
| Determining Type of TIL Construction with Verb Valency Analyser / Pavel Smr ; AleÜ Horák |
| Offline Recognition of Cursive Handwritten Czech Text / ètepán Hrbácek ; Michal Martinásek |
| Automated Theorem Proving in a Combination of Theories with Disjoint Signatures / Pavel Vanousek |
| Author Index |
| Invited Talks |
| Software Architecture for Distributed Reactive Systems / Maarten Boasson |
| A Logical Basis for Modular Software and Systems Engineering / Manfred Broy |
| From Quartets to Phylogenetic Trees / Benny Chor |
| Reuse Methods for Construction of Parallel Software / Christoph Eilinghoff ; Uwe Kastens |
| Compiling Horn-Clause Rules in IBM's Business System 12, an Early Experiment in Declarativeness / Ghica van Emde Boas-Lubsen ; Peter van Emde Boas |
