Oxford papers accepted to the 39th International Colloquium on Automata, Languages and Programming
Computer Science researcher runs computing course for primary school kids
Four papers accepted to LICS 2012
It was announced today (2 April 2012) by GCHQ, one of the three UK intelligence agencies, that Oxford University has been recognised as an Academic Centre of Excellence in Cyber Security Research. The award recognises the University’s long track record of excellence in this area of research and aims to ensure that work done at Oxford helps to protect the UK from cyber attack as well as opening up
Wikidata will provide a new collaboratively edited database of the world's knowledge. The team developers will include Oxford's Markus Krötzsch
Today, 2nd April 2012, is the fiftieth birthday of IFIP Working Group 2.1 on Algorithmic Languages and Calculi.
Oxford University announces new Cyber Security Centre
Two computer scientists named in the Oxford-Cambridge Boat Race team
Ana Minchole has been awarded a Marie Curie Intra-European fellowship for the next 2 years
Professor Marta Kwiatkowska will be giving the 2012 Milner Lecture at the University of Edinburgh.
The Department's DPhil student Sara Dutta won the Best Poster Award at the Cardiovascular Technology Network meeting at Imperial College in February 2012.
Undergraduate students and faculty members from the School of Computer and Communication Sciences at EPFL (Ecole Polytechnique de Lausanne, Switzerland) visit Oxford
Featured on the cover of the PLOS Biology journal.
Andrew Ker will be leading a session entitled 'Hiding in plain site?' on April 23rd
Livia Predoiu has been awarded a prestigious 2-years Marie Curie Intra-European Fellowship to carry out research on probabilistic data and information integration
The new company, TheySay, has received first-round investment of up to £500,000 from IP Group plc, and receives coverage on Radio 4's Today Programme
A collaborative project between physicists, oncologists and computer scientists at Oxford and Cambridge Universities, launched last month, will develop improved tools for the planning of high precision radiotherapy. Accel-RT will also help overcome time constraints that currently limit the use of complex radiotherapy treatment
Free event for Lower Sixth students interested in the Oxford undergraduate course. Thursday 15th March 2012
Attend a range of short taster sessions on subjects including: Earth Sciences, Materials Science, Economics, Chemistry, Computer Science, Maths and Statistics: all subjects that list Further Maths as either a 'highly desirable' or 'helpful' A Level for Oxford applicants to have. 19th April 2012
The second dedicated ‘Careers in Computing’ event will take place on Monday 30th January, giving companies offering graduate employment opportunities the chance to talk directly with Oxford students
The Programme will be holding an information day in Oxford on Saturday 17th March from 10.30 until 14.00.
Chaste (Cancer, Heart and Soft Tissue Environment) is a general purpose simulation package aimed at multi-scale, computationally demanding problems arising in biology and physiology
Taster day for Year 11-12 girls at UK schools on Wednesday 21st March 2012
Free residential, open to Year 12 UK state school students
Two papers, co-authored by Oxford Computer Scientists have been accepted to the 22nd European Symposium on Programming
Two papers co-authored by Oxford Computer Scientists have been accepted to the Tools and Algorithms for the Construction and Analysis of Systems conference
To be given by Stephan Murer, Chief Architect at Credit Suisse and Visiting Professor of Software Engineering at Oxford
Members of the Computer Science Department have been awarded funding by EPSRC (Engineering and Physical Sciences Research Council) for the `New Foundational Structures for Engineering Verified Multi-Unmanned Aerial Vehicles` project
Daniel Kroening and Tom Melham to give public seminar on ‘Über Chips and Super Software’ as part of the Oxford at Said series on 6 February in Oxford
'Inspired Research' is the the twice-yearly publication showcases the research that is being undertaken at the Department of Computer Science
Oxford’s Daniel Kroening has been recognised with the 2011 Haifa Verification Conference award for work on CBMC, a bounded model-checker for C programs. The HVC award recognizes the most promising academic and industrial contribution to the fields of testing and software and hardware verification from the last five years.
Computer scientists from Oxford have co-authored a series of papers that have been accepted to FoSSaCS 2012 – the international conference on the foundations of software
David Cameron has presented an award to the Oxford winners of the Silicon Valley Comes to the UK challenge (SVC2UK): a competition that sees university students using government data to hack together innovative apps for the public good.
Friday 13th January 2012 Department of Computer Science, University of Oxford
Marina Jirotka has been invited by the National University of Singapore to be a member of a Visiting Committee of international experts to carry out an assessment of the Master of Technology degree programme.
The University has announced a 1+1 MBA programme: a new initiative that will allow students to pair Oxford University's one-year full-time MBA course with one of a selection of one-year MSc programmes offered by other University departments, including Computer Science.
The paper 'Expressive probabilistic description logics', by Thomas Lukasiewicz, is currently one of the top 10 cited articles (published in the last five years) in the journal Artificial Intelligence.
The Student Conference will be held on Friday 18th November, 2011
Wednesday November 16, 2011 at 2.00 p.m. Room 380. Stephan Murer, Chief Architect at Credit Suisse Visiting Professor of Software Engineering
On Thursday 8th December at 4:30 p.m.
The Karlsruhe Institute of Technology has awarded a KIT-Doktorandenpreis to Markus Krötzsch, now a post-doctoral researcher at Oxford
Tuesday, December 6, 2011 from 9:15am to 4:00pm. Oxford University and the Computing at Schools group are joining forces to offer a one-day taster course that will give year 10&11 students a fantastic insight into the fascinating and highly innovative world of Computer Science.
Year 9 students from schools across Oxfordshire and the surrounding counties are invited to attend a series of science lectures at the Oxford University Museum of National History.
A new project has been instigated by researchers at the e-Research Centre to provide guidance on how organisations can best manage the ethical dilemmas that come with changes that novel technologies and innovation may surface.
Information Security as a Resource: Thursday 13 – Saturday 15 October, 2011
Video of the first OxfordRobotGames launched
Their work is featured in a new Research Connections film from Microsoft
Oxford signs up for bada Student Developer Challenge
Congratulations to Bill Roscoe and Marta Kwiatkowska on joining this eminent organization for European scholars
Four doctoral students have won first prize in the programming contest at the International Conference on Functional Programming.
The Programme will be holding an information day in Oxford on Saturday 12th November 2011 from 10.30 until 14.00.
The Call for Papers for Oxford's annual Department of Computer Science Student Conference announced
Daniel Kroening has been awarded a European Research Council Starting Grant totaling approximately 1.4M euro over 5 years.
Dr Stephen Cameron, Reading in Computing Science, will be giving a lecture entitled “Why Robots Play Football” as part of this year’s Alumni Weekend.
'The complexity of conservative valued CSPs' has been co-written by Oxford's Standa Živný
The film profiles the Virtual Physiological Human Network of Excellence, and features Oxford’s contribution via the PreDict project.
'Static Livelock Analysis in CSP' written by Joel Ouaknine, Hristina Palikareva, Bill Roscoe and James Worrell has achieved Best Paper award at CONCUR 2011
Markus Krötzsch has been chosen as one of two Programme Committee Chairs for the 6th International Conference on Web Reasoning and Rule Systems.
The programme for the open day on Friday 16th September, for prospective undergraduate Computer Science students, is now available
Wanted: talented 13-15 year-olds to build a robot and pitch it against Oxford University machines
Sixth Form student Andrew Scull joins us for four weeks to contribute to the Department’s work on automated techniques for formal software verification
Standa Živný’s DPhil thesis 'The Complexity and Expressive Power of Valued Constraints', has been awarded the 2011 ACP Doctoral Research Award.
DPhil student Sophie Kershaw has recently been awarded a Google Scholarship for Students with Disabilities, as one of only ten recipients across Europe in 2011-12.
Congratulations to six members of the Department of Computer Science, who have become professors under the Recognition of Distinction scheme.
This week the Department is playing host to 20 young people participating in the UNIQ Computer Science summer school. The UNIQ Summer Schools provide an opportunity for academically gifted students, who have a passion for learning, to discover what it is like to be an undergraduate at the University of Oxford.
Fujitsu researchers using PRISM win Best Paper Award at the IEEE International Conference on Cloud Computing (CLOUD 2011) in Washington.
Congratulations to Mehrnoosh Sadrzadeh has been awarded a 5 year EPSRC Career Acceleration Fellowship
Professor of Computing Science Georg Gottlob won The Best Research Paper Award at the 17th International Conference on Principles and Practice of Constraint Programming for his work on minimal constraint networks.
The winners of the inaugural “Group Design Practical” prizes have been announced. The IBM prize was awarded to Team Six for their Smart Phone application and the Ocado prize was awarded to Team One for their “Tower Tunes” Microsoft Surface project. Both teams received a cheque for £400.
The inaugural workshop on cell-based modelling within Chaste - an open-source multi-scale framework for the computation modelling of biological systems - will be held in Oxford on 4-6 January 2012
A team from Oxford University's Department of Computer Science have been competing at RoboCup in Istanbul - the `world cup’ of robot football. For the first time this year Oxford brought real robots to the competitions - and scored the first goal in their opening match.
Head of Department Bill Roscoe has been newly elected as a Royal Academy of Engineering Fellow.
Three members of the System Security group have all passed (or as it’s technically known, “been granted leave to supplicate for”) their DPhils – the Oxford equivalent to a PhD – at the same time.
Markus Krötzsch, a postdoctoral researcher in the Information Systems Group, has been appointed Co-chair of the 'Reasoning Track' for the 2012 Extended Semantic Web Conference one of the top international conferences in this area.
The programme for the Open Days on Wednesday 6th and Thursday 7th July 2011 for prospective undergraduate Computer Science students is now available.
'Quantum Nanoscience: Fundamental Physics, Emerging Structures, and Implications for our Ultimate Reality' has started.
Congratulations to the Department's Andrew Markham whose badger-monitoring research is today featured on the technology pages of the BBC website.
This inaugural workshop will give an overview of the 2020 Science research programme as well as outlining a number of individual research projects within the programme and the problems they present.
The second edition of the Department's newsletter is availble to download.
Final-year DPhil student Aadya Shukla won the Best Poster Award at the recent Cybersecurity Summit in London.
A guest column entitled ‘The Next Big Challenge in Data Management: Probabilistic Databases’ by Robert Fink and Dan Olteanu is being featured in the 10th anniversary edition (June 2011) of the Digit Magazine.
A new book entitled 'Probabilistic Databases' has been recently published by Dan Olteanu.
Six members of Oxford’s Department of Computer Science have had four papers accepted to the 16th ACM SIGPLAN International Conference on Functional Programming, in Tokyo, Japan in September 2011.
Experimental evidence by Edward Grefenstette and Mehrnoosh Sadrzadeh for the quantum-inspired categorical model for sentence meaning has been accepted for the leading Empirical Methods in Natural Language Processing (EMNLP11) conference.
Four papers, co-authored by Oxford computer scientists will be given at CONCUR 2011 - the 22nd International Conference on Concurrency Theory - during September, in Aachen, Germany.
Professor of Computer Science Gavin Lowe will be giving the keynote address at Communicating Process Architectures 2011.
Oxford researchers have been awarded a Microsoft Research PhD Scholarship to fund new research into automated verification techniques for DNA computing.
Ian Horrocks, a Professor at Oxford's Department of Computer Science, has been newly elected as a Royal Society Fellow.
Muzammil Hussain has been awarded a Santander Travel Award.
Andrew Markham has recently been awarded an Engineering and Physical Sciences Research Council (EPSRC) cross-disciplinary fellowship to undertake research into tracking and monitoring badgers in their underground burrows.
A paper entitled ‘S-Match: an Algorithm and an Implementation of Semantic Matching’ co-authored by the Department’s Mikalai Yatskevich has been awarded the first ever ESWC: 7-Year Award
Netcraft will be visiting the Department on Wednesday 18th May 2011 for a recruitment event followed by a networking buffet.
On 1 June 2011 The Oxford University Computing Laboratory will be changing its name to the Department of Computer Science, University of Oxford.
The Programme will be holding an information day in Oxford on Saturday 2nd July 2011 from 10.30 until 14.00.
Version 2.2 of Chaste – the Cancer Heart And Soft Tissue Environment – has been released
Stephen Cameron and three of his students have recently returned from RoboCup competitions in Germany and Iran, clutching a trophy.
9437 articles sourced historically · 100 per page