Jürgen and Nils attend the AAMAS Conference 2010 in Toronto. Nils will give a talk on "Verifying Agents with Memory is harder than it seemed".