Space Invader in Freiburg

This week Dino went to Freiburg visiting Andreas Podelski. He gave a talk on Space Invader's latest exiting developments.
After that, two intense days of Space Invader brainstorming at the whiteboard followed...