Skip to main content
University of Oxford Department of Computer Science
Search for
Search
Toggle
Main Menu
Home
Study with us
Research
News
Events
(current)
About Us
Student Space
Partner with us
Home
Events
Verification Seminars
Decision Problems for Linear Dynamical Systems
Decision Problems for Linear Dynamical Systems
Joel Ouaknine
( University of Oxford )
8
Jun
12:00 8th June 2016 ( week 7th Week, Trinity Term 2016 )
Imperial College, London
See
here
for details.
Seminar Series
Verification Seminars
See also
Joel Ouaknine
Concurrency
Hardware Verification
Probabilistic Model Checking
Probabilistic Verification for Systems Biology
Security
Automated Verification
Coordinators
Alessandro Abate
Rajarshi Roy
News & Events
Events
Upcoming events
Outreach events
Seminars by Series
Strachey Lectures
Back to Top