What is Meyer’s E1 problem? John Slaney, Australian National University The E1 problem is a rather specialised question concerning propositional logic. It was posed by R. K. Meyer almost 50 years ago, and is still open. In this talk, I undertake to explain the problem, to review progress towards its solution and possibly even to … Seminar by John Slaney
Abstract: We live in an information society, with cloud computing is changing the way we live, work and play in a world of devices and services. In this talk we’ll explore what, why and how this new era of computing is changing the way we think about conceiving, developing and delivering software and services. We’ll … Big data, the Cloud and the future of computing by Dr Kenji Takeda, Microsoft Research
Constraints can be a source of inspiration; their role in creative art forms is well-recognized, with poetry as the quintessential example. We argue that the requirement of determinism can play the same role in the design of parallel programming languages. This talk describes a series of design explorations that begin with determinism as the constraint, … Design Frontiers in Parallel Languages: The Role of Determinism
The School is welcoming teachers and representatives of Local Education Authorities to a departmental visit as part of the Teachers Together Conference. Attendees will hear about our first year curriculum and how subjects such as Maths and Physics feed into it. They will also take part in a discussion about subject development in computer science, … Teachers Together
Title: AwToolkit: Attention-Aware User Interface Widgets Authors: Juan-Enrique Garrido, Victor M. R. Penichet, Maria-Dolores Lozano, Aaron Quigley, Per Ola Kristensson. Abstract: Increasing screen real-estate allows for the development of applications where a single user can manage a large amount of data and related tasks through a distributed user inter- face. However, such users can easily … Practice talks for papers that Aaron and Daniel are presenting at AVI.
Abstract: Compositionality is the tenet that the meaning of an expression is determined by the meanings of its immediate parts along with their method of combination. The semantics of artificial languages (such as programming languages or logics) are uniformly given compositionally, so that the notion doesn’t even arise in that literature. Linguistic theories, on the … What’s so great about compositionality? by Professor Stuart M Shieber, Harvard.
ABSTRACT In this talk, we will provide a self-contained introduction to the field of computational social choice – an emerging research area that applies tools and techniques of computer science (most notably, algorithms, complexity and artificial intelligence) to problems that arise in voting theory, fair division, and other subfields of social choice theory. We will … Computational Social Choice: an Overview by Edith Elkind, University of Oxford
Abstract: Linkage of health-related data in Australia dates back to the late 1960’s with the first inspiration coming from the United Kingdom. Since then computers have developed at a barely believable rate, and technical considerations still exist but do not pose any serious problems. Progress has been slowed by the increasing need for better privacy and … A slippery slope — the path to national health data linkage in Australia – John Bass
ABSTRACT: Weighted automata model quantitative aspects of systems like the consumption of resources during executions. Traditionally, the weights are assumed to form the algebraic structure of a semiring, but recently also other weight computations like average have been considered. Here, we investigate quantitative context-free languages over very general weight structures incorporating all semirings, average computations, … The Chomsky-Schutzenberger Theorem for Quantitative Context-Free Languages by Heiko Vogler, University of Dresden
Title: Internet-of-Things (IoT) Technologies for Integrated Smart Cities Applications Abstract: The aim of this talk is to illustrate the use of Internet-of-Things (IoT) technologies as building blocks of smart city applications. As a first step the talk will present the pertinence of IoT and smart cities and accordingly it will introduce a range of smart … Internet-of-Things (IoT) Technologies for Integrated Smart Cities Applications by Prof John Soldatos