Seminar

SACHI Seminar: Dr Alice Toniolo – An argumentation-based approach to facilitate and improve human reasoning

Title:  An argumentation-based approach to facilitate and improve human reasoning. Abstract:  The ability of understanding and reasoning about different alternatives for a decision is fundamental for making informed choices. Intelligent autonomous systems have the potential to improve the quality of human-decision making but the use of such systems may be hampered by human difficulties to SACHI Seminar: Dr Alice Toniolo – An argumentation-based approach to facilitate and improve human reasoning

The technology driving the evolution of internet advertising, targeted advertising or intrusive surveillance?

BIO  Tim Palmer read Computational Science in St Andrews graduating in 1993.  Initially working for Oracle in London then San Francisco, he went on to work in Investment Banking Technology for over a decade.  Most recently Tim was CTO for The Exchange Lab – a programmatic marketing company.  He is now Senior Partner in Digiterre, The technology driving the evolution of internet advertising, targeted advertising or intrusive surveillance?

 “Unfrying your brain with F#”  Andrea Magnorsky, Workday Software Ltd

Abstract  F#, just like other non-pure functional languages, allows you find the sweet spot between FP practices and OO language pragmatism. Most of the advanced features of F# give you the power to change the language and to introduce a higher level of abstraction to your code. In this talk, we will discuss active patterns,  “Unfrying your brain with F#”  Andrea Magnorsky, Workday Software Ltd

SACHI Seminar: The design of digital technologies to support transitional events in the human lifespan

Title:  The design of digital technologies to support transitional events in the human lifespan Abstract:  This talk will focus on (i) qualitative research undertaken to understand how digital technologies are being used during transitional periods across the human lifespan, such as becoming an adult, romantic breakup, and end of life, and (ii) the opportunities for SACHI Seminar: The design of digital technologies to support transitional events in the human lifespan

Type-Driven Development of Communicating Systems using Idris

Speaker: Jan de Muijnck-Hughes Abstract Communicating protocols are a cornerstone of modern system design. However, there is a disconnect between the different tooling used to design, implement and reason about these protocols and their implementations. Session Types are a typing discipline that help resolve this difference by allowing protocol specifications to be used during type-checking Type-Driven Development of Communicating Systems using Idris

SACHI Seminar – The Collaborative Design of Tangible Interactions in Museums

Title: The Collaborative Design of Tangible Interactions in Museums Abstract: Interactive technology for cultural heritage has long been a subject of study for Human-Computer Interaction. Findings from a number of studies suggest that, however, technology can sometime distance visitors from heritage holdings rather than enabling people to establish deeper connections to what they see. Furthermore, SACHI Seminar – The Collaborative Design of Tangible Interactions in Museums

SACHI Seminar: Roderick Murray-Smith, University of Glasgow

Title: Control Theoretical Models of Pointing Speaker: Rod Murray-Smith, University of Glasgow http://www.dcs.gla.ac.uk/~rod/ Abstract: I will talk about two topics: 1. (Joint work with Jörg Müller & Antti Oulasvirta) I will present an empirical comparison of four models from manual control theory on their ability to model targetting behaviour by human users using a mouse: SACHI Seminar: Roderick Murray-Smith, University of Glasgow