Thursday 14th March, the regular meeting of the Functional Programming group will give the floor to our guest Dr. Jost Berthold for a public talk called “High-Level Parallel Computing in Finance — Haskell Case Studies within HIPERFIT –” . The presentation will take place from 12.00 to 13.00, in the Jack Cole building, room 1.04 … Talk by Dr Jost Berthold Thursday 14th March
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
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: 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
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
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