Cognitive science is a field that began with the realization that researchers in varied disciplines-psychology, artificial intelligence, linguistics, philosophy

These are the proceedings of the fifth international conference, Formal Methods in Computer-Aided Design (FMCAD), held 15-17 November 2004 in Austin, Texas, USA