Third NASA-Goddard/IEEE Workshop on
Formal Approaches to Agent-Based Systems
"FAABS III"
"Self-aware computer systems"
John McCarthy (Stanford U.)
ABSTRACT -- (TBD)
