University of Notre Dame
NSF Center for Computer Assisted Synthesis
November 2006 December 2006 January 2007