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.
Auckland's harbour setting, magnificent beaches and verdant bush make it a great place to study and work, while the University's close proximity to New Zealand's major businesses and hospitals enables staff and students to rub shoulders with leading practitioners in their field. Auckland offers a diverse range of employment and leisure options, including easy access to high quality schools which prepare students extremely well for the transition to university.
The Department of Computer Science is the country's largest, most diverse, and most accomplished. The department was founded in 1981. It now has more than 40 academic staff and 80 research students, and an ever-growing cohort of undergraduates. The department is among the top 100 Computer Science Departments in the world according to the 2016 QS World University Rankings.
We are currently looking for a PhD student to undertake research on dependence logic. Dependence logic is a novel logical formalism that has intriguing connections to computer science, statistics, linguistics, game theory, social choice theory, philosophy, and physics. We are seeking a PhD student to join a 3-year project that examines new variants of dependence logic, including approximate and probabilistic variants, and their applications to reasoning in database theory and statistics. The student will be supervised by Miika Hannula and Sebastian Link. We expect the applicant to have:
- A strong background in logic and computational complexity,
- A master's degree in mathematics, computer science, or other relevant discipline,
- A good command of spoken and written English.
Good programming skills and a background in statistics would be ideal, but are not necessarily expected attributes.
The position is available from March 1, 2017, and the funding covers the student fees and an annual stipend of NZD 27,500. All applications should include a CV, a 1-page personal statement of suitability, and a letter of recommendation. Applications can be sent to email@example.com by end of January 2017.Unconventional Computation and Natural Computation 2017
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 16th UCNC will take place in Fayetteville, Arkansas, USA, a city nestled in the Ozark Mountains and home to the University of Arkansas.
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. Artificial General Intelligence 2017 The original goal of the AI field was the construction of "thinking machines" – that is, computer systems with human-like general intelligence. Due to the difficulty of this task, for the last few decades the majority of AI researchers have focused on what has been called "narrow AI" – the production of AI systems displaying intelligence regarding specific, highly constrained tasks. In recent years, however, more and more researchers have recognized the necessity – and feasibility – of returning to the original goals of the field by treating intelligence as a whole. Increasingly, there is a call for a transition back to confronting the more difficult issues of “human-level intelligence” and more broadly artificial general intelligence. AGI research differs from the ordinary AI research by stressing on the versatility and wholeness of intelligence, and by carrying out the engineering practice according to an outline of a system comparable to the human mind in a certain sense. Continuing the mission of the past AGI conferences, AGI-17 gathers an international group of leading academic and industry researchers involved in scientific and engineering work aimed directly toward the goal of Artificial General Intelligence (AGI). Theory matters: Google DeepMind and Game of Go
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.