Add UPenn's CIS 500 in a separate CS Theory section