Horst Reichel - Böcker

No detailed description available for "Initial Computability, Algebraic Specifications, and Partial Algebras".

The Symposium on Theoretical Aspects of Computer Science (STACS) is held annually, alternating between France and Germany. The STACS meetings are organized jointly by the Special Interest Group for Theoretical Computer S- ence of the Gesellschaft fu r Informatik (GI) in Germany and the Maison de l'Informatique et des Math ematiques Discr etes (MIMD) in France. STACS2001 was the 18th in this series, held in Dresden, February 15-17, 2001. PreviousSTACS symposia took placein Paris(1984),Saarbr. ucken(1985), Orsay(1986),Passau(1987),Bordeaux(1988),Paderborn(1989),Rouen(1990), Hamburg(1991),Cachan(1992),Wu rzburg(1993),Caen(1994),Mu nchen(1995), Grenoble (1996), Lub .. eck (1997), Paris (1998), Trier (1999), and Lille (2000). It may be worth noting that in 2001 the symposium was held in one of the new states of reunited Germany for the r st time. The proceedings of all of these symposia have been published in the Lecture Notes in Computer Science series of Springer{Verlag. STACS has become one of the most important annual meetings in Europe for the theoretical computer science community.It covers a wide range of topics in the area of foundations of computer science: algorithms and data structures, automata and formallanguages,computationaland structuralcomplexity, logic, veri cation, and current challenges. This year, 153 submissions were received, mostly in electronic form, from more than 30 countries, with a fair portion from non{European countries. We would like to thank Jochen Bern who designed the electronic submission procedure which performed marvelously and was of great help to the program committee.

The algebraic specification of abstract data types is now awell establishedresearch topic in computer science. Thisarea influences both applications and theoreticalfoundations of methodologies which support the design andformal development of reliable software. The Seventh Workshop on Specification of Abstract Data Typestook place in Wusterhausen/Dosse, April17-20, 1990, and wasorganized in cooperation with the ESPRIT Basic ResearchWorking Group COMPASS. The main topics covered by theworkshop were:- Modularization- Object orientation- Higher-order types anddependent types- Inductive completion- Algebraic high-level nets.

Die Gesellschaft fUr Informatik fiihrt ihre 23. J ahrestagung an der Fakultat Informatik der Technischen Universitat Dresden und damit erstmals in einem neuen Bundesland durch. Mit dem Motto Informatik - Wirtschaft - Gesellschaft solI das breite Wirkungsfeld der Informatik in der Einheit von disziplinaren und interdisziplinaren Aspekten dargestellt werden. Mit dieser Orientierung soll ins- besondere auf die Entwicklungsherausforderungen in den neuen Bundeslandern und auf die Offnung der osteuropaischen Staaten eingegangen werden. Die tief- greifenden und komplizierten Wandlungen in Wirtschaft, Verwaltung und in den politischen Strukturen sind fiir die Informatik Herausforderung und Chance zugleich. Indem die 23.Jahrestagung die breite und vielfaltige Palette der neuen Anwendungsmoglichkeiten und die disziplinaren Entwicklungslinien der Informatik sichtbar macht, soll ein Impuls dafiir geliefert werden, daB eine rna- derne und effiziente Infrastruktur entsteht, welche die neuen Moglichkeiten der Informations- und Kommunikationstechnik bewuBt nutzt und fordert, daB sich die Industrie in den neuen Bundeslandern auf dem Markt der Informations- technik mit innovativen Produkten und Technologien etabliert und daB sich Industrie und Verwaltung der neuen Moglichkeiten effizient bedienen. Diese hochgesteckten Ziele fanden eine erfreuliche Resonanz. In 6 Hauptvortragen und 14 Fachgesprachen werden disziplinare Entwicklungslinien, Anwendungser- fahrungen und neue Anwendungsmoglichkeiten prasentiert. In den Hauptvortragen wird neben einer Positionsbestimmung fiir die Infor- mations- und Kommunikationstechnik besonderes Augenmerk auf den Wis- senstransfer von der Forschung zu den Anwendungen und auf die Wechselwir- kungen von Informatik und Gesellschaft gelegt.

This book presents the proceedings of the 10th International Conference on Fundamentals of Computation Theory, FCT '95, held in Dresden, Germany in August 1995.The volume contains five invited lectures and 32 revised papers carefully selected for presentation at FCT '95. A broad spectrum of theoretical computer science is covered; among topics addressed are algorithms and data structures, automata and formal languages, categories and types, computability and complexity, computational logics, computational geometry, systems specification, learning theory, parallelism and concurrency, rewriting and high-level replacement systems, and semantics.