Skip to main content
University of Oxford Department of Computer Science
Search for
Search
Toggle
Main Menu
Home
Admissions
Research
News & Events
(current)
About Us
Alumni
Our Students
Innovation
Home
News & Events
Events
Verification Seminars
Stochastic SAT Modulo Theory - from Systematic Search over Randomized Exploration to a Hybrid Calculus
Stochastic SAT Modulo Theory - from Systematic Search over Randomized Exploration to a Hybrid Calculus
Martin Fraenzle ( Carl von Ossietzky Universität Oldenburg )
5
Jun
11:30 5th June 2013 ( week 7, Trinity Term 2013 )
051
Share this:
Seminar Series
Verification Seminars
See also
Concurrency
Hardware Verification
Probabilistic Model Checking
Probabilistic Verification for Systems Biology
Security
Automated Verification
Coordinators
Alessandro Abate
Renate Henison
News & Events
News
Events
Upcoming Events
Events for prospective students and schools groups
Seminars by Series
Seminars by Date
Lecture Timetables
Back to Top