Papers, authored by Oxford scientists have been accepted to the 38th International Conference on Very Large Databases
Oxford's Department of Computer Science will host the 19th International SPIN Workshop on Model Checking of Software (SPIN 2012) from 23-24 July 2012.
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
Oxford papers accepted to the 39th International Colloquium on Automata, Languages and Programming
Four papers accepted to LICS 2012
Computer Science researcher runs computing course for primary school kids
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
Today, 2nd April 2012, is the fiftieth birthday of IFIP Working Group 2.1 on Algorithmic Languages and Calculi.
Wikidata will provide a new collaboratively edited database of the world's knowledge. The team developers will include Oxford's Markus Krötzsch
Oxford University announces new Cyber Security Centre
Two computer scientists named in the Oxford-Cambridge Boat Race team
Professor Marta Kwiatkowska will be giving the 2012 Milner Lecture at the University of Edinburgh.
Ana Minchole has been awarded a Marie Curie Intra-European fellowship for the next 2 years
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
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
Livia Predoiu has been awarded a prestigious 2-years Marie Curie Intra-European Fellowship to carry out research on probabilistic data and information integration
Official technical announcement and publication from Oxford (AIDC) covering Ib Sorensen – In memoriam.
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.
Taster day for Year 11-12 girls at UK schools on Wednesday 21st March 2012
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
Two papers co-authored by Oxford Computer Scientists have been accepted to the Tools and Algorithms for the Construction and Analysis of Systems conference
Two papers, co-authored by Oxford Computer Scientists have been accepted to the 22nd European Symposium on Programming
Free residential, open to Year 12 UK state school students
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
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
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.
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 <br/>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.
There will be a graduate open day on 16th November, 2011
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.
Video of the first OxfordRobotGames launched
Information Security as a Resource: Thursday 13 – Saturday 15 October, 2011
Their work is featured in a new Research Connections film from Microsoft
Oxford signs up for bada Student Developer Challenge
Four doctoral students have won first prize in the programming contest at the International Conference on Functional Programming.
Congratulations to Bill Roscoe and Marta Kwiatkowska on joining this eminent organization for European scholars
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
The programme for the open day on Friday 16th September, for prospective undergraduate Computer Science students, is now available
Markus Krötzsch has been chosen as one of two Programme Committee Chairs for the 6th International Conference on Web Reasoning and Rule Systems.
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.
Oxford computer scientists receive $80,000 Google Research Award to carry out initial research on probabilistic semantic query answering on the Web.
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.
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.
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.
Open Days for prospective undergraduates will be held in July and September
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.
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.
Muzammil Hussain has been awarded a Santander Travel Award.
Netcraft will be visiting the Department on Wednesday 18th May 2011 for a recruitment event followed by a networking buffet.
6542 articles sourced historically · 100 per page