SMS dit: Preparing for a new calculus: conference proceedings