Microsoft Research: Adaptive Systems & Interaction

This find from Microsoft Research was sighted by Tomalak's Realm. Adaptive Systems & Interaction is the group at MS interested in automated reasoning, adaptive systems and HCI. The group also focusses on information retrieval research. White papers publicly available.