Visiting the CS dept, will talk about EGTA for Canonical Auction Games.