Title

Flairs 2000 Conference Report

Abstract

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.

Publication Date

3-1-2001

Publication Title

AI Magazine

Volume

22

Issue

1

Number of Pages

121-122

Document Type

Article; Proceedings Paper

Personal Identifier

scopus

Socpus ID

0035279329 (Scopus)

Source API URL

https://api.elsevier.com/content/abstract/scopus_id/0035279329

This document is currently not available here.

Share

COinS