SOFSEM '97 - IT Programme
to SOFSEM Home Page
- Fundamentals
- Rainer Feldmann, University of Paderborn, DE
- Computer Chess: Algorithms and Heuristics
for a Deep Look into the Future
- Marc van Kreveld, Utrecht University, NL
- Algorithms for Triangulated Terrains
- Klaus-Joern Lange, University of Tuebingen, DE
- On the Distributed Realisation of Parallel Algorithms
- Johann A. Makowsky, E.V.Ravve, Technion, Haifa, IL
- The Fundamental Problem of Data Modeling
- Jaroslav Nesetril, Daniel Turzik, VSCHT, Prague, CZ
- Travelling Salesman and MAX-CUT - key problems of Combinatorial
Optimization
- Pekka Orponen, University of Jyvaskyla, FI
- The Computational Power of Continuous Time Neural Networks
- Klaus Weihrauch, Fernuniversitaet, Hagen, DE
- A Foundation for Computable Analysis
- Jiri Wiedermann, Institute of Computer Science, Academy of Sciences,
Prague, CZ
- Towards Machines That Can Think
- Henryk Wozniakowski, University of Warsaw / Columbia University,
PL / USA
- Computational Complexity of Continuous Problems
- Shmuel Zaks, Technion, Haifa, IL
- Path layout in ATM Networks
- Distributed and Parallel Systems
- Stefan Covaci, Thomas Magedanz, GMD/FOKUS Berlin, DE
- The Mobile Agent Technology
- David Duce, CLRC Rutherford Appleton Laboratory, Chilton, Didcot,
UK
- Theory and practice in interactionally rich distributed systems
- Valerie Issarny, INRIA/IRISA Rennes, F
- Configuration-Based programming Systems
- Prakash Kumar Muthukrishnan, Barrett Bryant, University of Alabama
at Birmingham, USA
- Automatic Generation of Parallelizing Compilers
for Object-Oriented Programming Languages from
Denotational Semantics Specifications
- Software Engineering and Methodology
- Dines Bjorner, Technical University of Denmark, Lyngby, DK
- A Formal Software Engineering Paradigm:
From Domains via Requirements to Software.
Formal Specification & Design Calculi
- Annie Kuntzmann-Combelles, Objectif Technologie, F
- The Whole Picture to Software Process Improvement
- Helmut Krcmar, University Hohenheim, Stuttgart, DE
- Telecooperation and Workflow Architecture
- Wolfgang Pree, JKU Linz, A
- Object-Oriented Design Patterns
- Databases and Information Systems
- Klaus Dittrich, A.\,Geppert, University of Zurich, CH
- Object-oriented DBMS and Beyond
- Maria Orlowska, H.\,Li, C.\,Liu, University of Queensland, Brisbane, AUS
- On Integration of Relational and Object-Oriented
Database Systems
- Howard Williams, N.W.\,Paton, Herriot-Watt University, Edinburgh, UK
- From OO through deduction to active databases - ROCK, ROLL and RAP
- Jiri Zara, Czech Technical University, Prague, CR
- An Introduction to Virtual Reality Modeling Language
- Jiri Zlatuska, Masaryk University, Brno, CR
- Stepping Stones to an Information Society
to SOFSEM Home Page