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

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

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

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

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

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…

Confessions of a start-up founder

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

A new Interaction Paradigm for Distributed User Interfaces by Prof. Dr. Harald Reiterer, University of Konstanz

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