Skip to main content
Skip to main content
MARLAN AND ROSEMARY BOURNS COLLEGE OF ENGINEERING
Search
UC Riverside - Audience Menu
UC Riverside
Computer Science and Engineering
WE ENGINEER EXCELLENCE
Home
Events
Undergraduate
Overview
Apply
Programs
Computer Science Major
Computer Science BS+MS Major
Computer Science Minor
Computer Science with Business Applications Major
Computer Engineering Major
Data Science Major
Data Science Minor
Robotics Major
Course Listings
Student Life
Advising
Research
Graduate
Overview
Admissions
Overview
Domestic Applicants
International Applicants
BS+MS Applicants
Why CSE@UCR
Prospective Student Opportunities
Request Information
FAQs
Programs
PhD in Computer Science
MS in Computer Science
BS+MS in Computer Science
MS in Computational Data Science
MS in Computer Engineering
MS in Robotics
Course Listings
Financial Support
Student Advising
Resources
Forms
Internships
Handbook
Employment Information
Fall 2023 New Graduate Student Information
Graduate Student Calendar
Student Life
Research
Areas of Research
Algorithms and Theory of Computation
Architecture, Compilers, and Embedded Systems
Bioinformatics
Computer Science Education
Cybersecurity
Databases, Data Mining, and Artificial Intelligence
High-Performance Computing and Graphics
Programming Languages and Software Engineering
Systems and Networks
Research Labs
Research Centers
Overview
Cyber Security
Data Science
Spatial Data
Undergraduate
People
Faculty
Lecturers
Staff
Graduate Students
About
Message From The Chair
Overview
Board of Advisors
Distinguished Lectures
Employment
Maps & Directions
Computing Facilities
Contact Us
ABET Accreditation
Engagement
Newsletter
Outreach
Giving Opportunities
UC Riverside - Audience Menu
Breadcrumb
COLLOQUIUM - Using Solver-Aided Languages to Build Reliable Distributed Systems
COLLOQUIUM - Using Solver-Aided Languages to Build Reliable Distributed Systems
Add to Calendar
12/11/2020 11:00
12/11/2020 12:00
America/Los_Angeles
COLLOQUIUM - Using Solver-Aided Languages to Build Reliable Distributed Systems
December 11, 2020 @ 11:00 am
-
December 11, 2020 @ 12:00 pm
Zoom
Type
Colloquium
Admission
Free
Let us help you with your search
×
Enter your Search Criteria
Search All UCR
Search This Site
Cancel