At the latest ISAmI 2011 Conference, in Salamanca (Spain), Sanaullah Muhammad presented a talk on a formal verification approach for intelligent ambients, based on model checking. The paper was also awarded for its scientific quality. Read the paper or browse the presentation slides.