CIS Professor Carla Gomes is a keynote speaker at AI & Math 2006 symposium http://anytime.cs.umass.edu/aimath06/ presenting a talk titled "Adventures in Randomized Computational Methods"

And she will be Co-chair of the SAT 2006 conference http://www.easychair.org/FLoC-06/SAT.html

Professor Gomes is also quoted in an article concerned with the deeper, AI side of Sudoku http://www.spectrum.ieee.org/feb06/2809