CHI is the premier international conference on human computer interaction, and this year’s event is looking to be the most exciting yet for the St Andrews Computer Human Interaction (SACHI) research group in the School of Computer Science. Seven members of SACHI will attend CHI in Paris this April to present three full papers, one … SACHI Conference: Changing Perspectives at CHI 2013
Title Formal Modelling and Analysis of Deployed Systems Abstract Formal methods are traditionally used for specification and implementation in a waterfall model. In contrast, I am interested in formal models of concurrent, interactive systems that may/may not be in software, and may already be deployed, i.e. they are systems to be observed. Can formal models … DLS: Formal Modelling and Analysis of Deployed Systems by Prof Muffy Calder
Abstract: The talk discusses my experiences starting-up, running, and winding-down a company spun-out of a university. I’ll be concentrating on the business side rather than the technology.
This seminar is suitable for CS3053-RPIC A talk by Prof Ron Morrison …with many ideas from: Dharini Balasubramaniam, Graham Kirby, Kath Mickan – University of St Andrews, Brian Warboys, R. Mark Greenwood, Ian Robertson, Bob Snowdon – University of Manchester and technologies developed by some of the above and Alfred Brown, Al Dearle, Richard Connor, Quintin Cutts, … School Seminar: Programs that Write Programs – Is that Interesting?- by Prof Ron Morrison, …with many ideas from…
TBA
Abstract Obesity, poor diet and lifestyle and the associated health care costs are set to cripple the governmental budgets of most Western countries over the coming decades. The facts of the equation are simple. Energy intake must exceed energy output for weight loss, and living within a healthy weight range has a host of benefits. … School Seminar: HCI in Health Care by Jill Freyne -ICT Centre,CSIRO
This seminar is suitable for CS3053-RPIC Abstract: Distributed User Interfaces (DUIs) are typically used in ‘Interactive spaces’ which are physical environments or rooms for collaborative work that are augmented with ubiquitous computing technology. Their purpose is to enable a computer-supported collaboration between multiple users that is based on a seamless use of different devices for … A new Interaction Paradigm for Distributed User Interfaces by Prof. Dr. Harald Reiterer, University of Konstanz
Abstract: The study of the interdependence of human movement and social ties of individuals is one of the most interesting research areas in computational social science. Previous studies have shown that human movement is predictable to a certain extent at different geographic scales. One of the open problems is how to improve the prediction exploiting … Interdependence and Predictability of Human Mobility and Social Interactions by Mirco Musolesi University of Birmingham
This seminar is suitable for CS3053-RPIC Abstract Social network sites (SNSs) such as Facebook and Twitter are used by hundreds of millions of people daily. As such they represent an attractive source of data for research. Many researchers have crawled these SNSs to collect data for projects involving psychology, sociology, health, and of course computer … Towards reliable and responsible social network research by Tristan Henderson – University of St Andrews
(followed by tea/coffee and then informal gatherings at local venues) ROOM: TBA ABSTRACT Public compute clouds provide a flexible platform to host applications as a set of appliances, e.g., web servers or databases. Each appliance usually contains an OS kernel and userspace processes, within which applications access resources via APIs such as POSIX. The flexible … CANCELLED Unikernels: Functional Library Operating Systems for the Cloud by Anil Madhavapeddy, University of Cambridge