Seminar

June 26, Andruid Kerne, The Future of Human Expression: Ideation − Play − Body-based Interaction

Speaker: Andruid Kerne, Texas A&M, USA Date/Time: 2-3pm June 26, 2015 Location: CS1.33a, University of St Andrews   Andruid is research scientist-artist investigating how people experience personal expression, creative ideation, and social engagement. He develops and evaluates expressive interfaces, computational architectures, and distributed systems that support creative processes of knowledge production and interpersonal communication. For … June 26, Andruid Kerne, The Future of Human Expression: Ideation − Play − Body-based Interaction

May 19, Tom Rodden, On lions, impala, and bigraphs: modelling interactions in Ubiquitous Computing.

Speaker: Tom Rodden, University of Nottingham Date/Time: 2-3pm May 19, 2015 Location: CS1.33a, University of St Andrews As ubiquitous systems have moved out of the lab and into the world the need to think more systematically about how there are realised has grown. This talk will present intradisciplinary work I have been engaged in with … May 19, Tom Rodden, On lions, impala, and bigraphs: modelling interactions in Ubiquitous Computing.

June 16th, seminar by Gavin Doherty: Technologies for mental health: designing for engagement

The School of Computer Science welcomes Dr Gavin Doherty, Trinity College Dublin to give his talk on ‘Technologies for mental health: designing for engagement’. Abstract: Mental illness is one of the greatest social and economic challenges facing our society. The talk will consider at some of the different ways in which technology (and HCI research) … June 16th, seminar by Gavin Doherty: Technologies for mental health: designing for engagement

April 28th, seminar by Mel Woods: Future Cities: Co-creating Future City Design Fictions in the Wild

The School of Computer Science welcomes Mel Woods from Duncan of Jordanstone College of Art and Design, University of Dundee. Abstract: Blue heritage plaques pepper the UK landscape expounding officially validated narratives celebrating past events, people, and buildings. This seminar will discuss a novel method that draws on this specific cultural context to generate reflective, nano-stories, … April 28th, seminar by Mel Woods: Future Cities: Co-creating Future City Design Fictions in the Wild

SICSA Seminar: “From rats to robot navigation and beyond” by Dr Michael Milford

The School of Computer Science welcomes Dr Michael Milford from Queensland University of Technology, Australia who is meantime visiting Scotland. Abstract: The brain circuitry involved in encoding space in rodents has been extensively tested over the past forty years, with an ever increasing body of knowledge about the components and wiring involved in navigation tasks. … SICSA Seminar: “From rats to robot navigation and beyond” by Dr Michael Milford

Type-driven Verification of Communicating Systems in Idris

Speaker: Edwin Brady Abstract: Idris (http://idris-lang.org/) is a general-purpose programming language with an expressive type system which allows a programmer to state properties of a program precisely in its type. Type checking is equivalent to formally and mechanically checking a program’s correctness. Introductory examples of programs verified in this way typically involve length preserving operations … Type-driven Verification of Communicating Systems in Idris

April 13th, seminar by Nicolai Marquardt: Towards Ad-hoc Collaboration Spaces with Cross-Device Interaction Techniques

Speaker: Nicolai Marquardt, University College London Date/Time: 1-2pm April 13, 2015 Location: CS1.33a, University of St Andrews Abstract: Despite the ongoing proliferation of devices and form-factors such as tablets and electronic whiteboards, technology often hinders (rather than helps) informal small-group interactions. Whereas natural human conversation is fluid and dynamic, discussions that rely on digital content—slides, … April 13th, seminar by Nicolai Marquardt: Towards Ad-hoc Collaboration Spaces with Cross-Device Interaction Techniques

March 10th, seminar by Nick Taylor: Sustaining Civic Engagement in Communities

Speaker: Nick Taylor, University of Dundee Date/Time: 2-3pm March 10, 2015 Location: CS1.33a, University of St Andrews Abstract: Engagement with local issues is typically very low, despite digital technologies opening up more channels for citizens to access information and get involved than ever before. This talk will present research around the use of simple physical … March 10th, seminar by Nick Taylor: Sustaining Civic Engagement in Communities

School Seminars: Building the News Search Engine – Bloomberg

Building the news search engine, by Ramkumar Aiyengar, Bloomberg Abstract: This talk provides an insight into the challenges involved in providing near real-time news search to Bloomberg customers. Our News team is in the process of migrating to using Solr/Lucene as its search and alerting backend. This talk starts with a picture of what’s involved … School Seminars: Building the News Search Engine – Bloomberg

School Seminar: Cloud Platform in Financial Services – Allan Beck, J.P. Morgan

Title: Cloud Platform in Financial Services Presenter: Allan Beck, Cloud Platform and Strategy Lead from JPMorgan Chase Abstract: Cloud Computing is revolutionising the delivery of compute services and driving the next generation of web-scale application design. This presents enormous opportunities but also challenges, particularly in heavily regulated sectors such as Financial Services. Allan Beck, Cloud … School Seminar: Cloud Platform in Financial Services – Allan Beck, J.P. Morgan