-A A +A

Latest News

Best Talk (2nd Prize)

The Oxford Computer Science Conference is an annual conference that celebrates student projects, research by Masters and PhD studens, and work by postdoctoral fellows. This year the event was held on 1st of June 2018 and our group member, Gareth Molyneux won the Best Talk (2nd Prize) for presenting his work. The presentation was titled; "Bayesian verification of chemical reaction networks" . 


 Alessandro Abate will be presenting the key note talk within TRENDS 2018 - a workshop on the trends in concurrency theory. It will be part of CONFESTA 2018. More details to follow soon.

BOOM! Big data meets formal methods 2018

Alessandro Abate will be presenting the keynote session within BOOM!  Big data meets formal methods workshop. This workshop will be held within CONFESTA 2018, taking place on the 8th Septemeber 2018, Beijing China. 

Paper accepted to CAV 2018

CounterExample Guided Inductive Synthesis Modulo Theories  - Alessandro Abate, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen

ADHS 2018

Registration is open at www.floc2018.org/register/.

There are two main categories, Student and Regular. Whilst you might also register for other events (conferences, workshops, or public events) at FLOC in Oxford, please make sure you follow these instructions: 

— The registration to ADHS18 is under ‘Workshops’. Workshops are charged per day, and ADHS18 is a 3-day workshop. 
— Upon selecting the relevant event at FLOC (third page of registration form), please tick three 1-day passes for July 11, 12, and 13 (and select ADHS18 on the following page). 
— We hope you’ll also consider attending the special ADHS18 banquet at Balliol College, held on July 12: please make sure to select the relevant field on the same page.

Further details on the conference can be found  $\rightarrow$ here.

FLoC 2018 registration

During the past forty years there has been extensive, continuous, and growing interaction between logic and computer science. In many respects, logic provides computer science with both a unifying foundational framework and a tool for modeling. In fact, logic has been called “the calculus of computer science”, playing a crucial role in diverse areas such as artificial intelligence, computational complexity, distributed computing, database systems, hardware design, programming languages, and software engineering.

The Federated Logic Conference brings together several international conferences related to mathematical logic and computer science. One can now register for attending FLoC 2018! See here for more details.

A list of FAQ questions related to registration can also be found here.




The FLoC Volunteer programme
Registration for 'The FLoC Volunteer programme' has now opened.  FLoC’18 volunteers will be able to interact with speakers and participants, network with other researchers and meet graduate students from all over the world.
Application details for the FLoC’18 Volunteer Programme are available here.  For questions, please write [email protected].
Further details on FLoC'18 can be found here


Best Overall Presentation winner!

The Oxbridge Women in Computer Science Conference is an annual conference that brings together junior and senior female computer scientists at Cambridge and Oxford, encourages collaboration through formal and informal discussion, and provides a perfect opportunity for young researchers to present their research and get valuable feedback in an open, friendly and informal environment.This year the event was held in Cambridge and our group member, Nathalie Cauchi, won the Best Overall Presentation for presenting her work. The presentation was titled; "Efficient probabilistic model checking for Smart Buildings using Fault Maintenance trees" and focuses on the work presented in BuildSys'17.  


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.





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.