Invited speakers

• Matthew MacLaurin, Microsoft.
  • The Design of Kodu: A Tiny Visual Programming Language for Children on the Xbox 360.
• Xavier Leroy, INRIA.
  • Verified squared: does critical software deserve verified tools?
• In memory of Robin Milner:
  • Robin Milner: verification, languages, and concurrency.
  • Organized by: Andrew Gordon (Microsoft Research) and Peter Sewell (Cambridge).
  • Speakers: Robert Harper (CMU), Alan Jeffrey (Alcatel-Lucent Bell Labs), and John Harrison (Intel).

Other attractions

POPL Games and Jazz Dinner

The POPL dinner will be at the conference hotel on the evening of Wednesday January 26. It will feature live Jazz music and Xbox/Kinect gaming.

Current lineup for jazz performance: Andrew Appel (saxophone), Todd Millstein (guitar), Tom Ball (bass), Rustan Leino (drums), Philippe Suter (piano), Michael Hicks (drums), Gordon Stewart, and friends. Contact Tom Ball if you want to play.

Three Kinect-enabled Xboxes, ready to play, will be available before and after the POPL dinner. Feel free to use the machines to play/program Kodu (see invited talk) and experience the Kinect technology, both of which contain substantial contributions from Microsoft Research.

POPL Xbox 360 Raffle

We will give away the three Xbox 360 4GB Console with Kinect bundles (yes, the slightly-used ones from the game room) in a raffle at the very end of the conference. Your POPL registration enters you in the raffle. You must be present to win.

What (else) to do in Austin