What’s so great about compositionality? by Professor Stuart M Shieber, Harvard.

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 other hand, differ as to whether the relationship that they posit between the syntax and semantics of a natural language is structured in a compositional manner. Theories following the tradition of Richard Montague take compositionality to be a Good Thing, whereas theories in the transformational tradition eschew it.

I will look at what compositionality is and isn’t, why it seems desirable, why it seems problematic, and whether its advantages can’t be provided by other means. In particular, I argue that synchronous semantics can provide many of the advantages of compositionality, whether it is itself properly viewed as a compositional method, as well as having interesting practical applications.

Event details

  • When: 6th June 2014 14:00 - 15:00
  • Where: Cole 1.33a
  • Format: Seminar

Computational Social Choice: an Overview by Edith Elkind, University of Oxford

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 give a high-level overview of this research area, and mention some open problems that may be of interest to mathematicians and computer scientists.

Event details

  • When: 15th April 2014 - 15:00
  • Where: Maths Theatre B
  • Series: School Seminar Series
  • Format: Seminar

A slippery slope — the path to national health data linkage in Australia – John Bass

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 confidentiality. Further complications have resulted from living in a large and diverse country ruled by several highly parochial states as well as the federal government. This presentation tells the story from a viewpoint largely based in Perth, Western Australia. In 1984 this city had a population of less than a million, and the nearest city/town of more than 20,000 people was Adelaide, more than 1,650 miles away by road. In our context, this was a benefit as much as a hindrance, and Perth has been very much the epicentre of data linkage.

Bio: After an early career in marine zoology combined with computing, John Bass has been at the leading edge of health-related data linkage in Australia since 1984. Early work on infant mortality in Western Australia resulted in a linked dataset that became the cornerstone of the Telethon Institute for Child Health Research. He then implemented the Australian National Death Index in Canberra before returning to Perth as the founding manager of the Western Australian linked health data project — the first of its kind in the country. He designed and implemented the technical system of this group, which is widely recognised as the foremost data linkage unit in Australia. John stepped aside from his position in 2000 but has continued a close relationship with the project, designing and overseeing the implementation of genealogical links and then spending several years working with state and federal government to implement the first large-scale linkage of national pharmaceutical and general practice information. This involved the development of new best-practice privacy protocols that are now widely adopted across Australia. He was a core participant in developing a detailed plan for the implementation of a second state-based data linkage unit involving New South Wales and the Australian Capital Territory. In 2008 John moved to Tasmania, where he spent four years planning and paving the way for the implementation of a state-wide data linkage unit. He is now semi-retired, but still working on new developments in data linkage technology.

Event details

  • When: 13th May 2014 14:00 - 15:00
  • Where: Cole 1.33a
  • Format: Seminar

The Chomsky-Schutzenberger Theorem for Quantitative Context-Free Languages by Heiko Vogler, University of Dresden

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, lattices. In our main result, we derive the Chomsky-Schutzenberger Theorem for such quantitative context-free languages, showing that each arises as the image of a Dyck language and a recognizable language under a suitable morphism.

This is joint work with Manfred Droste (University of Leipzig)

BIOGRAPHY:
Prof. Dr.-Ing-habil. Heiko Vogler received the degree of Doktor in De Technische Wetenschappen at the Technische Hogeschool Twente, The Netherlands in 1986. He achieved the Habilitation in Computer Science at the RWTH Aachen in 1990, was associate professor at the University of Ulm from 1991-1994, and since 1994 he is full professor at the TU Dresden. He received the degree of Doktor honoris causa from the University of Szeged, Hungary in November 2013. His research interests are weighted tree automata and formal models for statistical machine translation of natural languages.

Event details

  • When: 7th April 2014 13:00 - 14:00
  • Where: Cole 1.33a
  • Format: Seminar

Internet-of-Things (IoT) Technologies for Integrated Smart Cities Applications by Prof John Soldatos

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 city challenges that could be remedied based on recent advances in IoT technologies. Specifically, we will present how IoT/cloud convergence and IoT semantic interoperability can be used to facilitate the integration of existing silo developments in smart city developments, while at the same time providing new opportunities for innovative applications. The talk will also include the presentation of three practical smart city applications that make use of IoT technologies, notably applications in the areas of smart security, live news and urban planning. These applications are developed in the scope of (on-going) FP7 projects PROACTIVE (FP7-285320), SMART (FP7-287583) and VITAL (FP7- 608682-VITAL) and deployment in European cities (Santander (Spain), Camden/London (UK), Istanbul (Turkey)).

Short bio:
John Soldatos is an Associate Professor at the Athens Information Technology, whose current research interests span the areas of internet-of-things, cloud computing and their (IoT/cloud) convergence in the scope of smart city applications. He holds a BSc. Degree (1996) and a PhD degree (2000) both from the National University of Athens, Greece, and since 1995 he has had very active involvement in more than fifteen (EC co-funded) research projects in the areas of broadband networks, pervasive/cloud computing, and the internet-of-things. He is also the initiator and co-founder of open source projects AspireRFID (http://wiki.aspire.ow2.org) and OpenIoT (https://github.com/OpenIotOrg/openiot). As a result of his research activities, he has published more than 140 papers in international journals and conferences. He has also been an Adjunct Professor at the Information Networking Institute of the Carnegie Mellon University (2007-2010) and a Honorary Research Fellow of the School of Computing of University of Glasgow (March 2014 – May 2015).

Event details

  • When: 2nd April 2014 13:00 - 14:00
  • Where: Cole 1.33b
  • Format: Seminar

Cigna: Technology enabling Health & Well being provision across the Globe

Cigna – a global health services company is dedicated to helping those we serve to improve their health and well being. Cigna provides globally connected healthcare services with access to a global network of clinical providers through leveraging the use of pioneering and innovative technology. Find out how you can get engaged and join the team driving innovation in Healthcare!

Maths Lecture Theatre B
Time: 14:00 to 15:00
Date: Tuesday 4th March

Event details

  • When: 4th March 2014 14:00 - 15:00
  • Where: Maths Theatre B
  • Series: School Seminar Series
  • Format: Seminar

Data Matching Research at the Australian National University

Seminar by Peter Christen, Australian National University

Techniques for matching, linking, and integrating data from different sources are becoming increasingly important in many application areas, including health, census, taxation, immigration, social welfare, in crime and fraud detection, in the assembly of national security intelligence, for businesses and in bibliometrics, as well as in the social sciences.

Today, data matching (also known as entity resolution, duplicate detection, and data or record linkage) not only faces computational challenges due to the increasing size of data collections and their complexity, but also operational challenges as many applications move from static environments into real-time processing and analysis of potentially large and fast data streams, where real-time matching of records is required. Finally, with the growing concerns by the public of the use of their data, privacy and confidentiality often need to be considered when personal information is being linked and shared between organisations.

In this talk I will present a short introduction to data matching, describe these above discussed challenges, and provide an overview of three areas of research currently conducted in data matching at the Australian National University:

  1. Scalable real-time entity resolution on dynamic databases
  2. Scalable privacy-preserving record linkage techniques
  3. Efficient matching of historical census data across time

 

Event details

  • When: 12th February 2014 13:00 - 14:00
  • Where: Honey 103 - GFB
  • Format: Seminar

At the Edge by Alan Dix, University of Birmingham

Abstract:
From buying plane tickets to eGovernment, participation in consumer and civic society is predicated on continuous connectivity and copious computation . And yet for many at the edges of society, the elderly, the poor, the disabled, and those in rural areas, poor access to digital technology makes them more marginalised, potentially cut off from modern citizenship. I spent three and half months last summer walking over a thousand miles around the margins of Wales in order to experience more directly some of the issues facing those on the physical edges of a modern nation, who are often also at the social and economic margins. I will talk about some of the theoretical and practical issues raised; how designing software with constrained resources is more challenging but potentially more rewarding than assuming everyone lives with Silicon Valley levels of connectivity.

Bio:
Alan is Professor of Computing at University of Birmingham and Senior Researcher at Talis based in Birmingham, but, when not in Birmingham, or elsewhere lives in Tiree a remote island of the west coast of Scotland.

Alan’s career has included mathematical modelling for agricultural crop sprayers, COBOL programming, submarine design and intelligent lighting. However, he is best known for his work in Human Computer Interaction over three decades including his well known HCI textbook and some of the earliest work in formal methods, mobile interaction, and privacy in HCI. He has worked in posts across the university sector as well as a period as founder director of two dotcom companies, aQtive (1998) and vfridge (2000), which, between them, attracted £850,000 of venture capital funding. He currently works part-time for the University of Birmingham and is on the REF Panel for Computer Science. He also works part-time for Talis, which, inter alia, provides the reading list software used at St Andrews.

His interests and research methods remain, as ever, eclectic, from formal methods, to technical creativity and the modelling of regret. At present he is completing a book, TouchIT, about physicality in design, working with musicologists on next generation digital archives, envisioning how learning analytics can inform and maybe transform university teaching, and working in various projects connected with communication and energy use on Tiree and rural communities.

Last year he completed a walk around Wales as an exploration into technical issues ‘at the edge’, the topic of his seminar.

Event details

  • When: 6th May 2014 14:00 - 15:00
  • Where: Maths Theatre B
  • Format: Seminar

Highly Deformable Mobile Devices & Future Mobile Phones by Johannes Schöning, Hasselt University

Speaker: Johannes Schöning, Hasselt University
Date/Time: 2-3pm April 8th, 2014
Location: Maths Lecture Theatre B, University of St Andrews

Title: Highly Deformable Mobile Devices & Future Mobile Phones

Abstract:
In the talk I will present the concept of highly deformable mobile devices that can be transformed into various special-purpose controls in order to bring physical controls to mobile devices (https://www.youtube.com/watch?v=zLe52PFZrtc). I will present different interaction techniques enabled by this concept and present results from an in-depth study. Our findings show that these physical controls provide several benefits over traditional touch interaction techniques commonly used on mobile devices. In addition we will give insights on a large-scale study that logged detailed application usage information from over 4,100 users of Android-powered mobile devices.

Bio:
Johannes Schöning is a professor of computer science with a focus on HCI at Hasselt University, working within the Expertise centre for Digital Media (EDM) – the ICT research Institute of Hasselt University. In addition, he is a visiting lecturer at UCL London within the Intel Collaborative Research Institute for Sustainable Cities.

His research interests are new methods and novel mobile interfaces to navigate through spatial information. In general, he develops, designs and tests user interfaces that help people to solve daily tasks more enjoyable and/ or effectively. This includes the development of mobile augmented reality applications, interactive surfaces and tabletops and other “post desktop” interfaces. His research and work was awarded with several prices and awards, such as the ACM Eugene Lawler Award or the Vodafone Research Award for his PhD.  In addition, Johannes serve as a junior fellow of “Gesellschaft für Informatik”.

This seminar is part of our ongoing series from researchers in HCI. See here for our current schedule.

Event details

  • When: 8th April 2014 14:00 - 15:00
  • Where: Maths Theatre B
  • Format: Seminar

Should Technology be more mindful? by Yvonne Rogers, UCL.

Abstract:
We are increasingly living in our digital bubbles. Even when physically together – as families and friends in our living rooms, outdoors and public places – we have our eyes glued to our own phones, tablets and laptops. The new generation of ‘all about me’ health and fitness gadgets, that is becoming more mainstream, is making it worse. Do we really need smart shoes that tell us when we are being lazy and glasses that tell us what we can and cannot eat? Is this what we want from technology – ever more forms of digital narcissism, virtual nagging and data addiction? In contrast, I argue for a radical rethink of our relationship with future digital technologies. One that inspires us, through shared devices, tools and data, to be more creative, playful and thoughtful of each other and our surrounding environments.

Bio:
Yvonne Rogers is a Professor of Interaction Design, the director of UCLIC and a deputy head of the Computer Science department at UCL. Her research interests are in the areas of ubiquitous computing, interaction design and human-computer interaction. A central theme is how to design interactive technologies that can enhance life by augmenting and extending everyday, learning and work activities. This involves informing, building and evaluating novel user experiences through creating and assembling a diversity of pervasive technologies.

This seminar is part of our ongoing series from researchers in HCI. See here for our current schedule.

Event details

  • When: 11th March 2014 14:00 - 15:00
  • Where: Maths Theatre B
  • Format: Seminar