Universities and Science Minister announces boost for postgraduate training
Wednesday, 19 March 2014. Open to Year 12 UK State school students
The 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Authors from Oxford University's Department of Computer Science have eight full accepted papers at the 13th International Conference on Autonomous Agents and Multi-Agent Systems
Free events for Year 12 students at UK state schools
Research appears on Radio 4 and in Wired magazine
Watch Ed Grefenstette's lively talk on artificial intelligence
Official technical announcement and publication from Oxford (AIDC) covering £1.26 Million Platform Grant for Information Systems.
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". <br/>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)
Official technical announcement and publication from Oxford (AIDC) covering Ian Horrocks wins Semantic Web Science Association 10 year award.
Dr Luca Cardelli, a top computer scientist at Microsoft Research, has been awarded a Royal Society Research Professorship in the Department of Computer Science
Official technical announcement and publication from Oxford (AIDC) covering VERIPACE: new ERC Proof of Concept Grant awarded to Professor Marta Kwiatkowska.
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.
Official technical announcement and publication from Oxford (AIDC) covering ERC Advanced Grant.
Official technical announcement and publication from Oxford (AIDC) covering IJCAI 2013 distinguished paper award.
15th October 14.00-17.00
Four papers from members of the department have been accepted at POPL 2014.
Official technical announcement and publication from Oxford (AIDC) covering Papers accepted to Natural Language Processing conference.
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
Official technical announcement and publication from Oxford (AIDC) covering Three awards for Oxford projects recieved at The OWL Reasoner Evaluation Workshop.
Congratulations to Thomas Lukasiewicz for winning the prestigious AIJ Prominent Paper Award 2013...
Congratulations to Oana Tifrea-Marciuska for winning a prestigious Google Europe Fellowship in Social Search...
2013 International Computer Assisted Assessment Conference
Official technical announcement and publication from Oxford (AIDC) covering 29th British National Conference on Databases opens in Oxford.
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
Official technical announcement and publication from Oxford (AIDC) covering Best paper award at International Conference on Security and Privacy in Mobile Information and Communication Systems.
Congratulations to William Zeng
Official technical announcement and publication from Oxford (AIDC) covering Papers accepted to Concur 2013.
For paper on modelling predicate calculi using semantic tensors
Official technical announcement and publication from Oxford (AIDC) covering Papers accepted to Computing in Cardiology IEEE Conference.
Oxford's Computational Linguistics group will have a strong presence in some of this summer's top-tier computational linguistics conferences and associated workshops.
Official technical announcement and publication from Oxford (AIDC) covering Group Design Practicals 2013: Winners Announced.
Official technical announcement and publication from Oxford (AIDC) covering Oxford papers accepted to several key computer security and trust conferences.
Two new Centres for Doctoral Training announced today by Minister for Universities and Science, David Willetts.
in QS World University rankings
Official technical announcement and publication from Oxford (AIDC) covering Prime Minister joins Sir Ka-shing Li for launch of £90m initiative in big data and drug discovery at Oxford.
Livia Predoiu joins the department on a Marie Curie Fellowship
11 papers selected for International Joint Conference on Artificial Intelligence
A principal venue for core theoretical computer science papers
Official technical announcement and publication from Oxford (AIDC) covering Papers accepted to IEEE's Logic in Computer Science conference.
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
Official technical announcement and publication from Oxford (AIDC) covering Oxford CompSci Student Conference: winners announced.
Official technical announcement and publication from Oxford (AIDC) covering Doctoral student accepted onto Science Innovation Plus scheme.
One of ten such scholarships for PhD/DPhil students to be granted nationally
Congratulations to Jamie Frost and Rafel Bordas
With a cash prize generously provided by Morgan Stanley
Yavor Nenov honoured by the University of Manchester
Official technical announcement and publication from Oxford (AIDC) covering Three papers accepted to the International Conference on Computational Linguistics.
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
Official technical announcement and publication from Oxford (AIDC) covering Oxford No. 1 in Telegraph’s ‘Top 10 universities for computer science and information systems’ gallery.
Congratulations to Nathan Hale and Alex Wilson
The 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Up one place on last year’s position in the league table
Award granted to Lu Feng by the James S. McDonnell Foundation
Official technical announcement and publication from Oxford (AIDC) covering Ian Horrocks elected to Academia Europaea.
The 23rd International Conference on Concurrency Theory
Official technical announcement and publication from Oxford (AIDC) covering In Memoriam: Captain James Anthony Townley.
Official technical announcement and publication from Oxford (AIDC) covering Nature Scientific Reports publish a paper that uses PRISM to study cell cycle switch as a computing device.
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
Papers authored by Oxford computer scientists were this month given at IEEE conferences in the UK and USA
Samson Abramsky, co-editor of the Royal Society's Philosophical Transactions A special issue on Turing, is interviewed in the accompanying video podcast
The annual student conference will take place on Friday 16th November, 2012 <br/>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
Doctoral student Ciara Dangerfield recognised for Computational Biology research
Two papers co-authored by Standa Zivny accepted to the 18th International Conference on Principles and Practice of Constraint Programming
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.
Papers, authored by Oxford scientists have been accepted to the 38th International Conference on Very Large Databases
6542 articles sourced historically · 100 per page