Event

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

Talk: Using cost models of algorithmic skeletons

Abstract:  The increasing importance of parallelism has motivated the creation of better abstractions for writing parallel software, including structured parallelism using nested algorithmic skeletons. Such approaches provide high-level abstractions that avoid common problems, such as race conditions, and often allow strong cost models to be defined. However, choosing a combination of algorithmic skeletons that yields good parallel speedups … Talk: Using cost models of algorithmic skeletons