Month: February 2013

System Seminar: Stochastic Methodologies for Autonomously Evaluating Systems State, on 12th March, by Chris Schneider, University of St Andrews

ye |

Abstract: Rising complexity in systems management remains an open problem. As complexity increases, so do the costs associated with operating large-scale computing environments. One approach for addressing these issues is to build self-healing systems that can autonomously detect and recover from faults. Such approaches combine machine learning with closed control loops to reduce the number … System Seminar: Stochastic Methodologies for Autonomously Evaluating Systems State, on 12th March, by Chris Schneider, University of St Andrews

DLS: Formal Modelling and Analysis of Deployed Systems by Prof Muffy Calder

valia |

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

System Seminar: A Framework for Maintaining Artefact Consistency During Software Development, by Ildiko Pete, University of St Andrews

ye |

Abstract: Software systems are subject to evolution: they may be in a state of change at any given time during their existence until they are phased out. A system is typically associated with a variety of artefacts, which are products of the various activities involved in its development. In practice, software artefacts evolve at different … System Seminar: A Framework for Maintaining Artefact Consistency During Software Development, by Ildiko Pete, University of St Andrews

Teaching Fellow in Computer Science

alb |

The School of Computer Science are seeking applications for a Teaching Fellow in Computer Science Applications are invited for a Teaching Fellowship in the School of Computer Science. In the first instance, at least, this is a fixed-term position of three years with a start date May 2013. We require a Teaching Fellow to assist … Teaching Fellow in Computer Science

School Seminar: Programs that Write Programs – Is that Interesting?- by Prof Ron Morrison, …with many ideas from…

valia |

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…

School Seminar: HCI in Health Care by Jill Freyne -ICT Centre,CSIRO

valia |

 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

Confessions of a start-up founder

sd |

Prof Simon Dobson will be giving a lecture for CS3053 about his experience as founder and CEO of a start-up company spun-out of a university. This will focus on the business aspects — getting the company started, running it, growing, funding it, and eventually winding it down — rather than on the technology, and try … Confessions of a start-up founder