-A A +A

Latest News

#InternationalWomenDay2018

A new web page celebrates the women of the department. #InternationalWomenDay2018 www.cs.ox.ac.uk/women. Our very own Nathalie Cauchi is featured in the DPhil student profile :)  

Call for submission to 5th Int. Workshop on ARCH is now up!

The workshop on applied verification for continuous and hybrid systems (ARCH) brings together researchers and practitioners to establish a curated set of benchmarks and test them in a friendly competition.

Verification of continuous and hybrid systems is increasing in importance due to new cyber-physical systems that are safety- or operation-critical. This workshop addresses verification techniques for continuous and hybrid systems with a special focus on the transfer from theory to practice. Topics include, but are not limited to

  • Proposals for new benchmark problems (not necessarily yet solvable)
  • Tool presentations
  • Tool executions and evaluations based on ARCH benchmarks
  • Experience reports including open issues for industrial success
  • Reports on results of our friendly competition (separate call)

Researchers are welcome to submit examples, tools and benchmarks that have already appeared in brief form, but whose details were omitted. The online benchmark repository allows researchers to include modeling details, parameters, simulation results, etc. Submissions are encouraged, but not required, to include executable data (models, configuration files, code etc.). It is not required to show that the benchmark has a solution; it suffices that the problem is described in enough detail that somebody else can try to solve it.

The submission deadline is 6th April 2018.

More info can be found here.

 

 

Initial paper submissions to CDC coming up!

The initial paper submission to the 57th IEEE Conference on Decision and Control (CDC) is coming up: 20th March 2018.

The CDC is recognized as the premier scientific and engineering conference dedicated to the advancement of the theory and practice of systems and control. The CDC annually brings together an international community of researchers and practitioners in the field of automatic control to discuss new research results, perspectives on future developments, and innovative applications relevant to decision making, automatic control, and related areas.

The 57th IEEE Conference on Decision and Control will be held Monday through Wednesday, December 17-19, 2018 at the Fontainebleau in Miami Beach, FL, USA. The conference will be preceded by technical workshops on Sunday, December 16, 2018.

 

More info here

Registration for ADHS 2018 opening soon

The IFAC Conference on Analysis and Design of Hybrid Systems brings together researchers and practitioners in the area of hybrid systems, with backgrounds in control, computer science, and operations research, to provide a forum for discussing and presenting recent results in the fields of hybrid and cyber-physical systems. ADHS 2018 will be held in Oxford.
 

ADHS will be hosted within FLOC 2018, and will precede CAV 2018.

 

Registration opening soon!

Pages

CONTACT US

Oxford Control and Verification (OXCAV) Group

C/O Department of Computer Science

Wolfson Building, Parks Rd, Oxford OX1 3QD

T: +44 (0) 18656 10767

Education - This is a contributing Drupal Theme
Design by WeebPal.