http://www.cs.ox.ac.uk/news/ Publications en-gb 360 Thu, 05 Mar 2026 12:33:29 GMT Thu, 05 Mar 2026 12:33:29 GMT Publications http://blogs.law.harvard.edu/tech/rss/ http://www.cs.ox.ac.uk/news/2269-full.html Some freely available tools to detect threats to mobile device users from fake mobile phone towers, also called stingrays and International Mobile Subscriber Identity (IMSI) catchers, have been shown to have major shortcomings in a recently presented paper Department of Computer Science, University of Oxford News Publications oucl-Publications-2269 Fri, 11 Aug 2017 11:00:00 GMT end=2037-08-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/2266-full.html A clearer understanding of badgers' territorial habits give vital clues to the likely effectiveness of badger culls Department of Computer Science, University of Oxford News Publications oucl-Publications-2266 Thu, 07 Dec 2017 12:00:00 GMT end=2037-12-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/2265-full.html Professor Marina Jirotka and Senior Researcher Helena Webb consider what can be done by government and social media platforms to tackle the problem of fake news Department of Computer Science, University of Oxford News Publications oucl-Publications-2265 Thu, 07 Dec 2017 12:00:00 GMT end=2037-12-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/1723-full.html Department of Computer Science, University of Oxford News Publications oucl-Publications-1723 Mon, 19 Aug 2019 11:00:00 GMT end=2039-08-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/1496-full.html Department of Computer Science, University of Oxford News Publications oucl-Publications-1496 Tue, 03 Apr 2018 11:00:00 GMT end=2038-04-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/1493-full.html Department of Computer Science, University of Oxford News Publications oucl-Publications-1493 Tue, 03 Apr 2018 11:00:00 GMT end=2038-04-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/1421-full.html Department of Computer Science, University of Oxford News Publications oucl-Publications-1421 Tue, 21 Nov 2017 12:00:00 GMT end=2037-11-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/1366-full.html Department of Computer Science, University of Oxford News Publications oucl-Publications-1366 Tue, 29 Aug 2017 11:00:00 GMT end=2037-08-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/1221-full.html Department of Computer Science, University of Oxford News Publications oucl-Publications-1221 Mon, 21 Nov 2016 12:00:00 GMT end=2036-11-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/1148-full.html Department of Computer Science, University of Oxford News Publications oucl-Publications-1148 Fri, 01 Jul 2016 11:00:00 GMT end=2036-07-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/1103-full.html Department of Computer Science, University of Oxford News Publications oucl-Publications-1103 Tue, 12 Apr 2016 11:00:00 GMT end=2036-04-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/1102-full.html Department of Computer Science, University of Oxford News Publications oucl-Publications-1102 Tue, 12 Apr 2016 11:00:00 GMT end=2036-04-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/1049-full.html Six papers by members of the department have been accepted at TACAS 2016. <br/>Department of Computer Science, University of Oxford Department of Computer Science, University of Oxford News Publications oucl-Publications-1049 Sun, 20 Dec 2015 12:00:00 GMT end=2035-12-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/1000-full.html Department of Computer Science, University of Oxford News Publications oucl-Publications-1000 Thu, 15 Oct 2015 11:00:00 GMT end=2035-10-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/1091-full.html Department of Computer Science, University of Oxford News Publications oucl-Publications-1091 Mon, 21 Mar 2016 12:00:00 GMT end=2036-03-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/945-full.html Department of Computer Science, University of Oxford News Publications oucl-Publications-945 Tue, 23 Jun 2015 11:00:00 GMT end=2035-06-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/934-full.html Department of Computer Science, University of Oxford News Publications oucl-Publications-934 Wed, 03 Jun 2015 11:00:00 GMT end=2035-06-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/920-full.html The Twenty Fourth International Joint Conference on Artificial Intelligence Department of Computer Science, University of Oxford News Publications oucl-Publications-920 Tue, 28 Apr 2015 11:00:00 GMT end=2035-04-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/906-full.html Eight Oxford papers have been accepted to the 13th Annual ACM/IEEE Symposium on Logic in Computer Science Department of Computer Science, University of Oxford News Publications oucl-Publications-906 Tue, 14 Apr 2015 11:00:00 GMT end=2035-04-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/936-full.html Department of Computer Science, University of Oxford News Publications oucl-Publications-936 Wed, 10 Jun 2015 11:00:00 GMT end=2035-06-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/860-full.html Department of Computer Science, University of Oxford News Publications oucl-Publications-860 Wed, 31 Dec 2014 12:00:00 GMT end=2034-12-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/859-full.html Paper accepted to 2015 Network and Distributed System Security Symposium (NDSS) Department of Computer Science, University of Oxford News Publications oucl-Publications-859 Mon, 01 Dec 2014 12:00:00 GMT end=2034-12-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/852-full.html The 29th AAAI Conference on Artificial Intelligence Department of Computer Science, University of Oxford News Publications oucl-Publications-852 Tue, 11 Nov 2014 12:00:00 GMT end=2034-11-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/839-full.html Department of Computer Science, University of Oxford News Publications oucl-Publications-839 Fri, 03 Oct 2014 11:00:00 GMT end=2034-10-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/827-full.html Oxford security research successful at ACM CCS 2014 and ACM WiSec 2014 Department of Computer Science, University of Oxford News Publications oucl-Publications-827 Wed, 10 Sep 2014 11:00:00 GMT end=2034-09-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/809-full.html Department of Computer Science, University of Oxford News Publications oucl-Publications-809 Mon, 30 Jun 2014 11:00:00 GMT end=2034-06-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/807-full.html Compositional Morphology for Word Representations and Language Modelling Department of Computer Science, University of Oxford News Publications oucl-Publications-807 Fri, 27 Jun 2014 11:00:00 GMT end=2034-06-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/805-full.html Department of Computer Science, University of Oxford News Publications oucl-Publications-805 Tue, 17 Jun 2014 11:00:00 GMT end=2034-06-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/803-full.html The 35th annual ACM SIGPLAN conference on Programming Language Design and Implementation. Department of Computer Science, University of Oxford News Publications oucl-Publications-803 Thu, 12 Jun 2014 11:00:00 GMT end=2034-06-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/802-full.html The 39th International Symposium on Mathematical Foundations of Computer Science Department of Computer Science, University of Oxford News Publications oucl-Publications-802 Thu, 12 Jun 2014 11:00:00 GMT end=2034-06-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/800-full.html Department of Computer Science, University of Oxford News Publications oucl-Publications-800 Thu, 05 Jun 2014 11:00:00 GMT end=2034-06-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/787-full.html Association for the Advancement of Artificial Intelligence's 28th annual conference Department of Computer Science, University of Oxford News Publications oucl-Publications-787 Wed, 23 Apr 2014 11:00:00 GMT end=2034-04-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/786-full.html ICML is the leading international machine learning conference. Department of Computer Science, University of Oxford News Publications oucl-Publications-786 Tue, 22 Apr 2014 11:00:00 GMT end=2034-04-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/779-full.html The 23rd EACSL Annual Conference on Computer Science Logic & the 29th Annual ACM/IEEE Symposium on Logic in Computer Science Department of Computer Science, University of Oxford News Publications oucl-Publications-779 Tue, 01 Apr 2014 11:00:00 GMT end=2034-04-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/776-full.html Department of Computer Science, University of Oxford News Publications oucl-Publications-776 Thu, 20 Mar 2014 12:00:00 GMT end=2034-03-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/771-full.html The Network and Distributed System Security Symposium Department of Computer Science, University of Oxford News Publications oucl-Publications-771 Fri, 07 Mar 2014 12:00:00 GMT end=2034-03-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/770-full.html Department of Computer Science, University of Oxford News Publications oucl-Publications-770 Fri, 07 Mar 2014 12:00:00 GMT end=2034-03-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/768-full.html Four papers and a tutorial accepted to ACL2014. <br/>Department of Computer Science, University of Oxford Department of Computer Science, University of Oxford News Publications oucl-Publications-768 Thu, 06 Mar 2014 12:00:00 GMT end=2034-03-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/757-full.html The ACM CHI Conference on Human Factors in Computing Systems Department of Computer Science, University of Oxford News Publications oucl-Publications-757 Mon, 24 Feb 2014 12:00:00 GMT end=2034-02-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/753-full.html The Institute of Electrical and Electronics Engineers' Security and Privacy Conference and The Network and Distributed System Security Symposium Department of Computer Science, University of Oxford News Publications oucl-Publications-753 Fri, 07 Feb 2014 12:00:00 GMT end=2034-02-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/743-full.html The 13th ACM/IEEE International Conference on Information Processing in Sensor Networks Department of Computer Science, University of Oxford News Publications oucl-Publications-743 Thu, 23 Jan 2014 12:00:00 GMT end=2034-01-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/737-full.html The 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems Department of Computer Science, University of Oxford News Publications oucl-Publications-737 Thu, 09 Jan 2014 12:00:00 GMT end=2034-01-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/736-full.html 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 Department of Computer Science, University of Oxford News Publications oucl-Publications-736 Wed, 08 Jan 2014 12:00:00 GMT end=2034-01-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/752-full.html The 35 annual conference on Programming Language Design and Implementation Department of Computer Science, University of Oxford News Publications oucl-Publications-752 Wed, 05 Feb 2014 12:00:00 GMT end=2034-02-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/746-full.html The Fourteenth International Conference on Principles of Knowledge Representation and Reasoning Department of Computer Science, University of Oxford News Publications oucl-Publications-746 Thu, 30 Jan 2014 12:00:00 GMT end=2034-01-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/695-full.html Four papers from members of the department have been accepted at POPL 2014. Department of Computer Science, University of Oxford News Publications oucl-Publications-695 Tue, 01 Oct 2013 11:00:00 GMT end=2033-10-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/685-full.html Department of Computer Science, University of Oxford News Publications oucl-Publications-685 Wed, 18 Sep 2013 11:00:00 GMT end=2033-09-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/674-full.html And the Institute of Electrical and Electronics Engineer's (IEEE) Vis Department of Computer Science, University of Oxford News Publications oucl-Publications-674 Wed, 31 Jul 2013 11:00:00 GMT end=2033-07-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/659-full.html Department of Computer Science, University of Oxford News Publications oucl-Publications-659 Fri, 05 Jul 2013 11:00:00 GMT end=2033-07-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/652-full.html Department of Computer Science, University of Oxford News Publications oucl-Publications-652 Fri, 07 Jun 2013 11:00:00 GMT end=2033-06-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/649-full.html Oxford's Computational Linguistics group will have a strong presence in some of this summer's top-tier computational linguistics conferences and associated workshops. Department of Computer Science, University of Oxford News Publications oucl-Publications-649 Wed, 29 May 2013 11:00:00 GMT end=2033-05-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/633-full.html 11 papers selected for International Joint Conference on Artificial Intelligence Department of Computer Science, University of Oxford News Publications oucl-Publications-633 Wed, 17 Apr 2013 11:00:00 GMT end=2033-04-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/632-full.html A principal venue for core theoretical computer science papers Department of Computer Science, University of Oxford News Publications oucl-Publications-632 Wed, 17 Apr 2013 11:00:00 GMT end=2033-04-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/631-full.html Department of Computer Science, University of Oxford News Publications oucl-Publications-631 Wed, 17 Apr 2013 11:00:00 GMT end=2033-04-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/585-full.html Doctoral student's work on ontology-based classification of molecules honoured Department of Computer Science, University of Oxford News Publications oucl-Publications-585 Thu, 13 Dec 2012 12:00:00 GMT end=2032-12-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/579-full.html Four papers accepted to the 16th International Conference on Database Theory Department of Computer Science, University of Oxford News Publications oucl-Publications-579 Thu, 29 Nov 2012 12:00:00 GMT end=2032-11-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/564-full.html Department of Computer Science, University of Oxford News Publications oucl-Publications-564 Fri, 02 Nov 2012 12:00:00 GMT end=2032-11-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/551-full.html The 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages Department of Computer Science, University of Oxford News Publications oucl-Publications-551 Tue, 02 Oct 2012 11:00:00 GMT end=2032-10-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/540-full.html Department of Computer Science, University of Oxford News Publications oucl-Publications-540 Sat, 15 Sep 2012 11:00:00 GMT end=2032-09-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/526-full.html And the Institute of Electrical and Electronics Engineer's VisWeek Department of Computer Science, University of Oxford News Publications oucl-Publications-526 Mon, 06 Aug 2012 11:00:00 GMT end=2032-08-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/509-full.html Samson Abramsky, co-editor of the Royal Society's Philosophical Transactions A special issue on Turing, is interviewed in the accompanying video podcast Department of Computer Science, University of Oxford News Publications oucl-Publications-509 Mon, 02 Jul 2012 11:00:00 GMT end=2032-07-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/507-full.html Papers authored by Oxford computer scientists were this month given at IEEE conferences in the UK and USA Department of Computer Science, University of Oxford News Publications oucl-Publications-507 Mon, 02 Jul 2012 11:00:00 GMT end=2032-07-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/504-full.html Paper co-authored by an Oxford computer scientist accepted to the 53rd Annual IEEE Symposium on Foundations of Computer Science Department of Computer Science, University of Oxford News Publications oucl-Publications-504 Mon, 25 Jun 2012 11:00:00 GMT end=2032-06-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/501-full.html 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. Department of Computer Science, University of Oxford News Publications oucl-Publications-501 Tue, 12 Jun 2012 11:00:00 GMT end=2032-06-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/499-full.html Two papers co-authored by Standa Zivny accepted to the 18th International Conference on Principles and Practice of Constraint Programming Department of Computer Science, University of Oxford News Publications oucl-Publications-499 Tue, 12 Jun 2012 11:00:00 GMT end=2032-06-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/498-full.html Papers, authored by Oxford scientists have been accepted to the 38th International Conference on Very Large Databases Department of Computer Science, University of Oxford News Publications oucl-Publications-498 Wed, 30 May 2012 11:00:00 GMT end=2032-05-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/497-full.html A paper authored by two members of the Cyber Security Centre has been accepted to the European Intelligence and Security Informatics Conference Department of Computer Science, University of Oxford News Publications oucl-Publications-497 Wed, 30 May 2012 11:00:00 GMT end=2032-05-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/420-full.html 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. Department of Computer Science, University of Oxford News Publications oucl-Publications-420 Fri, 29 Mar 2013 12:00:00 GMT end=2033-03-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/394-full.html 'The complexity of conservative valued CSPs' has been co-written by Oxford's Standa Živný Department of Computer Science, University of Oxford News Publications oucl-Publications-394 Tue, 13 Sep 2011 11:00:00 GMT end=2031-09-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/393-full.html 'Static Livelock Analysis in CSP' written by Joel Ouaknine, Hristina Palikareva, Bill Roscoe and James Worrell has achieved Best Paper award at CONCUR 2011 Department of Computer Science, University of Oxford News Publications oucl-Publications-393 Fri, 09 Sep 2011 11:00:00 GMT end=2031-09-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/357-full.html The second edition of the Department's newsletter is availble to download. Department of Computer Science, University of Oxford News Publications oucl-Publications-357 Thu, 09 Jun 2011 11:00:00 GMT end=2031-06-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/354-full.html A new book entitled 'Probabilistic Databases' has been recently published by Dan Olteanu. Department of Computer Science, University of Oxford News Publications oucl-Publications-354 Mon, 06 Jun 2011 11:00:00 GMT end=2031-06-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/322-full.html 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. Department of Computer Science, University of Oxford News Publications oucl-Publications-322 Tue, 15 Nov 2011 12:00:00 GMT end=2031-11-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/321-full.html This year's CAV will feature 9 papers by Department-affiliated authors. Department of Computer Science, University of Oxford News Publications oucl-Publications-321 Thu, 24 Mar 2011 12:00:00 GMT end=2031-03-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/290-full.html Foundations of Semantic Web Technologies, a textbook co-written by Oxford's Markus Krötzsch has been recognised in the American Library Association's prestigious list of ‘Outstanding Academic Titles’. Department of Computer Science, University of Oxford News Publications oucl-Publications-290 Tue, 04 Jan 2011 12:00:00 GMT end=2031-01-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/287-full.html “AS YOU read this article, your brain not only takes in individual words, but also combines them to extract the meaning of each sentence. It is a feat any competent reader takes for granted, but it's beyond even the most sophisticated of today's computer programs. Now their abilities may be about to leap ahead, thanks to a form of graphical mathematics borrowed from quantum mechanics.” So starts an article in a recent edition of New Scientist magazine, highlighting the work of Oxford University Computing Laboratory in "Quantum Linguistics" by Bob Coecke, Mehrnoosh Sadrzadeh, Ed Grefenstette and Stephen Pulman, drawing from earlier work by Samson Abramsky and Bob Coecke on Quantum Computing. Department of Computer Science, University of Oxford News Publications oucl-Publications-287 Wed, 22 Dec 2010 12:00:00 GMT end=2030-12-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/286-full.html The first edition of Inspired Research has been launched. This twice-yearly publication showcases the cutting-edge research that is being undertaken at OUCL – Oxford University’s Computer Science department. Department of Computer Science, University of Oxford News Publications oucl-Publications-286 Wed, 22 Dec 2010 12:00:00 GMT end=2030-12-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/284-full.html Bob Coecke's 1000 page tutorial volume - New Structure for Physics has been published by Springer. Department of Computer Science, University of Oxford News Publications oucl-Publications-284 Wed, 15 Dec 2010 12:00:00 GMT end=2030-12-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/274-full.html OUCL’s Bill Roscoe has launched a new book entitled Understanding Concurrent Systems. Department of Computer Science, University of Oxford News Publications oucl-Publications-274 Mon, 15 Nov 2010 12:00:00 GMT end=2030-11-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/244-full.html Congratulations to Professor Bill Roscoe's new book "Reflections on the Work of C.A.R. Hoare" which has been published by Springer. Bill is one of the three editors including Cliff Jones and Kenneth Wood. Department of Computer Science, University of Oxford News Publications oucl-Publications-244 Tue, 21 Sep 2010 11:00:00 GMT end=2030-09-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/237-full.html Richard Bird's new book "Pearls of Functional Algorithm Design" published Department of Computer Science, University of Oxford News Publications oucl-Publications-237 Fri, 10 Sep 2010 11:00:00 GMT end=2030-09-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/234-full.html The paper "Probabilistic Model Checking of Complex Biological Pathways" by John Heath, Marta Kwiatkowska, Gethin Norman, David Parker and Oksana Tymchyshyn, was recently awarded the Top Cited Article award in the journal Theoretical Computer Science, for the period 2005-2010. Department of Computer Science, University of Oxford News Publications oucl-Publications-234 Thu, 02 Sep 2010 11:00:00 GMT end=2030-09-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/214-full.html The Computing Laboratory's Information Systems Group scored five research papers (out of five submitted) at the 2010 International Conference on Very Large Data Bases (VLDB 2010) to be held in Singapore in mid September. Department of Computer Science, University of Oxford News Publications oucl-Publications-214 Thu, 01 Jul 2010 11:00:00 GMT end=2030-07-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/181-full.html Following Comlab members' historic success rate at TACAS, OUCL strikes again with 6 papers at <a href="http://www2.informatik.hu-berlin.de/lics/lics10/lics10-accepted.html ">LICS!</a> Department of Computer Science, University of Oxford News Publications oucl-Publications-181 Mon, 22 Mar 2010 12:00:00 GMT end=2030-03-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/138-full.html Stephen Pulman was recently interviewed by the MPLS Press Officer Pete Wilton. The article 'Computers look for meaning' has now been published on the University's Science Blog. <br/>Department of Computer Science, University of Oxford Department of Computer Science, University of Oxford News Publications oucl-Publications-138 Mon, 19 Oct 2009 11:00:00 GMT end=2029-10-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/100-full.html The Computing Laboratory featured in a recent series on ICT Research & Development in UK universities, published in E&T. <br/>Department of Computer Science, University of Oxford Department of Computer Science, University of Oxford News Publications oucl-Publications-100 Fri, 12 Jun 2009 11:00:00 GMT end=2029-06-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/80-full.html 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. Department of Computer Science, University of Oxford News Publications oucl-Publications-80 Tue, 07 Apr 2009 11:00:00 GMT end=2029-04-28T00:00:00Z;scheme=W3C-DTF; http://www.cs.ox.ac.uk/news/46-full.html Compiled and edited by Marta Kwiatkowska, Tom Rodden and Vladimiro Sassone. Published October 2008 Department of Computer Science, University of Oxford News Publications oucl-Publications-46 Wed, 15 Oct 2008 11:00:00 GMT end=2028-10-28T00:00:00Z;scheme=W3C-DTF;