Research appears on Radio 4 and in Wired magazine
Watch Ed Grefenstette's lively talk on artificial intelligence
CBMC has won the gold medal in the "Overall" category in the 2014 Software Verification Competition, held in conjunction with TACAS 2014. It won in total 6 medals, including Gold in "Recursion" and "HeapManipulation". Department of Computer Science, University of Oxford
A complete rewrite of the CSP refinement checker FDR has been released after being under development at the department for the last two years.
A talk given by Simon Chatterjee (Ensoft Ltd) 27th November 2013, 1pm, Lecture Theatre A
26th November 1pm LTA
Thurs 21st November, Dept of Computer Science. 3pm.
Wed 13th November at 5pm (Comp Soc lecture)
Dr Luca Cardelli, a top computer scientist at Microsoft Research, has been awarded a Royal Society Research Professorship in the Department of Computer Science
Oxford computer scientists have received a lot of recognition for their research over the past few months, receiving EPSRC Fellowships, Royal Society University Research Fellowships, an Honorary Fellowship from ESCMSET, and the Birkhoff -- von Neumann prize.
15th October 14.00-17.00
Four papers from members of the department have been accepted at POPL 2014.
Britain's leading conference on robotics takes place in Oxford. The highlight will be a public demonstration of driverless car technology being developed at Oxford University by Professor Paul Newman and his team.
The Academic Ranking of World Universities names Oxford best in Europe (and best in the world outside the US) in the 2013 Computer Science league table
And the Institute of Electrical and Electronics Engineer's (IEEE) Vis
Congratulations to Oana Tifrea-Marciuska for winning a prestigious Google Europe Fellowship in Social Search...
2013 International Computer Assisted Assessment Conference
Helen Flynn wins Best Paper award for "Multi-Modal People Detection from Aerial Video" at the 8th International Conference on Computer Recognition Systems, Poland, May 2013
Congratulations to William Zeng
For paper on modelling predicate calculi using semantic tensors
Oxford's Computational Linguistics group will have a strong presence in some of this summer's top-tier computational linguistics conferences and associated workshops.
Two new Centres for Doctoral Training announced today by Minister for Universities and Science, David Willetts.
in QS World University rankings
A principal venue for core theoretical computer science papers
11 papers selected for International Joint Conference on Artificial Intelligence
Congratulations to all involved, especially Computer Scientist Paul Bennett
The paper 'Managing uncertainty and vagueness in description logics for the Semantic Web', by Thomas Lukasiewicz and Umberto Straccia, is currently one of the top 3 cited articles (published in the last five years) in the Journal of Web Semantics.
Boris Motik named as the 2013 recipient of the Roger Needham Award and Samson Abramsky awarded the Lovelace Medal
The Morgan Stanley sponsored cash prizes going to Thomas Ahle and James Wallis
Where the team of researchers will present their idea of a 'perpetual' cardiac pacemaker
For research on assessing the accuracy of positioning systems in indoor environments
New project to help businesses detect and prevent cyber threats
Supporting her research in Computational Medicine
Thur 31st January 3-6pm, Oxford
The 16th International Conference on Hybrid Systems: Computation and Control conference
It is completely free! Open to Year 12 (or equivalent) students studying at UK state schools/colleges.
The 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Marta Kwiatkowska will be speaking at TASE 2013, ICTAC 2013 and ATVA 2013
Doctoral student's work on ontology-based classification of molecules honoured
Four papers accepted to the 16th International Conference on Database Theory
For work on the MaSI3 project: A Massively Scalable Intelligent Information
For developing systems to predict the side effects of drugs on the human heart
One of ten such scholarships for PhD/DPhil students to be granted nationally
Congratulations to Jamie Frost and Rafel Bordas
Yavor Nenov honoured by the University of Manchester
With a cash prize generously provided by Morgan Stanley
Tuesday 4th December 2012
Oxford RobotGames IV announced
Companies presenting include Amazon, Morgan Stanley and Bloomberg
Oxford’s Department of Computer Science is significantly increasing its research in the Algorithms area with the launch of a new Algorithms Theme.
Congratulations to Tomáš Kočiský and Quentin Spencer-Harper
Congratulations to Nathan Hale and Alex Wilson
The 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Award granted to Lu Feng by the James S. McDonnell Foundation
Up one place on last year’s position in the league table
The 23rd International Conference on Concurrency Theory
The 2012 QS World University Ranking for Computer Science has named Oxford sixth in the world for studying Computer Science and number one in Europe.
INQUEST: INnovative QUErying of STreams - 25-27 September 2012
Wednesday 22nd August, 7:30pm
in the 2012 Shanghai Academic Ranking of World Universities
And the Institute of Electrical and Electronics Engineer's VisWeek
Blanca Rodriguez wins MRC Centenary Award
Ernesto Jimenez-Ruiz's work has been recognised by The Jaume I University of Castellon
Samson Abramsky, co-editor of the Royal Society's Philosophical Transactions A special issue on Turing, is interviewed in the accompanying video podcast
Papers authored by Oxford computer scientists were this month given at IEEE conferences in the UK and USA
The annual student conference will take place on Friday 16th November, 2012 Department of Computer Science, University of Oxford
Paper co-authored by an Oxford computer scientist accepted to the 53rd Annual IEEE Symposium on Foundations of Computer Science
Technology originally developed to track badgers underground could soon be used to locate people in an emergency situation such as a bomb attack or earthquake.
Two papers co-authored by Standa Zivny accepted to the 18th International Conference on Principles and Practice of Constraint Programming
Doctoral student Ciara Dangerfield recognised for Computational Biology research
A paper authored by two members of the Cyber Security Centre has been accepted to the European Intelligence and Security Informatics Conference
Papers, authored by Oxford scientists have been accepted to the 38th International Conference on Very Large Databases
Applications from graduate students to speak or present a poster welcome
Daniel Kroening of Oxfords’ Department of Computer Science is leading research into co-ordinating groups of UAVs, which he hopes could improve the way they work when collecting data in difficult conditions, for example during a Fukushima-style disaster
DPhil student Katie Leonard is one of just ten people in Europe to be awarded the 2012 Google Scholarship for Students with Disabilities
9437 articles sourced historically · 100 per page