Flairs 2000 Conference Report
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.
Number of Pages
Article; Proceedings Paper
Source API URL
Gonzalez, A. and Towhidnejad, M., "Flairs 2000 Conference Report" (2001). Scopus Export 2000s. 298.