Events

Engineering 2

Address
Engineering 2 1156 High Street
Santa Cruz, CA 95064 Get Directions
Categories: Main Campus
Events at this venue
Today

  • CSE Colloquium – Neurosymbolic AI: from research to industry

    Engineering 2 Engineering 2 1156 High Street, Santa Cruz, CA

    Presenter: Luis Lamb, Catholic Institute of Technology Abstract: Neurosymbolic AI brings together the statistical nature of machine learning with the formal reasoning capabilities of symbolic AI. It seeks to offer a balanced approach to contemporary AI technologies, by combining the ability to learn from data, with the capacity to reason upon knowledge acquired from an environment. […]

    Free

  • CSE Colloquium – Flux: Refinement Types for Verified Rust Systems

    Engineering 2 Engineering 2 1156 High Street, Santa Cruz, CA

    Presenter: Ranjit Jhala, UCSD Abstract: Rust has risen as a language of choice for new systems code — from OS kernels to hypervisors, firmware and run-times — as it is memory safe and provides the sort of abstractions needed for efficient low-level systems implementation. We present Flux, a refinement type checker for Rust that shows how […]

    Free
  • Redwood trees
    BE Climate Connectors

    BE Climate Connectors

    Engineering 2 Engineering 2 1156 High Street, Santa Cruz, CA

    Dear Baskin Engineering community, We’re excited to invite you to the kickoff of this year’s BE Climate Connectors series — a monthly gathering designed to bring together faculty, instructors, researchers, graduate students, and key staff working on climate solutions. When: Thursday, October 16 at 4:00 PM Where: E2 599 What: Wine, beer, and light snacks provided These informal monthly […]

  • CM Seminar: “Digital Equity in Rural America: Learning from Rural Environments of (Non)use”

    Engineering 2 Engineering 2 1156 High Street, Santa Cruz, CA

    Presented by: Rebecca Jonas   Description: “When we think about ‘digital divides,’ many people think about their impacts in far away places. We think of high-tech smart cities compared against Internet cafés in towns with dirt roads. Through my work evaluating the presence of digital divides in rural America, I show the impacts of digital […]

  • When Less is More: Applications of Type-Based Underapproximate Reasoning

    Engineering 2 Engineering 2 1156 High Street, Santa Cruz, CA

    Presenter: 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
Last modified: Oct 23, 2025