Organized the inaugural CUPLV Formal Methods Seminar and gave a talk on Verifiaction of Real-valued Programs.