sofsem-logo sofsem 2000 e-mail-logo

27th Annual Conference
on Current Trends in Theory and Practice of Informatics

Nov. 25 - Dec. 2, 2000,
Hotel "Devet skal", Milovy, Czech Republic

S'96, S'97,
S'98, S'99,

S'00 Venue

new SOFSEM 2000 is over




Capacity of SOFSEM 2000 is full.
Special SOFSEM Bus Prague -- Milovy
(Fri, Nov 24, 6 p.m., see Travel Instructions)

(.doc) (.ps) (.pdf)




map - global view
map - medium view
map - detail view



List of

Special SOFSEM Buses
Milovy -- Zdar:

Tue, Nov 28,
2 p.m.
to train
to Prague
2:55 p.m.

Sat, Dec 2,
6:30 a.m.
to trains
to Prague
7:30 a.m. and
to Bratislava 8:08 a.m.

SOFSEM (SOFtware SEMinar) is an eight-day international conference devoted to the theory and the industry of software systems. Its aim is to foster co-operation among professionals from academia and practice working in various areas of computer science. The program consists of a series of Invited Talks given by prominent academic professionals and researchers and Contributed Talks (refered papers) selected by the Program Committee.
SOFSEM offers a unique opportunity to obtain quickly a representative overview of the areas of computer science which are selected as the topics of the year. The conference provides an optimal framework for discussions/meetings, establishing contacts, and socializing.
Sofsem is especially suited for young computer scientists.
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 conference.
SOFSEM'2000 will feature invited talks on Information Technologies in Practice, Trends in Algorithmics and Computational Perception.

Also a two-day workshop on "Soft Computing" is to be held during this year's SOFSEM. The workshop papers will be published in a special issue of the Neural Network World journal.

Advisory Board

Steering Committee

Programme Committe

PC of Worshop
Soft computing

Organizing Committee


for Authors

Fees, Banking On-line Registration Off-line Registration

Organized by Sponsored by LIST OF PARTICIPANTS

Invited Talks   List with abstracts
Dines Bjorner, Technical University of Denmark, Lyngby, DK
Domain Engineering -- A Software Engineering Discipline in Need of Research
Jürg Nievergelt (ETH Zurich, CH)
Exhaustive search, combinatorial optimization and enumeration: Exploring the potential of raw computing power
Paul Vitanyi (CWI, Amsterdam, NL)
Kolmogorov Complexity and its Applications
Arno Siebes (CWI, Amsterdam, NL)
Bio-Informatics, Databases and Data Mining
Amir Ronen, Hebrew university of Jerusalem, IL
Algorithms for Rational Agents
Angelika Steger (TU München, DE)
On the Power of Two Choices
Vladimir Marik (CTU Prague, CZ)
Software Testing & Diagnostics: Theory & Practice
Sidney Benda (Intel Corp., US)
Physical Design of a CMOS Semiconductor Chip in Six Easy Steps
Lubor Sesera (SOFTEC Bratislava, SK)
Analysis Patterns
Stelios Orphanoudakis (FORTH, GR)
Information Society Technologies in Healthcare
Pieter Adriaans (Univ. of Amsterdam, NL)
Grammar Induction on large corpora and it's aplications
Akihiko Takano, Hitachi (Central Research Lab, Tokyo, JP)
Information Access based on Associative Calculation
Rolf Pfeifer (Univ. of Zurich, CH)
Cheap Vision - Exploiting Ecological Niche and Morphology
Jana Kosecka (George Mason Univ., US)
Hierarchies of Sensing and Control for Visually Guided Agents
Horst Bischof (TU Wien, AT)
Recognizing Objects by their Appearance using Eigenimages
SOFT COMPUTING (Workshop Plenary Talk)
Rudolf Kruse (University of Magdeburg, DE)
Information Mining with Fuzzy Methods

Contributed Talks   Separate List
Maria Alpuente, Moreno Falaschi, Gines Moreno,
DSIC UPV, Valencia, ES, Univ. Udine, IT, DI UCLM, Albacete, ES
An Automatic Composition Algorithm for Functional Logic Programs
Dirk Bongartz, RWTH Aachen, DE
On the Approximation ratio of the Group-Merge Algorithm for the Shortest Common Superstring Problem
Maxime Crochemore, Costas S. Iliopoulos, Yoan J. Pinzon, Univ. de Marne-la-Vallée, King's Coll. London, UK
Fast Evolutionary Chains
Cristina De Castro, CSIT INRC, IT
A Temporal Layered Knowledge Architecture for an Evolving Structured Environment
M. Demmange, X. Paradon, V. Paschos, CERMSEM, FR, LAMSADE, FR
On-line maximum-order included hereditary subgraph problems
Marats Golovkins, University of Latvia, LV
Quantum Pushdown Automata
Martin Holub, Charles University, CZ
Use of Dependency Microcontexts in Information Retrieval
S. Jukna, S.Zak, Univ. Frankfurt, DE, ICS AS Prague, CZ
Some notes on the information flow in read-once branching programs
Marina Kolesnik, GMD-AiS, DE
On Vision-Based Orientation Method of a Robot Heading in a Dark Cylindrical Pipe
J. Kral, M. Zemlicka, Charles University Prague, CZ
Autonomous Components
Petr Kroha, TU Chemnitz, DE
Parallel Object Server For Fine Grained Objects
Martin Kutrib, Iniv. of Giessen, DE
Massively Parellel Pattern Recognition with Link Failures
Slawomir Lasota, Warsaw University, PL
Finitary observations in regular algebras
Ngoc Thanh Nguyen, Wroclaw Iniv. of Technology, PL
Using Consensus Methods for Solving Conflicts of Data in Distributed Systems
Vaclav Sebesta, Jana Tuckova, ICS AS Prague, CTU Prague, CZ
Optimisation of Artificial Neural Network Topology applied in the Prosody Control in Text-to-Speech Synthesis
Michal Sorel, Jiri Sima, IITA AS Prague, ICS AS Prague, CZ
Robust Implementation of Finite Automata by Recurrent RBF Networks
R. Vlach, J. Lana, J. Marek, D. Navara, Charles University Prague, CZ
MDBAS - Prototype of a Multidatabase Management System Based on Mobile Agents
M. Ziegler, V. Brattka, Univ. Paderborn, Fern Univ. Hagen, DE
Computing the Dimension of Linear Subspaces

Workshop on "Soft Computing"
  Topics, Deadlines and Instructions
  Communications and enquires regarding
  the workshop should be addressed to Petr Hájek

Deadlines -- Contributed Papers
Camera-ready copy,    August 23, 2000

Instructions for Authors

Submissions should be adressed
to   Ales Krenek,
  SOFSEM PC Secretary
  Institute of Computer Science MU,
  Botanicka 68a, 602 00 Brno
  Czech Republic

PC Secretary's Instructions for the preparation of your final manuscript

Instructions for Springer LN Authors

Off-line Registration

PS File with Registration Form
Text-only Registration form

SOFSEM 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

SOFSEM Steering Committee
  Jiri Wiedermann, Academy of Sc., Prague, CZ, Chair
  Keith G. Jeffery, CLRC RAL, Chilton,
    Didcot, Oxon, UK
  Frantisek Plasil, Charles University, CZ
  Igor Privara, INFOSTAT, SK
  Branislav Rovan, Comenius University, Bratislava, SK
  Jan Staudek, Masaryk University, Brno, CZ
  Gerard Tel, Utrecht University, NL
  Miroslav Bartosek, MU Brno, CZ, Secretary

SOFSEM 2000 Programme Committee
  Vaclav Hlavac,FEE CTU, Prague, CZ, Chair
  Keith G. Jeffery, CLRC RAL, Chilton, Didcot,
    Oxon, UK, Co-Chair
  Jiri Wiedermann, Academy of Sc., Prague, CZ,
  V. Brattka, University of Hagen, DE
  L. Brim, Masaryk University, Brno, CZ
  A. Gambin, Inst. of Informatics, Warsaw Univ., PL
  D. Gruska, Comenius Univeristy, Bratislava, SK
  B. Melichar, Czech Technical University, Prague, CZ
  A. Micovsky, Softec, s.r.o., Bratislava, SK
  J. Pavelka, DCIT Ltd., Prague, CZ

  J. Pokorny, Charles University, Prague, CZ
  J. Polak, Deloitte & Touche, Prague, CZ
  P. Ruzicka, Comenius Univeristy, Bratislava, SK
  R. Sablatnig, Vienna Univ. of Technology, Vienna, A
  S. Seibert, RWTH Aachen, DE
  M. Sonka, University of Iowa, Iowa City, USA
  G. Tel, Utrecht University, Utrecht, NL
  P. Tuma, Charles University, Prague, CZ
  U. Ultes-Nitsche, University of Southhampton, UK
  P. van Emde Boas, Univ. of Amsterdam, NL
  Th. Worsch, University of Karlsruhe, Karlsruhe, DE
  Ales Krenek, Masaryk University Brno, CZ, Secretary

PC of Worshop Soft computing
  P. Hajek, Academy of Sciences Prague Chair
  M. Baaz, Technical Uiversity Vienna
  D. Mundici, University Milano,
  M. Lavorgna, STMicroelectronics Milano,
  P. Vojtas, University Kosice

SOFSEM 2000 Organizing Committee
  Jan Staudek, MU Brno, CZ, Chair
  Miroslav Bartosek, Petr Hanacek (TU Brno),
  Ales Horak, Dana Komarkova, Petr Lidman,
  Zdenek Malcik, Tomas Pitner, Zdenek Riha,
  Jaromir Skrivan, Petr Sojka, Tomas Staudek,
  Marek Veber

Organized by

Czech Society for Computer Science
Faculty of Informatics, Masaryk University, Brno
Institute of Computer Science, Ac. of Sc., Prague
Institute of Computer Science, MU Brno

in co-operation with

Czech ACM Chapter
Czechoslovak Chapter of the IEEE Computer Society
Slovak Society for Computer Science

Sponsored by

aps-log compaq-logo ercim-logo
hp-logo oracle-logo ibm-logo