發送短信: Preparing for a new calculus: conference proceedings