Responsibility Modelling by Prof Ian Sommerville

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 itself.

In this talk, I will introduce the notion of responsibility modelling, which aims to represent the responsibilities of human and automated agents in a complex system, where the system may be created by integrating different systems from different agencies. The motivation for the work is that many ‘system failures’ are actually failures of agents in the system to fulfil their expected responsibilities and so responsibility modelling offers the opportunity to analyse how responsibilities are distributed and to identify responsibility vulnerabilities, before these lead to system failure.

Bio

 Ian Sommerville has been Professor of Computer Science at St Andrews University since 2006. For more details see http://www.software-engin.com.

Event details

  • When: 13th February 2012 14:00 - 15:00
  • Where: Cole 1.33
  • Series: CS Colloquia Series
  • Format: Colloquium

Workshop on Computational Logic in honour of Roy Dyckhoff

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 Proof Theory, Natural Deduction, Verification, Combinatory Logic and Semantics.

More details, including the programme can be found at: http://www.lix.polytechnique.fr/~lengrand/Events/Dyckhoff/index.php?page=programme

Attendance at the workshop is free to SICSA researchers, but we do ask you to register through the web site so that we can arrange catering.

Event details

  • When: 18th November 2011 - 19th November 2011
  • Format: Workshop

Proof engineering, from the Four Color to the Odd Order Theorem by Dr Georges Gonthier

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 of Finite Simple Groups.

 These new “machine” proofs entail fundamental changes in the practice of mathematics: a shift from craftsmanship, where each argument is a tribute to the ingenuity of the mathematician that perfected it, to a form of engineering where proofs are created more systematically. In addition to formal definitions and theorems, mathematical theories also contain clever, context-sensitive notations, usage conventions, and proof methods. To mechanize advanced mathematical results it is essential to capture these more informal elements, replacing informal and flexible usage conventions with rigorous interfaces, and exercise apprenticeship with precise algorithms. This can be difficult, requiring an array of techniques closer to software engineering than formal logic, but it is essential to obtaining formal proofs of graduate-level mathematics, and can give new insight as well.

 In this talk we will give several examples of such empirical formal mathematics that we have encountered in the process of mechanizing a large corpus of Combinatorics and Algebra required by the proofs of the Four Colour and Odd Order Theorem.

 Bio:Georges Gonthier is a Principal Researcher at Microsoft Research Cambridge. Dr. Gonthier has worked on the Esterel reactive programming language, techniques for the optimal computation of functional programs, the design and formal verification of a concurrent garbage collector, the join calculus model of concurrency, concurrency analysis of the Ariane 5 flight software, using full abstraction in the analysis of security properties, and a fully computer-checked proof of the famous Four Colour Theorem. He now heads the Mathematical Components project at the MSR Inria Joint Center, following up on the latter work with the development of a comprehensive library of formalized abstract algebra.

Georges Gonthier – Head of the Mathematical Components team Microsoft Research-INRIA joint centre http://www.msr-inria.inria.fr/

There will be bisquits from 3:45 downstairs

Event details

  • When: 10th November 2011 16:00 - 17:00
  • Where: Maths Theatre C
  • Format: Seminar

Sword Ciboodle presentation

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 time roles following graduation. You will also be able to meet some of our most recent graduates to understand their experiences of working with the Company. Lunch will be provided.

Sword Ciboodle, with over 300 staff based in five offices around the world (Chicago, Sydney, Jakarta, Johannesburg and Glasgow), has its headquarters in Renfrewshire, near Glasgow in the India of Inchinnan building, the only commercially used Grade-A listed building in Scotland. Apart from the impressive surroundings, Sword Ciboodle employees also benefit from a competitive salary, excellent benefits and the opportunity to work with some of the best Software Engineers in the industry.

Further information can be found at www.sword-ciboodle.com.

Please register your interest with Jenna at Jenna.Currie@sword-ciboodle.com. Please do not hesitate to get in touch if you have any questions.

Event details

  • When: 1st November 2011 13:00 - 14:00
  • Where: Cole 1.33a

Augmentative and Alternative Communication across the Lifespan of Individuals with Complex Communication Needs

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 to be spoken by activating a single switch. At the most sophisticated level, literate users can generate novel text. Although some individuals with CCN become effective communicators, most do not – they tend to be passive communicators, responding mainly to questions or prompts at a one or two word level. Conversational skills such as initiation, elaboration and story telling are seldom observed.
One reason for the reduced levels of communicative ability is that AAC technology provides the user with a purely physical link to speech output. The user is required to have sufficient language abilities and physical stamina to translate what they want to say into the code sequence of operations needed to produce the desired output. Instead of placing all the cognitive load on the user, AAC devices can be designed to support the cognitive and language needs of individuals with CCN, taking into account the need to scaffold communication as children develop into adulthood. A range of research projects, including systems to support personal narrative and language play, will be used to illustrate the application of Human Computer Interaction (HCI) and Natural Language Generation (NLG) in the design and implementation of electronic AAC devices.

About Annalu:
Dr Annalu Waller is a Senior Lecturer in the School of Computing at the University of Dundee. She has worked in the field of Augmentative and Alternate Communication (AAC) since 1985, designing communication systems for and with nonspeaking individuals. She established the first AAC assessment and training centre in South Africa in 1987 before coming to Dundee in 1989. Her PhD developed narrative technology support for adults with acquired dysphasia following stroke. Her primary research areas are human computer interaction, natural language generation, personal narrative and assistive technology. In particular, she focuses on empowering end users, including disabled adults and children, by involving them in the design and use of technology. She manages a number of interdisciplinary research projects with industry and practitioners from rehabilitation engineering, special education, speech and language therapy, nursing and dentistry. She is on the editorial boards of several academic journals and sits on the boards of a number of national and international organisations representing disabled people.

Event details

  • When: 11th October 2011 13:00 - 14:00
  • Where: Cole 1.33a
  • Format: Seminar

Amazon presentation

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 used by over 144 million active Amazon customer accounts, over 2 million active seller accounts and hundreds of thousands of external developers. From interactive UI design to large-scale distributed systems and machine learning, we do whatever it takes to deliver great experiences for our customers. Our freedom to execute effectively against broad, ambitious goals offers boundless opportunities for talented, innovative engineers.

Target students all software development engineer students, in particular final years, however we are keen to start developing a relationship with all high performing students in this space.

Event details

  • When: 25th October 2011 13:00 - 14:00
  • Where: Cole 1.33a

Evolution of Radio Access Networks: Lighting up IQ by Francisco J. Garcia, Agilent Technologies

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 same infrastructure can support multiple radio technologies simultaneously by backhauling their baseband leading towards distributed antenna systems and distributed base station architectures. Some would argue that this represents a paradigm shift towards “cloud” enabled mobile networks. In the talk we will cover the reasons why things are progressing this way, how this is being enabled through technology innovation, and what Agilent has done to meet some of the test and measurement challenges in this evolved 4G wireless communications space.

Event details

  • When: 27th February 2012 14:00 - 15:00
  • Where: Phys Theatre C
  • Series: CS Colloquia Series
  • Format: Colloquium

Creating personalized digital human models of perception for visual analytics

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 Human Models and Standard Observer Models are widely used and have proven to be very useful for modeling users and simulating humans. In this paper, we create personalized digital human models of perception (Individual Observer Models), particularly focused on how humans see. Individual Observer Models capture how our bodies shape our perceptions. Individual Observer Models are useful for adapting and personalizing user interfaces and artifacts to suit individual users’ bodies and perceptions. We introduce and demonstrate an Individual Observer Model of human eyesight, which we use to simulate 3600 biologically valid human eyes. An evaluation of the simulated eyes finds that they see eye charts the same as humans. Also demonstrated is the Individual Observer Model successfully making predictions about how easy or hard it is to see visual information and visual designs. The ability to predict and adapt visual information to maximize how effective it is is an important problem in visual design and analytics.

About Aaron:

In this talk Professor Aaron Quigley will present a talk for a paper he is presenting at the User Modeling, Adaptation and Personalization (UMAP) conference 2011 on July 12th in Barcelona Spain. This work on Creating Personalized Digital Human Models of Perception for Visual Analytics is the work with and of his former PhD student Dr. Mike Bennett and now postdoctoral fellow in the Department of Psychology in Stanford University.

Professor Aaron Quigley is the Chair of Human Computer Interaction in the School of Computer Science at the University of St Andrews. He is the director of SACHI and his appointment is part of SICSA, the Scottish Informatics and Computer Science Alliance. Aaron’s research interests include surface and multi-display computing, human computer interaction, pervasive and ubiquitous computing and information visualisation.

Event details

  • When: 15th November 2011 13:00 - 14:00
  • Where: Cole 1.33a
  • Format: Seminar

A Decade of Research on Constraint Modelling and Reformulation:The Quest for Abstraction and Automation by Alan M Frisch

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 Alan M Frisch is a Reader in Intelligent Systems and Head of the Artificial Intelligence Group in the Dept. of Computer Science at the Univ. of York.  He is currently a SICSA Distinguished Visiting Fellow.

For over 30 years he has been teaching artificial intelligence and researching various topics within the field, including a focus on constraint programming over the past decade.  He is an acknowledged
leader in constraint modelling, best known for his pioneering contributions in the automation of constraint modelling, in inventing the ESSENCE problem specification language, and in developing symmetry-breaking constraints.

Alan M Frisch – Artificial Intelligence Group – Department of Computer Science – University of York, UK.

Event details

  • When: 7th November 2011 14:00 - 15:00
  • Where: Phys Theatre C
  • Series: CS Colloquia Series
  • Format: Colloquium

MacMillan Coffee Morning (Friday)

From 10.30am onwards on Friday morning in the JCB coffee area, we will be hosting a MacMillan coffee morning. All proceeds from the sales of cakes, biscuits or produce will go to support the MacMillan Cancer Support service. This is a service that allows terminal patients to remain in their own homes for their last days, supported by a MacMillan nurse.

Donations of goods are welcome, otherwise come along and buy some home baking.  A raffle will be held with prizes including sloe gin, champagne and chocolates.

Event details

  • When: 30th September 2011 10:30 - 12:00
  • Where: Cole Coffee Area