In recent years, IT application scenarios have evolved in very
innovative ways. Highly distributed networks have now become a common
platform for large-scale distributed programming, high bandwidth
communications are inexpensive and widespread, and most of our work
tools are equipped with processors enabling us to perform a multitude of
tasks. In addition, mobile computing (referring specifically to wireless
devices and, more broadly, to dynamically configured systems) has made
it possible to exploit interaction in novel ways.
To harness the flexibility and power of these rapidly evolving,
interactive systems, there is need of radically new foundational ideas
and principles; there is need to develop the theoretical foundations
required to design these systems and to cope with the many complex
issues involved in their construction; and there is need to develop
effective principles for building and analyzing such systems.
Reflecting the diverse and wide spectrum of topics and interests within
the theoretical computer science community, Foundations of Information
Technology in the Era of Network and Mobile Computing is presented in
two distinct but interrelated tracks:
-Algorithms, Complexity and Models of Computation;
-Logic, Semantics, Specification and Verification.
This volume contains 45 original and significant contributions
addressing these foundational questions, as well as 4 papers by
outstanding invited speakers. These papers were presented at the 2nd
IFIP International Conference on Theoretical Computer Science (TCS
2002), which was held in conjunction with the 17th World Computer
Congress, sponsored by the International Federation for Information
Processing (IFIP), and which convened in Montréal, Québec, Canada in
August 2002.
