Centre for Discrete Mathematics and Theoretical Computer Science
Welcome to CDMTCS, a joint venture involving the Computer Science, Mathematics and Philosophy Departments of The University of Auckland in New Zealand. CDMTCS was founded in 1995 to support basic research on the interface between mathematics and computing, to foster research and development in these areas within the South Pacific region, and to create links between researchers in that region and their counterparts in the rest of the world.
Shane Legg completed the MSc Thesis "Solomonov Induction and Algorithmic Information Theory" (supervisor: Prof. C. S. Calude) in 1996, see his CDMTCS Research Report 030, March 1997: Solomonoff Induction. In 2004 he then got a Ph.D. in artificial intelligence from IDSIA, Lugano, Switzerland. Shane was active in developing applications of algorithmic information theory to artificial intelligence; a group picture (N. Hay, S. Legg, C. Calude, M. Zimand) from 2006 Dagsthul meeting on Kolmogorov complexity. After a post-doc at University College London, UK, in 2011 he co-founded with Demis Hassabis and Mustafa Suleyman the artificial intelligence company DeepMind, from 2014 Google DeepMind (the biggest Google buy in Europe). A team from Google DeepMind published recently the paper Mastering the game of Go with deep neural networks and tree search in Nature, 28 January 2016; a day before BBC announced that A Google artificial intelligence program [AlphaGo] has beaten the European champion of the board game Go. In March 2016, AlphaGo has won the first three games from a 5-game challenge match in Seoul against the legendary Lee Sedol, the top Go player in the world over the past decade, but lost the fourth. The final game was won again by AlphaGo.Unconventional Computation and Natural Computation 2016 The International Conference on Unconventional Computation and Natural Computation is a meeting where scientists from many different backgrounds are united in their interest in novel forms of computation, human-designed computation inspired by nature, and computational aspects of natural processes. UCNC provides a forum for such scientists to meet and discuss their work.
The 15th UCNC will take place in Manchester, UK; birthplace of the industrial revolution, home to Alan Turing and the first ever stored-program computer, and the driving force behind graphene. Our status as a thriving centre for excellence in science and technology has been recognised by Manchester’s selection as the European City of Science for 2016, and UCNC is proud to play a role in this celebration. Workshop on Physics and Computation 2016 The 7th International Workshop on Physics and Computation will be held as a satellite workshop to the 15th International Conference on Unconventional Computation and Natural Computation (UCNC 2016) from 11–15 July 2016.
This workshop is an interdisciplinary meeting that will bring together researchers from various domains with interests in physics and computation. Research and important issues relating to the interface between physics and the theories of computation, computability and information, including their application to physical systems, will be presented and discussed. Numerical Computations: Theory and Algorithms 2016 The Second International Conference and Summer School Numerical Computations: Theory and Algorithms will be held from 19 – 25 June 2016 to the Club Med Resort "Napitia", Pizzo Calabro, Calabria, Italy.
The goal of the conference is to create a multidisciplinary round table for an open discussion on numerical modelling nature by using traditional and emerging computational paradigms. The Conference will discuss all aspects of numerical computations and modelling from foundations and philosophy to advanced numerical techniques. New technological challenges and fundamental ideas from theoretical computer science, linguistic, logic, set theory, and philosophy will meet requirements and new fresh applications from physics, chemistry, biology, and economy. Computer Algebra in Scientific Computing 2016 The 18th International Workshop on Computer Algebra in Scientific Computing will be held from 19 - 23 September 2016 in Bucharest, Romania. The methods of Scientific Computing play an important role in the natural sciences and engineering. Significance and impact of computer algebra methods and computer algebra systems for scientific computing has increased considerably over the last decade. Nowadays, computer algebra systems such as CoCoA, Macaulay, Magma, Maple, Mathematica, Maxima, Reduce, Sage, Singular and others enable their users to exploit their powerful facilities in symbolic manipulation, numerical computation and visualisation.