Computer Science 1999

This book constitutes the refereed proceedings of the 16th Annual Symposium on Theoretical Aspects of Computer Science, STACS 99, held in Trier, Germany in March 1999. The 51 revised full papers presented were selected from a total of 146 submissions. Also included are three invited papers. The volume is divided in topical sections on complexity, parallel algorithms, computational geometry, algorithms and data structures, automata and formal languages, verification, algorithmic learning, and logic in computer science.

This volume contains papers selected for presentation during the 24th Interna tional Symposium on Mathematical Foundations of Computer Science held on September 6-10, 1999 in Szklarska Por^ba, Poland. The symposium, organized alternately in the Czech Republic, Slovakia, and Poland, focuses on theoretical aspects and mathematical foundations of computer science. The scientific program of the symposium consists of five invited talks given by Martin Dyer, Dexter Kozen, Giovanni Manzini, Sergio Rajsbaum, and Mads Tofte, and 37 accepted papers chosen out of 68 submissions. The volume contains all accepted contributed papers, and three invited papers. The contributed papers have been selected for presentation based on their scientific quality, novelty, and interest for the general audience of MFCS par ticipants. Each paper has been reviewed by at least three independent referees — PC members and/or sub-referees appointed by them. The papers were se lected for presentation during a fully electronic virtual meeting of the program committee on May 7, 1999. The virtual PC meeting was supported by software written by Artur Zgoda, Ph.D. student at the University of Wroclaw. The entire communication and access to quite a sensitive database at PC headquarters in Wroclaw was secured by cryptographic protocols based on technology of certificates.

This book constitutes the refereed proceedings of the 5th International Computer Science Conference, ICSC'99, held in Hong Kong, China, in December 1999. The 30 revised full papers presented together with 30 short papers were carefully reviewed and selected from 80 submissions. The book is divided into sections on information filtering, data mining, Web databases, user interfaces, modeling, information retrieval, workflow, applications, active networks, mobility and distributed databases, protocols, distributed systems, information retrieval and filtering, Web technologies, and e-commerce.

The 1999 Annual Conference of the European Association for Computer Science Logic, CSL’99, was held in Madrid, Spain, on September 20-25, 1999. CSL’99 was the 13th in a series of annual meetings, originally intended as Internat- nal Workshops on Computer Science Logic, and the 8th to be held as the - nual Conference of the EACSL. The conference was organized by the Computer Science Departments (DSIP and DACYA) at Universidad Complutense in M- rid (UCM). The CSL’99 program committee selected 34 of 91 submitted papers for p- sentation at the conference and publication in this proceedings volume. Each submitted paper was refereed by at least two, and in almost all cases, three di erent referees. The second refereeing round, previously required before a - per was accepted for publication in the proceedings, was dropped following a decision taken by the EACSL membership meeting held during CSL’98 (Brno, Czech Republic, August 25, 1998).

Walks through Prague that both bring the history of the city to life and take the visitor on a fascinating journey through time: The comprehensive guidebook to modern architecture of Prague shows its development from the Art Nouveau and beginnings of the Modern Style at the turn of the 20th century, the unique Cubist buildings from the years before World War I, the 'National Style"" of the newly established Czechoslovak Republic, the functionalist avantgarde of the inter-war period, the most remarkable examples of post-World War II buildings, and the revival of architectural production after 1989. 200 pages encompass 225 entries presenting buildings from 1900 to 1997. Each of them contains a descriptive text, black/white period photographs, selected entries are provided with plans. City map on 14 gatefold pages, registers according to architects, chronology, and typology. The pocket-sized book is an indispensable companion to everybody's discovering the vast architectural heritage of the Czech capital.