Second Harvest Food Bank Holiday Donation Drive
Take part in the campus-wide holiday drive by donating Slug Points, Banana Bucks, or Flexi Dollars to the Second Harvest Food Bank November 17 – December 11. 100% of your […]
4 events found.
All Day
Free Coffee, Tea, & More with Merrill Provost Aims McGuinness
Grab a free cup of locally owned coffee and chat with Provost Aims at Coffee with the Provost! Most Wednesdays through the quarter from 9–11 a.m.
Meet us for coffee, tea, breakfast snacks and good conversation outside the Merrill College Office, across from the mailroom.
When Less is More: Applications of Type-Based Underapproximate Reasoning
Engineering 2 Engineering 2 1156 High Street, Santa CruzPresenter: Suresh Jagganathan, Purdue University Abstract: Unlike program verifiers, symbolic execution and property-based testing tools underapproximate program behavior: they aim to report only real bugs (no false positives), at the cost of potentially missing some (false negatives). Recent work has sought to place such tools on a more formal footing, primarily through the development of incorrectness […]
Free
Learn about the Educational Therapy Certificate Program
Virtual Event
Transform learning. Join Educational Therapy certificate program chair Sharmila Roy for a thoughtful program overview and hear how the uniquely designed curriculum empowers educators and professionals to make a lasting […]