E-mail:
27th Annual Conference on Current Trends in Theory and Practice of Informatics http://www.sofsem.cz Nov. 25 - Dec. 2, 2000, Hotel "Devet skal", Milovy, Czech Republic		History, S'96, S'97, S'98, S'99,
		S'00 Venue
SOFSEM 2000 is over PHOTOS FROM SOFSEM 2000		SOFSEM 2001
Capacity of SOFSEM 2000 is full. Special SOFSEM Bus Prague -- Milovy (Fri, Nov 24, 6 p.m., see Travel Instructions) Timetable: (.doc) (.ps) (.pdf) Workshop contributions (.ps) Travel: Instructions map - global view map - medium view map - detail view Social Programme Business Partners Programme List of Participants		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 Deadlines Instruction for Authors
Fees, Banking On-line Registration Off-line Registration Organized by Sponsored by LIST OF PARTICIPANTS

Invited Talks   List with abstracts KEYNOTE SPEAKER Dines Bjorner, Technical University of Denmark, Lyngby, DK Domain Engineering -- A Software Engineering Discipline in Need of Research TRENDS IN ALGORITHMICS 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 INFORMATION TECHNOLOGIES IN PRACTICE 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 COMPUTATIONAL PERCEPTION 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,     Co-Chair   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 CLRC RAL, UK, CTU Prague, 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	Exhibitions
ERCIM

---