Systems software, such as an operating system or a network stack, underlies everything we do on a computer, whether that computer is a desktop machine, a server, a mobile phone, or any embedded device. It is therefore vital that such software operates correctly in all situations. In recent years, dependent types have emerged as a … Idris: Verified Systems Programming with Dependent Types by Edwin Brady
Many ‘failures’ in software-intensive organisational systems result from human actions or inaction so, to reduce the possibility of such ‘failures’ and so improve system dependability, it is important to adopt a holistic view where system designers consider the environment in which a system will be used as well as the technical characteristics of the system … Responsibility Modelling by Prof Ian Sommerville
The University of St Andrews is hosting a 2-day workshop on Computational Logic in honour of Roy Dyckhoff, who has retired this year. The workshop will be held in Parliament Hall at the University of St Andrews on November 18-19, 2011, and is very generously sponsored by the SICSA Modelling and Abstraction Theme. Topics include … Workshop on Computational Logic in honour of Roy Dyckhoff
Thirty five years ago computers made a dramatic debut in mathematics with the famous proof of the Four Color Theorem by Appel and Haken. Their role has been expanding recently, from computational devices to tools that can tackle deduction and proofs too complex for (most) human minds, such as the Kepler conjecture or the Classification … Proof engineering, from the Four Color to the Odd Order Theorem by Dr Georges Gonthier
In this talk we will introduce how new mobile base station architectures are evolving not only to meet demand but also to become “greener” since at current rates of deployment, mobile networks are becoming very large CO2 contributors. These new base station architectures are also becoming enablers for new Radio Access Networks (RANs) where the … Evolution of Radio Access Networks: Lighting up IQ by Francisco J. Garcia, Agilent Technologies
Abstract: To mark the Tenth International Workshop on Constraint Modelling and Reformulation, this talk reviews research in the field over the past decade, focusing on the key themes of abstraction and automation. Looking to the future, the talk identifies key issues that must be confronted in furthering the quest for abstraction and automation. Biography: Dr … A Decade of Research on Constraint Modelling and Reformulation:The Quest for Abstraction and Automation by Alan M Frisch
Abstract: In Capability and Wellbeing, Sen (1993) says that acting freely and being able to choose may be directly conducive to wellbeing, not just because more freedom may make better alternatives available, but because the action of choice is itself a freedom. This talk reflects on three projects with older people and considers their sense … Design, Agency and a Sense of Wellbeing by Ann Light
Abstract The human visual system is extraordinary powerful, but it is not a perfect seeing device. In this talk I will use the example of binocular vision to explore visual processing. I will describe some of the biology of the binocular visual system, some of the limitations that the biology presents, and I will describe … Quantifying human vision: perception of depth and shape by Julie Harris
Abstract Despite Moore’s “law”, uniprocessor clock speeds have now stalled. Rather than using single processors running at ever higher clock speeds, it is common to find dual-, quad- or even hexa-core processors, even in consumer laptops and desktops. Future hardware will not be slightly parallel, however, as in today’s multicore systems, but will be massively … ParaForming: Forming Parallel Haskell Programs using Novel Refactoring Techniques by Prof Kevin Hammond
Abstract: Opportunistic networks provide an ad hoc communication medium without the need for an infrastructure network, by leveraging human encounters and mobile devices. Routing protocols in opportunistic networks frequently rely upon encounter histories to build up meaningful data to use for informed routing decisions. This seminar presents work showing it is possible to use pre-existing … Friendlists, Followers and Contacts: Using Self-Reported Social Networks to Improve Opportunistic Networks by Gregory Bigwood