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.

This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2000, held in Greenbelt, MD, USA, in April 2000.
The 22 revised full papers presented together with 13 posters and two panel discussion reports were carefully reviewed and improved for inclusion in the book. The papers are organized in topical sections on verifying agents' mental states, synthesizing agents initially, frameworks and formalizations, modeling and execution, inter-agent communication, and adaptive agents.

When faced with a sudden and unexpected crisis, when faced with a death of a child, where your whole life is changed forever, where interacting with life is a huge challenge, where everyday matters are difficult to cope with and life seems insurmountable, how does one go on? How does one gather the strength and the courage to pick up the pieces of a shattered life?

This book is the story of a mother's journey in a sudden and dramatic crisis-a descent into darkness and the journey back into the" light." It is a journey of hope, love, survival, self-empowerment, and healing. It is a journey she hopes will inspire and uplift all who have lost a child or a loved one. She discovers that her children are still ""alive"" in their spiritual bodies-dead to this world but "alive as shining lights" in the evening sky.