Static analysis is increasingly recognized as a fundamental reasearch area aimed at studying and developing tools for high performance implementations and v- i cation systems for all programming language paradigms. The last two decades have witnessed substantial developments in this eld, ranging from theoretical frameworks to design, implementation, and application of analyzers in optim- ing compilers. Since 1994, SAS has been the annual conference and forum for researchers in all aspects of static analysis. This volume contains the proceedings of the 6th International Symposium on Static...

ICICS 99, the Second International Conference on Information and C- munication Security, was held in Sydney, Australia, 9-11 November 1999. The conference was sponsored by the Distributed System and Network Security - search Unit, University of Western Sydney, Nepean, the Australian Computer Society, IEEE Computer Chapter (NSW), and Harvey World Travel. I am g- teful to all these organizations for their support of the conference. The conference brought together researchers, designers, implementors and users of information security systems and technologies. A range of aspects was addressed...

Mobile and Wireless Communications Networks 2000 (MWCN2000) was the second conference in its series aimed at stimulating technical exchange in the emergingandimportantel dofMobileandWirelessCommunicationsNetworks. Therst conferencetookplaceatSorbonneUniversity, Paris, FranceMay12{15, 1997. Integration of xed and portable wireless access technologies and their mobility featuresintocurrentx edandmobileIPandATMnetworkspresentsacoste- tiveande cientwaytoprovideseamlessend-to-endconnectivityandubiquitous access in a market where demands on wireless networks have grown rapidly and which is...

Research in Antarctica in the past two decades has fundamentally changed our perceptions of the southern continent. This volume describes typical terrestrial environments of the maritime and continental Antarctic. Life and chemical processes are restricted to small ranges of ambient temperature, availability of water and nutrients. This is reflected not only in life processes, but also in those of weathering and pedogenesis. The volume focuses on interactions between plants, animals and soils. It includes aspects of climate change, soil development and biology, as well as above- and...

This book constitutes the thoroughly refereed post-proceedings of the 9th International Symposium on Graph Drawing, GD 2001, held in Vienna, Austria, in September 2001. The 32 revised full papers presented were carefully reviewed and selected from 66 paper submissions. Also included are a corrected version of a paper from the predecessor volume, short reports on the software systems exhibition, two papers of the special session on graph exchange formats and a report on the annual graph drawing contests. The papers are organized in topical sections on hierarchical drawing, planarity, crossing...

This book presents the refereed proceedings of the 4th International Symposium on Static Analysis, SAS '97, held in Paris, France, in September 1997.
The 23 revised papers were selected from 61 high-quality submissions on the basis of at least three reviews. Also included are one system demonstration, three posters, and six invited contributions by leading scientists. The papers are organized in topical sections on procedural languages, logic programming, concurrency, and termination.

Asiacrypt 99 was held in Singapore on 14-18 November 1999. Asiacrypt is one of the major events in the cryptology research community. Asiacrypt 99, the ?fth annual Asiacrypt conference, was sponsored by the Asiacrypt Steering Comm- tee and the Centre for Systems Security of the National University of Singapore, and in cooperation with the International Association for Cryptology Research. As the Program Co-Chairs of Asiacrypt 99, we are extremely honored to or- nize this event, which showcases the state-of-the-art development of cryptology research at the conclusion of this millennium. This...