Third NASA-Goddard/IEEE Workshop on Formal Approaches to Agent-Based Systems "FAABS III"

NASA Goddard Space Flight Center (GSFC), in association with the IEEE Computer Society, will hold the Third NASA Goddard/IEEE Workshop on Formal Approaches to Agent-Based Systems on April 26-27, 2004, in Greenbelt, MD, USA (metropolitan Washington, D.C.).

International participation is encouraged. Student submissions are also encouraged. Delegates will be responsible for their own travel costs and accommodation costs.

NOTE: Attendance is open to non-presenters who properly register.

REGISTRATION

Registration will be handled by the IEEE Computer Society via an on-line process at the following site:

http://www.cvent.com/EventManagement/Summary/Summary.asp?eCode=ipnlircilbyiiptlirbilbdiizdlie

Credit cards will be accepted for payment. A reduced (advance) registration fee is available until 5:00 p.m. on March 22, 2004.

Registration via fax or mail will be accepted using forms provided by IEEE: PDF MS Word.

AIMS AND SCOPE

The workshop aims to bring together practitioners and academics with an interest in formal specification techniques, agent-based systems, and the intersection of these areas. The organizers welcome participation by those working in either area, and welcome contributions from those working on formal approaches that are particularly relevant to agent-based systems, those finding that they require more formal approaches in order to develop reliable agent-based systems, and those with experience in this area.

The workshop will be structured so as to allow plenty of time for discussion and interaction.

Topics of interest include, but are not limited to:

VENUE

PARTICIPATION

The workshop will accommodate presentations concerning not only current work but also interests and experience related to the workshop theme. Deadlines and other important dates are listed below. Abstracts of current work and statements of interest and experience should be submitted -- in plain text, PDF, or RTF format -- to

fmw@listserv.gsfc.nasa.gov

Abstracts should be 4 to 6 pages long in 12 point type. Invitations to participate in the workshop will be issued by the date given below in the list of important dates. Authors selected will be asked to provide a full-length paper for the proceedings (which will be published by Springer and distributed to delegates and authors following the workshop).

Submissions must be accompanied by additional information for each person attending or listed as author or co-author, as follows:

Name, postal address, affiliation, email address, phone (voice)

If multiple authors, please indicate the primary author or point of contact.

KEY DATES

December 12, 2003 --	Abstracts & statements of interest due
February 2, 2004 --	Notification to invitees
March 22, 2004 --	Advance registration deadline (5 p.m. Eastern Standard Time) for reduced registration fee. On-line registration site: http://www.cvent.com/EventManagement/Summary/Summary.asp?eCode=ipnlircilbyiiptlirbilbdiizdlie
April 26-27, 2004 --	Workshop
June 30, 2004 --	Final paper due for inclusion in LNCS proceedings

NOTE: After April 12, please register on-site. Space is limited, so early registration is strongly advised.

ORGANIZING COMMITTEE

Mike Hinchey, NASA GSFC, USA

Jim Rash, NASA GSFC, USA

Walt Truzskowski, NASA GSFC, USA

Chris Rouff, SAIC, USA

CO-SPONSORS

Information Systems Division, NASA Goddard Space Flight Center, USA

Software Engineering Laboratory, NASA Goddard Space Flight Center, USA

IEEE Computer Society Technical Committee on Complexity in Computing