Your contact person is Shriram Krishnamurthi (sk@cs.brown.edu). My office number is +1 401-863-7722, but email is a far more reliable way of reaching me than the phone. In a real emergency, my home number is +1 401-453-5890.

The other workshop leader is Kathi Fisler.