Dr. Kosaian attended the recent Lorentz workshop on Contract Languages.