|
|
| This web page is obsolete. The home page for FMCAD now resides at www.fmcad.org. Please feel free to contact this page maintainer or any member of the FMCAD Steering Committee for information about this conference. |
This is a repository for information related to the International Conference on Formal Methods in Computer-Aided Design . This site is very much under development; for problems, suggestions, or information, please contact a member of the FMCAD Steering Committee.
The next FMCAD meeting will be held in November 2006 in San Jose, California.
See www.fmcad.org.
FMCAD Steering Committee
| Mark Aagard | University of Waterloo | markaa@swen.uwaterloo.ca | http://www.swen.uwaterloo.ca/~markaa/ |
| Ganesh Gopalakrishnan | University of Utah | ganesh@cs.utah.edu | http://www.cs.utah.edu/~ganesh/ |
| Warren A. Hunt, Jr. (CEO) |
University of Texas at Austin | hunt@cs.utexas.edu | |
| Steven D. Johnson | Indiana University | sjohnson@cs.indiana.edu | http://www.cs.indiana.edu/~sjohnson |
| John O'Leary | Intel Corporation | joleary@ichips.intel.com |