ICALP 2011, the 38th edition of the International Colloquium on Automata, Languages and Programming, was held in Z¨urich, Switzerland, during July 4–8, 2011. ICALP is a series of annual conferences of the European Association for Theoretical Computer Science (EATCS) which first took place in 1972. This year, the ICALP...

These proceedings contain the papers presented at the 8th Internationl Symposium on Automated Technology for Verification and Analysis held during September 21–24, 2010 in Singapore. The primary objective of the ATVA conferences remains the same: to exchange and promote the latest advances of state-of-the-art research on...

The "European Institute for System Security (E.I.S.S.)" was founded on February 29, 1988 by cabinet resolution of the state government Baden-Wurttemberg. It is headed by Professor Thomas Beth and is affiliated with the Institute for Algorithms and Cognitive Systems (IAKS) of the Faculty for Computer Science at the University of...

The essays in A Companion to Rhetoric and Rhetorical Criticism explore rhetoric as a practical art of deliberation and judgment, best taught and learned through concrete examples of argument, interpretation, and criticism. Historically and in our own time scholars have shown that rhetoric can very well be theorized in the strong sense that...

This book has benefited from the generous assistance and support of many individuals and institutions. The study leading to this book began at the University of Hawaii at Manoa when I was a graduate student. I have had wonderful teachers: Roger Ames, Jack Bilmes, Fred...

The accounting department is a cost center. It does not directly generate revenues, but, rather, provides a fi xed set of services to the rest of the company, and is asked to do so at the lowest possible cost. Consequently, the accounting staff is called on to process transactions, write reports, create new processes, or investigate old...