Congratulations to Blanca's group who will present papers at the IEEE/ EMBC in Buenos Aires and general update on group's activities
On May 27th, the department held its second Industry Liaison activity in conjunction with OeRC, ISIS Innovation and STEM-UeN. It gave industry participants the opportunity to explore the work of the department through a series of talks and demonstrations including innovative security, avatars which showed sentiment and dancing robots.
Dr Joรซl Ouaknine of the Oxford University Computing Laboratory has been named as this yearโs recipient of the Roger Needham Award, by the British Computer Society. Dr Ouaknine received the award in recognition of his research into describing the behaviour and evolution of models of timed systems: which include anything from the control and guidance systems of rockets to engine management and braki
Specifically for girls, this open day is designed to introduce students to Computer Science and how it is studied at university.
Georg Gottlob has been elected a Fellow of the Royal Society for his fundamental contributions to both artificial intelligence and to database systems
On Thursday 27th May, the Computing Laboratory, in conjunction with ISIS Innovation, OeRC and Stem-UEN will be holding their second industry event, in the form of a showcase of Computing Research including talks, demonstrations and posters.
Lead Researcher(s): Professor Bill Roscoe and Professor Anne Trefethen
Dr Joรซl Ouaknine from Oxford University's Computing Laboratory is to receive this year's Roger Needham award, from BCS The Chartered Institute for IT, one of the UK's leading computer science awards.
11th May 2010: Professor O Grumberg (TECHNION, Israel Institute of Technology)
Thanks to a generous gift from Yahoo! to Professor Georg Gottlob, the Computing Laboratory was able to attract top scientist Thomas Lukasiewicz as a Yahoo! Research Fellow and Departmental Lecturer.
The Programme will be holding an open day in Oxford on Saturday 13th March 2010, from 10am until 2pm. Department of Computer Science, University of Oxford
Wadham College, Oxford, 22nd to 26th March 2010 Department of Computer Science, University of Oxford
This collaboration with Harvard is part of the EPSRC Grant EP/G003017/1 Complexity and Decidability in Unconventional Computational Models involving Jake Biamonte, Ed Blakey, Bob Coecke and Joel Ouaknine.
The verification group at the Computing Laboratory will present 7 papers at the conference on tools and algorithms for the construction and analysis of systems (TACAS) this year. TACAS is one of the strongest venues in algorithmic verification. The papers range from software verification to the verification of probabilistic systems. We also congratulate Andrzej Murawski and Nikos Tzevelekos for th
The announcement on 16 December by the board of the UK Payments Council that cheques are to be phased out by 2018 has heightened the need for secure replacement payment systems. New security technology developed at the University of Oxford by Professor Bill Roscoe and his team that allows people to make payments via mobile phones, offers a solution. The technology is designed to work in almost all
Two e-research specialists have been appointed by the Economic and Social Research Council as part of a programme to maximise the use of e-technologies by social scientists. David De Roure, professor of computer science at the University of Southampton, takes on the position of national strategic director of e-social science. Marina Jirotka, reader in requirements engineering at the University of
Congratulations to Marta Kwiatkowska and Georg Gottlob on the award of European Research Council (ERC) Advanced Investigators Grants totalling approximately 4.4M euro over 5 years. Department of Computer Science, University of Oxford
New step for the future Web. A new research infrastructure focused in the evaluation of semantic technologies will be developed inside the SEALS (Semantic Evaluation At Large Scale) project, with European funding. This infrastructure, developed jointly by the UPM's School of Computing and other nine European univer
Daniel Kroening is one of the speakers at the TECS Week: TCS Excellence in Computer Science Conference at the Tata Research Development and Design Centre in Pune, India in early January 2010.
Stephen Pulman, Professor of Computational Linguistics at Oxford University Computing Laboratory, discussed the potential use of computers for marking essays on Radio 4's PM programme on Friday 12th November. Click here to listen to the recording (c. 0.38.00 on the iPlayer clock). Department of Computer Science, University of Oxford
Professor Jim Davies, Programme Co-Chair of the Third International Conference on the Theory and Practice of Electronic Governance , shared the platform at the opening session with President Álvaro Uribe Vélez, the Colombian Head of State. President Uribe gave an
According to a recent ranking, Oxford is the top place in Europe for Computer Science (ETH second, Cambridge third). Click here to see the Academic Ranking of World Universities in Computer Science 2009 online. Department of Computer Science, University of Oxford
The OWL 2 Language, which Ian Horrocks helped to develop, became a W3C Recommendation on Tuesday 27th October 2009. Click here to read the press release online. The Oxford main website also features a press release: 'Wiser OWL learns to unravel doctor talk' . Department of Comp
During the summer, Tom Gibson-Robinson carried out a project to implement a number of enhancements to Casper. The project was funded under the EPSRC Vacation Bursary scheme , and supervised by Gavin Lowe. Department of Computer Science, University
The Oxford main website features a new section on 'Research at Oxford', and the Comlab is represented on the MPLS index page, with a short video clip from Computational Biology , as well as in the MPLS People section with a profile of
Peter Jeavons was on the international judging panel for the Boyle Medal, awarded by the Royal Dublin Society last week. Click here to read the article online. Department of Computer Science, University of Oxford
Michael Benedikt has been awarded an EPSRC grant entitled "Query-driven Data Acquisition from Web-based Data Sources". This project funds one RA and one DPhil student for 3.5 years, in addition to salary costs, travel, equipment, etc. Department of Computer Science, University of Oxford
An article about Karo Moilanen's DPhil work appeared in the most recent issue of The Economist. Click here to read the article online. Department of Computer Science, University of Oxford
James Worrell has been awarded an EPSRC grant entitled Extensions of the Church Synthesis Problem. The duration of this grant is 9 months, and as well as supporting the PI it will help support the ongoing sabbatical visit of Professor Alexander Rabinovich of Tel Aviv University to Oxford. Department of Computer Science, University of Oxford
Daniel Kroening as PI and Joel Ouaknine as Co-I have successfully obtained funding from the EPSRC for the project "Verification of Shared-Memory Concurrent Software". This project funds one RA and two DPhil students for 3.5 years, in addition to salary costs, travel, equipment, etc. Department of Computer Science, University of Oxford
Ralf Hinze has been awarded the Peter Landin prize 2009 for his paper Scans and Convolutions: A Calculational Proof of Moessner's Theorem Department of Computer Science, University of Oxford
The Computing Laboratory will be holding an Open Day on Friday 18th September from 11.00 a.m. to 3.00 p.m. Department of Computer Science, University of Oxford
Professor Simon Peyton-Jones, Microsoft Research Cambridge, is giving the Strachey Lecture 'Classes, Jim, but not as we know them' on Tuesday 27th October 2009 at 16:30 in Lecture Theatre B Department of Computer Science, University of Oxford
The article 'The body in question' about innovative projects at the University of Oxford Computing Laboratory, appeared in The IET Magazine in May 2009 Department of Computer Science, University of Oxford
We wish Radu Calinescu, Gethin Norman, Karen Petrie and Bruno Oliveira the best of luck as they take up lectureships elsewhere. Department of Computer Science, University of Oxford
Dr Rada Mihalcea, who is a Research Associate in the Computational Linguistics Group, a DPhil student in the Faculty of Linguistics under the supervision of Prof Stephen Pulman, and an Associate Professor at the University of North Texas, has been awarded a US Presidential Early Career Award for Engineers and Scientists, a highly prestigious award which will be presented at the White House later t
Congratulations to Pete Jeavons, Endre Suli, Quentin Miller, Dan Olteanu, and David Parker who have all been given a departmental teaching award in recognition of their outstanding contributions. Congratulations also to Nick Trefethen, who has been given a Divisional award for his innovative teaching across several departments in MPLS. Department of Computer Science, University of Oxford
The conference is to be held at the Computing Laboratory on Monday 13th and Tuesday 14th July 2009. Program Chair: Niki Trigoni. Publicity Chair: Andrew Markham. For more details visit http://www.cs.ox.ac.uk/geosensornetworks/index.html Department of Computer Science, University of Oxford
The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences. Department of Computer Science, University of Oxford
Last week teams from OUCL competed in the world robotic championships in Graz, Austria, and came away with their first medal despite strong competition from teams across the world. Department of Computer Science, University of Oxford
Joel Ouaknine (Verification) has been awarded an EPSRC Leadership Fellowship 2009. Department of Computer Science, University of Oxford
Ian Horrocks has been elected an ECCAI Fellow by the ECCAI board, one of seven fellows elected in 2009. The fellows certificate will be presented to him during ACAI-09 in Belfast in August. Department of Computer Science, University of Oxford
Joel Quaknine, along with co-investigators James Worrell and Andrzej Murawski, has been awarded an EPSRC grant titled "Automated Verification of Probabilistic Programs" with an awarded value of ๏ฟฝ292,618 (FEC cost equivalent of ๏ฟฝ358,730) (EP/G069158/1 ). The grant was ranked first (out of the 56 considered) of what was felt to be a very high quality p
An opportunity to meet Tutors, Staff and current Undergraduates Department of Computer Science, University of Oxford
Monday 24 - Wednesday 26 August, 2009 Oxford University Computing Laboratory Department of Computer Science, University of Oxford
Stuart Golodetz, Irina Voiculescu and Stephen Cameron's paper "Progress on a Decision-Support System for Abdominal CT Scans" was selected for a Best Paper Award in the area of Telemedicine and e-Health at the HSI 2009 Conference. Department of Computer Science, University of Oxford
The Computing Laboratory featured in a recent series on ICT Research & Development in UK universities, published in E&T. Department of Computer Science, University of Oxford
Georg Gottlob, Stephanie Lee and Gregory Valiant's paper "Size and Treewidth Bounds for Conjunctive Queries" has been selected for the Best Paper Award at the 2009 ACM SIGMOD/PODS Conference Department of Computer Science, University of Oxford
Bernardo Cuenca Grau has been awarded a prestigious Royal Society University Research Fellowship in order to pursue his research on privacy in ontology-based information systems. Department of Computer Science, University of Oxford
Yevgeny Kazakov's paper "Consequence-Driven Reasoning for Deterministic SHIQ Ontologies" has been selected as one of two IJCAI-09 Distinguished Papers. Department of Computer Science, University of Oxford
Oxford University Computing Laboratory is holding a school teachers' day with the help of the Mathematical Association. The day will be a chance for teachers to find out more about the Computer Science and Maths courses at Oxford and there will be an opportunity to talk to Maths and Computer Science tutors Department of Computer Science, University of Oxford
Oxford Computer Science came out top in the Guardian University Guide published on 12 May. Department of Computer Science, University of Oxford
Congratulations to the Computing Laboratory Dragon Boat team 'The Floating Points' who competed in the annual Dragon Boat Race today and came a respectable 12th! Department of Computer Science, University of Oxford
An opportunity to meet Tutors, Staff and current Undergraduates Department of Computer Science, University of Oxford
Oxford Computer Science is ranked second in the Complete University Guide 2010 published by The Independent newspaper.
Registration is open for the IFIP TC2 Working Conference on Domain-Specific Languages
Matteo Turilli, a DPhil student in Software Engineering, has won Brian Michael Goldberg Memorial Award 2009.
Daniel Bundala, Frantisek Simancik and Jakub Zavodny form Oxford University have won a silver medal at the 2009 ACM International Collegiate Programming Contest (ICPC) in Stockholm.
The most recent awards come from four different sources, showing increasing diversification. Among them, two large FP7 collaborations, FOX and CONNECT-IP.
In the latest edition of ISIS News, the Spring 2009 newsletter from ISIS Innovation Ltd., the Comlab's Director Prof. Steven Pulman, talks about the latest research and its application.
Two successful applicants will come to OUCL for their PDRF.
OUCL has achieved excellent results in the 2008 Research Assessment Exercise, with 80% of its research being judged either 4* `world leading' or 3* `internationally excellent'. By the research power measure, OUCL ranks third in the UK Computer Science tables. Department of Computer Science, University of Oxford
Jim Davies and team win Best Paper award for "Metadata Standards for Semantic Interoperability in Electronic Government" at International Conference on Theory and Practice of Electronic Government, Cairo, December 2008
This year's Royal Institution Christmas Lectures, to be televised on Five at 7.15pm between 29 December 2008 and 2 January 2009, are given by Christopher Bishop who will also present the next Strachey Lecture in Computer Science in Hilary term 2009, on 10 February 2009, in the Computing Laboratory. Department of Computer Science, University of Oxford
Alongside an extension for the two existing DTCs, Oxford University has won funding for two new centres to train the next generation of scientists and engineers, the Engineering and Physical Sciences Research Council (EPSRC) has announced. Department of Computer Science, University of Oxford
Stuart Golodetz, Irina Voiculescu and Stephen Cameron win the best workshop paper award at CSTST '08
Compiled and edited by Marta Kwiatkowska, Tom Rodden and Vladimiro Sassone. Published October 2008
The Guardian newspaper has ranked Oxford top for undergraduate teaching in Computer Science in its latest University Guide. Department of Computer Science, University of Oxford
Wednesday 25th June & Thursday 26th June 2008 Department of Computer Science, University of Oxford
We are delighted to announce the release of Version 2 of the chebfun system, whose aim is computation "with the feel of symbolics and the speed of numerics". Department of Computer Science, University of Oxford
Tuesday 12 February at 4.30pm in the Lecture Theatre A - distinguished speaker from OII Department of Computer Science, University of Oxford
9682 articles sourced historically ยท 100 per page