_______________________________________________ Department-cs mailing list Department-cs@cs.yale.edu http://mailman.cs.yale.edu/mailman/listinfo/department-cs