Zoe et son cousin Remi sont aux sports d\'hiver. Zoe est en haut de la piste verte. On ne la voit presque pas. Tous ses vetements sont blancs. Des vetements blancs a la montagne, c\'est dangeureux. Pour Lire en francais facile, le Club des jeunes lecteurs....

This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, held in Houston, Texas, USA in November 2002. The 22 revised full papers, 2 tool papers, and 2 posters presented were carefully reviewed and selected from 61 submissions....

Reasoning about knowledge--particularly the knowledge of agents who reason about the world and each other\'s knowledge--was once the exclusive province of philosophers and puzzle solvers....

Reasoning about knowledge -- particularly the knowledge of agents who reason about the world and each other\'s knowledge -- was once the exclusive province of philosophers and puzzle solvers....