AIM Workshop: Random matrices