Formal Approaches to Agent Based Systems : Second International Workshop FAABS 2002 Greenbelt MD USA October 29 31 2002. Revised Papers This book constitutes the thoroughly refereed post proceedings of the Second International Workshop on Formal Approaches to Agent Based Systems FAABS 2002 held in Greenbelt MD in October 2002. The 18 revised full papers and 5 poster papers presented together with 9 panel statements and summaries were carefully selected for presentation during two rounds of reviewing and improvement. Among the topics addressed are formal models for agent communication communication protocols logic based agents statechart frameworks formal specification of agent interaction space shuttle applications automated satellite ground operations formal verification agent control multi agent coordination agent languages mobile agent testing battlefield agents XML autonomous agents etc