Ranjit Jhala will be giving a talk tomorrow. He will also be available for meetings with members of the lab starting at 10. If you'd like to meet with him, please email me ASAP and include your schedule constraints. Vincent