ICARM (Institute for Computer-Aided Reasoning in Mathematics), a new NSF Mathematical Sciences Research Institute, has been founded. PI Welleck serves as Assistant Director of Scientific Activities.