|
Showing 1 - 6 of
6 matches in All Departments
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 committe
STACS, the SymposiumonTheoreticalAspects ofComputerScience, isheld-
nually, alternating between France and Germany. STACS is
organizedjointly by the Special Interest Group for Theoretical
Computer Science of the Gesellschaft f] ur Informatik (GI) in
Germany and the Maison de l'Informatique et des Ma- ematiquesDiscr
etes(MIMD)inFrance.STACS2000wasthe17thintheseries.It was held in
Lille from February 17th to 19th, 2000. Previous STACS symposia
took place in Paris (1984), Saarbru ]cken (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), and
Trier (1999). All STACS proceedings have been p- lished in the
Lecture Notes in Computer Science 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. This time,
146 submissions from 30 countries were received, all in electronic
form. Jochen Bern designed the electronic submission procedure,
which performed marvelously. Many thanks to Jochen."
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.
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.
The algebraic specification of abstract data types is now a well
establishedresearch topic in computer science. This area influences
both applications and theoretical foundations of methodologies
which support the design and formal development of reliable
software. The Seventh Workshop on Specification of Abstract Data
Types took place in Wusterhausen/Dosse, April17-20, 1990, and was
organized in cooperation with the ESPRIT Basic Research Working
Group COMPASS. The main topics covered by the workshop were: -
Modularization - Object orientation - Higher-order types
anddependent types - Inductive completion - Algebraic high-level
nets.
|
|