by NASA Goddard Space Flight Center (GSFC), in association with the IEEE
Computer Society, will hold the second Goddard Workshop on Formal
Approaches to Agent-Based Systems on October 28-30, 2002, at the
Greenbelt Marriott Hotel near NASA/GSFC, Greenbelt, MD, USA.
Registration is now open and available online. The early registration
ends October 3rd. Please see the FAABS II Announcement for details:
http://fmw.gsfc.nasa.gov/
Sir Roger Penrose, FRS, will be the keynote speaker on the first day
of the workshop. An abstract of his talk is found at:
http://fmw.gsfc.nasa.gov/penrose-abstract.html
The agenda for the workshop can be found at
(http://fmw.gsfc.nasa.gov/agenda.html).
Please bring this to the attention of individuals potentially
interested in attending FAABS II.