sofsem-logo sofsem
26th Annual Conference
on Current Trends in Theory and Practice of Informatics
Nov. 27 - Dec. 4, 1999,
Hotel "Devet skal"
Milovy, Czech Republic
  Travel Instructions
  map - global view
  map - medium view   map - detail view
   List of Participants
SOFSEM (SOFtware SEMinar) is an eight-day international conference devoted to the theory and the practice of software systems. Its program consists of a series of Invited Talks given by prominent academic professionals and researchers. Contributed Talks (refered papers) and refered poster contributions are also included in the program of SOFSEM. The working language is English. Invited Talks and Contributed Talks are published by Springer-Verlag in the Lecture Notes in Computer Science series and distributed at the seminar:
LNCS 1725 :
Sofsem'99 Theory and Practice of Informatics
26th Conferrence on Current Trends in Theory and Practice of Informatics
Milovy, Czech Republic, November/December 1999
Eds. Jan Pavelka, Gerad Tel, Miroslav Bartosek
ISBN 3-540-66694-X, Springer-Verlag Berlin Heidelberg 1999
pp. 498, the list price DM 110.00
Sofsem is intended to foster cooperation among people working in various areas of computer science. Its scientific program offers a unique opportunity to gain a relatively quick and representative overview about the areas of computer science selected as topics for the year, presented by top researchers. Its social program provides an optimum framework for discussions, meetings, contact establishing, and socializing. SOFSEM is especially suited to young computer scientists.

Advisory Board
  Dines Bjorner, Techn. Univ. of Denmark, DK
  Peter van Emde Boas, CWI Amsterdam, NL
  Manfred Broy, TU Munich, DE
  Michal Chytil, ANIMA Praha, Prague, CZ
  Georg Gottlob, TU Vienna, AT
  Keith G. Jeffery, CLRC RAL,Chilton,Didcot,Oxon,UK
  Maria Zemankova, NSF, Washington DC, USA
Steering Committee
  Jiri Wiedermann, Academy of Sc., Prague, CZ, Chair
  Keith G. Jeffery, CLRC RAL, Chilton, Didcot, Oxon, UK
  Jan Pavelka, DCIT, Prague, CZ
  Frantisek Plasil, Charles University, CZ
  Igor Privara, INFOSTAT, SK
  Branislav Rovan, Comenius University, Bratislava, SK
  Jan Staudek, Masaryk University, Brno, CZ
Topics and Invited Talks
Trends in Theory
Core Technologies
Software and Information Engineering
From Data to Knowledge

Contributed Papers

Culture Programme
Programme Committee
  Jan Pavelka,DCIT, Prague, CZ, Chair
  Gerard Tel, Utrecht University, NL, Co-Chair
  Bernadette Charron, LIX Paris, FR
  Linda van der Gaag, Utrecht University, NL
  Torben Hagerup, MPI Saarbrucken, DE
  Petr Hanacek, Tech. University Brno, CZ
  Vaclav Hlavac, CTU Prague, CZ
  Keith G. Jeffery, CLRC, UK
  Shmuel Katz, Technion, IL
  Mojmir Kretinsky, Masaryk University, CZ
  Klaus-Jorn Lange, Universitat Tubingen, DE
  Borivoj Melichar, CTU Prague, CZ
  Frantisek Plasil, Charles University, CZ
  Jaroslav Pokorny, Charles University, CZ
  Igor Privara, INFOSTAT, SK
  Branislav Rovan, Comenius University, SK
  Peter Ruzicka, Comenius University, SK
  Arno Siebes, CWI Amsterdam, NL
  Vaclav Sebesta, ICS Acad. of Sciences, CZ
  Philippas Tsigas, Chalmers Uni, SE
  Peter van Emde Boas, University of Amsterdam, NL
  Josef Vasica, DCIT Prague, CZ
  Filip Zavoral, Charles University, CZ
  Jiri Sochor, Masaryk University Brno, CZ, Secretary
Organized by
CSCS, Czech Society for Computer Science
DCIT, Prague
Faculty of Informatics, Masaryk University, Brno
Institute of Computer Science, Ac. of Sc., Prague
Utrecht University
in co-operation with
Slovak Society for Computer Science
Fees, Banking, Financial Support
On-line Registration
Off-line Registration
PS File with Registration Form
You can obtain a text-only form sending a mail with
Subject: send SOFSEM 99 Registration form
Organizing Committee
  Jan Staudek, MU Brno, CZ, Chair
  Miroslav Bartosek, Petr Hanacek,
  Dana Komarkova,Ales Krenek, Zdenek Malcik,
  Tomas Pitner, Petr Sojka,Tomas Staudek

Invited Talks (Back)
  • Jozef Gruska, Masaryk University, Brno, CZ
    Quantum Challenges
  • Juraj Hromkovic, University of Aachen, DE
    Stability of approximation algorithms for hard optimization problems
  • Wojciech Rytter, Warsaw University, PL
    Algorithms on compressed strings and arrays
  • Wolfgang Appelt,GMD, Sankt Augustin, DE
    WWW based collaboration with the BSCW System
  • Christian Bac, Guy Bernard, Didier Le Tien, INT Evry, FR
    Middleware and Quality of Service
  • Noemi Rodriguez, Catholic University Rio de Janeiro, BR
    Dynamic Reconfiguration of CORBA-based Applications
  • Doaitse Swierstra, University Utrecht, NL
  • Ghica van Emde Boas, IBM Nederland N.V., NL IBM
    San Francisco: Java based business application components and new ways to develop them
  • Paolo Atzeni, University of ROMA III, IT
    Data bases and the World Wide Web, accomplishments and challenges
  • Juan Bicarregui, CLRC-RAL, UK
    Exploiting formality in software engineering
  • Ronald Cramer, ETH Zurich, CH
    Secure Multi-Party Computation
  • Max Garzon, University Memphis, US
  • Vaclav Rajlich, Wayne State University, Detroit, US
    Software change and evolution
  • Peter Sloot, WINS, NL
    Distributed Simulation with Cellular Automata: Applications and Architecture
  • Alejandro P. Buchmann, T. University, Darmstadt, DE
    Data warehousing
  • Max Garzon, University Memphis, US
    Knowledge applications on human-computer interactions
  • Dan Roth, University of Illinois, US
    Towards a theory of learning coherent concepts
  • Martin Bogdan, Wolfgang Rosenstiel, University of Tuebingen, DE
    Application of artificial neural networks for different engineering problems
  • Maxime Crochemore, University of Marne-la-Vallee, FR
    String algorithms and text compression
  • Emil Pelikan, Czech Academy of Science, CZ
    Principles of Forecasting
  • Stephan Tschoeke, University Paderborn, DE
    Real Life Project with Lufthansa

  • Contributed Papers (Back)
  • M. Alpuente, S. Escobar, S. Lucas, Universidad Politecnica de Valencia, ES
    UPV-Curry: An Incremental Curry Interpreter
  • Andris Ambainis, Richard Bonner, Rusins Freivalds, Marats Golovkins, Marek Karpinski, University of California in Berkeley, US, Malardalens University, SE, University of Latvia, LV, University of Bonn, DE
    Quantum finite multitape automata
  • Martin Beran, Charles University, CZ
    Decomposable Bulk Synchronous Parallel Computers
  • Premysl Brada, Zapadoceska univerzita, CZ
    Component change and version identification in SOFA
  • Ivana Cerna, Ondrej Klima, Jiri Srba, Masaryk University, CZ
    Pattern Equations and Equations with Stuttering
  • Ania Gambin, Adam Malinowski, Warsaw University, PL
    Randomized gossiping by packets in faulty networks
  • Pablo Galdamez, Francesc D.Munos-Escoi, Jose M.Bernabeu-Auban, Universidad Politecnica de Valencia, ES
    Grabage Collection for Mobile and Replicated Objects
  • Carlos Herrero, Javier Oliver, Valencia University of Technology, ES
    Object-Oriented Specification with the Parallel Multi-Label-Selective lambda-calculus
  • Petr Jancar, Faron Moller, Zdenek Sawa, FEI VSB-TU, CZ, University of Uppsala, SE
    Simulation Problems for One-Counter Machines
  • Gabriel Juhas, Technische Universitaet Berlin, DE
    On Semantics of Petri Nets over Partial Algebra
  • Ivan Kramosil, Czech Academy of Sciences, CZ
    Towards possibilistic decision functions with minimum-based Sugeno integrals
  • Maksim Kravtsev, University of Latvia, LV
    Quantum Finite One-Counter Automata
  • David Rutter, Chalmers University of Technology, SE
    A Performance Comparison of Mobile Agents and RPC
  • Heiko Schroeder, Ondrej Sykora, Imrich Vrto, Nanyang Technological University, SG, University Loughborough, UK, Slovak Academy of Sciences, SK
    Cyclic Cutwidth of the Mesh
  • Jiri Sima, Pekka Orponen, Teemu Antti-Poika, Czech Academy of Sciences, CZ
    Some Afterthoughts on Hopfield Networks
  • Ulrich Ultes-Nitsche, University of Southampton, UK
    A Persistent-Set Approach to Abstract State-Space Construction in Verification
  • Jiri Wiedermann, Czech Academy of Sciences, CZ
    Computational Power of Neuroidal Nets
  • Thomas Worsch, University of Karlsruhe, DE
    Cellular automata with dynamically reconfigurable buses

  • Posters (Back)
  • Tomas Staudek, Masaryk University, CZ
    On Birkhoff's Aesthetic Measure of Vases
  • Jaroslav Tupy, Martin Subert, David Belonoznnik, Jakub Tomastik, Daniel Jan Kveton, Charles University, CZ
    Solving of Difficult Optimization Problems With Genetic Algorithms and Neural Networks
  • Karel Skoupy, Jana Kohoutkova, Miroslav Benesovsky, Keith G. Jeffery, Masaryk University Brno, CZ, Berit Ltd., CZ, CLRC Rutherford Appleton Laboratory, UK
    HYPERMEDATA Approach: A Way to Systems Integration

  • Fees, Banking, Financial Support (Back)

    Kc stands for Czech Crowns. USD for US dollars.

    Full fees:
    Full fee includes registration for the complete programme, including of all invited and contributed talks, refreshments, social program, welcome reception, meals, and accommodation for the whole (eight-day) conference as well as the Proceedings.
      type     single_room  double_room  Explanation
      of fee
      F1      10 800  Kc   10 000  Kc    total costs for CZ/SK participants  
      F2         410  USD     380  USD   total costs for others
    IMPORTANT   If payment is made by 13th September 1999 the following reductions apply:
      type     single_room  double_room  Explanation
      of fee
      R1       9 700  Kc    8 900  Kc    total costs for CZ/SK participants  
      R3         380  USD     350  USD   total costs for others
    Discount registration option for students and participants from countries with low GNP per capita

    The organizers offer a limited number of discounted registration packages to students and participants from countries with low GNP per capita level (e.g., CEEC). Please apply as soon as possible and attach a letter (e-mail) explaining your eligibility for the reduced rate. The fee includes registration for the complete programme, including of all invited and contributed talks (without proceedings), refreshments, social program, welcome reception, meals, and shared accommodation in a double room.
      type     single_room  double_room  Explanation
      of fee
      R0           ---       7 700  Kc    costs for CZ/SK participants  
      R2           ---         300  USD   total costs for others
    PLEASE NOTE:   SOFSEM '96/97/98 was booked fully to capacity by the end of August so REGISTER EARLY

    Bank:Ceska sporitelna Brno, a.s., Brno, Czech Rep.
    Account Name:Ceska informaticka spolecnost, pobocka Brno
    Account Number:6851659-628/0800
    Details of Payment: Fill in "your name", "organization" and the purpose of payment: "Sofsem'99".

    Note for CZ participants: "variabilni symbol: 100000"

  • Before 1-st November, 80% of the total cost will be refunded.
  • After 1-st November, 50% of the total cost will be refunded.
  • No refund will be made once the seminar has started.
  • Financial support You may apply for financial support to partially cover your accommodation expenses. A strong preference will be given to undergraduate and graduate students whose submissions for contributed talks and/or posters have been accepted. Your application for financial support must reach the Organizing Committee by 1-st August. We will let you know by 15-th August whether requested support will be granted for you.


    Culture Program - GOTHART (Back)


    Sponsored by
    , the European
    Research Consortium for
    Informatics and