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
Sword Ciboodle will be visiting the University of St. Andrews on Tuesday 1st November between 1pm and 2pm. Come and join us in Jack Cole 1.33A to gain an insight into the Company and for information about graduate opportunities within the Research & Development and Professional Services teams. Opportunities exist for summer placements and full … Sword Ciboodle presentation
Speaker: Annalu Waller, University of Dundee Abstract: Augmentative and alternative communication (AAC) attempts to augment natural speech, or to provide alternative ways to communicate for people with limited or no speech. Technology has played an increasing role in AAC. At the most simplest level, people with complex communication needs (CCN) can cause a prestored message … Augmentative and Alternative Communication across the Lifespan of Individuals with Complex Communication Needs
Amazon is looking for outstanding software developers to join their development centre in Edinburgh. Come and learn about the company, and about our work in Scotland, devising, creating and growing major features and websites for Amazon worldwide. Our developers, designers and leaders work in small teams across the company, contributing to Amazon’s systems which are … Amazon presentation
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
Speaker: Aaron Quigley, SACHI University of St Andrews Abstract: Our bodies shape our experience of the world, and our bodies influence what we design. How important are the physical differences between people? Can we model the physiological differences and use the models to adapt and personalize designs, user interfaces and artifacts? Within many disciplines Digital … Creating personalized digital human models of perception for visual analytics
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