skip to main content
Department of Computer Science University of Colorado Boulder
cu: home | engineering | mycuinfo | about | cu a-z | search cu | contact cu cs: about | calendar | directory | catalog | schedules | mobile | contact cs
home · events · colloquia · 2003-2004 · 

Colloquium - Findler

DLC 170

Roadmap to Enhancing the Security, Reliability and Control of Complex Systems
Arizona State University
Nicholas Findler photo

There are three major multi-disciplinary objectives:

  • to develop a methodology for the semi-automatic conversion of a fairly large class of Complex Systems into verifiably equivalent Multi-Agent Systems (MAS);

  • to generate automatically an empirically-based Theory of Coordination (ToC) for such MAS;

  • to use the ToC as a design tool for new MAS being built and a debugging/repair tool for existing deficient ones. The latter facility will be available for on-line, continual checking of the operation of the MAS and the corresponding Complex System, in regard to possible accidental perturbation or deliberate mischief.

Sponsored by the Center for Lifelong Learning & Design.

The Department holds colloquia throughout the Fall and Spring semesters. These colloquia, open to the public, are typically held on Thursday afternoons, but sometimes occur at other times as well. If you would like to receive email notification of upcoming colloquia, subscribe to our Colloquia Mailing List. If you would like to schedule a colloquium, see Colloquium Scheduling.

Sign language interpreters are available upon request. Please contact Stephanie Morris at least five days prior to the colloquium.

See also:
Department of Computer Science
College of Engineering and Applied Science
University of Colorado Boulder
Boulder, CO 80309-0430 USA
Send email to

Engineering Center Office Tower
ECOT 717
FAX +1-303-492-2844
XHTML 1.0/CSS2 ©2012 Regents of the University of Colorado
Privacy · Legal · Trademarks
May 5, 2012 (13:29)