HomeZJU EventsInvited TalksRamanujam: Logic and Games