Flairs 2000 Conference Report
A. Gonzalez, M. Towhidnejad · Journal of International Crisis and Risk Communication Research · 2001
The Thirteenth Annual International Conference at the Florida Artificial Intelligence Research Society (FLAIRS) was held in Orlando, Florida, on 22 to 24 May. The conference included sessions on 11 topics. The session on validation, verification, and system certification was the most extensive. It sponsored nine paper presentations, a panel discussion, and a tutorial on the verification of software through formal theorem proving methods. Additionally, some less than traditional areas of research were also represented.