Notes and info for the US faculty at MPCS.