Audience: Undergraduate Students
-

CSE Colloquium – Neurosymbolic AI: from research to industry
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 […]
-

CSE Colloquium – Flux: Refinement Types for Verified Rust Systems
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 […]
-

When Less is More: Applications of Type-Based Underapproximate Reasoning
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 […]
-

Top Grad Schools in International Relations
Georgetown SFS, Columbia SIPA, Johns Hopkins SAIS, and Tufts Fletcher will be visiting UCSC! This is a great opportunity for students to hear from all four schools at the same time
-

Stand Out in Your Job Search: Tips from Veeva
Come join Katie Groth, a University Recruiter at Veeva, as she shares valuable insights on how to make your resume, job applications, and interviews stand out. You’ll also have the chance to ask your own questions and get personalized advice on these topics. During the session, Katie will also provide insight into the Engineering Development…
-

Elevator Pitch Competition
Are you ready to showcase your communication and persuasion skills? We’re excited to invite you to our Elevator Pitch Competition! Snacks provided! Deliver a 60-second pitch that wows the judges to compete for amazing prizes! Prizes: $100 Amazon Gift Card and company swag!
-

Emeriti Faculty Lecture, Fall 2025
Distinguished Research Professor Diane Gifford-Gonzalez reflects on fifty-five years of zooarchaeology work, studying animal remains from archaeological sites to explore how past people and their kin interacted.
-

CSE Colloquium: A Journey from Programming Systems Research to AI Agents
Speaker: Koushik Sen, UC Berkeley and Google DeepMind Abstract: Coding has emerged as an important application area for large language models (LLMs), with a proliferation of code-specific models and their […]
-

Campus to Career: Job Talk with Rebecca Hernandez, Community Archivist
Wondering what you can do with your Arts or Humanities degree? Come hear from a real professional on our campus with a background in both. If you are interested in careers in higher education, museums, or archives, this event is for you!
