Mobility in networks and distributed systems is attracting an ever growing interest. A number of models and analysis techniques for proving properties of mobile systems are being researched these days. These are based on algebra, modal logics, types, abstract interpretation, control-flow analysis, behavioural equivalences, co-induction, theorem provers, etc.
Reports on such work are scattered around in several workshops and conferences together with other work on mobile systems.This workshop intends to offer a unifying forum for comparison of techniques and presentation of experience reports on proofs. We aim to bring together theoretically oriented and practically oriented researcher and discuss questions such as "What proof techniques are available?", "What has been achieved so far?", "What are the challenges?"