Applied Microeconomics and Trade Seminar Series presents: Giovanni Peri
Engineering 2 Engineering 2 1156 High Street, Santa Cruz, CAApplied Microeconomics and Trade Seminar: Giovanni Peri
6 events found.
Engineering 2
Events at this venue
-
-
CM Seminar: “Playful Design to Empower Climate Adaptation – What are we missing for real-life impact?”
Engineering 2 Engineering 2 1156 High Street, Santa Cruz, CAPresented by: Linda Hirsch Description: “Games and playful interventions have been researched to increase awareness of climate change impacts and educate about mitigation and adaptation measures. However, besides increased […]
-
CSE Colloquium – Flux: Refinement Types for Verified Rust Systems
Engineering 2 Engineering 2 1156 High Street, Santa Cruz, CAPresenter: 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 […]
Free -
BE Climate Connectors
Engineering 2 Engineering 2 1156 High Street, Santa Cruz, CADear 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, […]
-
CM Seminar: “Digital Equity in Rural America: Learning from Rural Environments of (Non)use”
Engineering 2 Engineering 2 1156 High Street, Santa Cruz, CAPresented 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 […]
-
When Less is More: Applications of Type-Based Underapproximate Reasoning
Engineering 2 Engineering 2 1156 High Street, Santa Cruz, CAPresenter: 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 […]
Free