Event

2014/15 Graduation Reception on St Andrews Day

The School of Computer Science will be holding a Graduation Reception in the Jack Cole Building on Monday 30th November 2015 from 11:00am to 14:00pm for Masters and PhD students who are graduating that day at Younger Hall.

The graduates are invited, along with their guests, to come along after the ceremony for a glass of bubbly and mini cream cake or two! Staff are encouraged to come along and join in the celebrations.

On behalf of the school may I wish those graduates unable to attend Graduation the very best for their future endeavors.

 

Event details

  • When: 30th November 2015 11:00 - 14:00
  • Where: Cole Coffee Area

Seminar: “Interaction, Embodiment and Technologies in Early Learning” by Dr Andrew Manches

as

Abstract: 

 

Most of us might agree that ‘hands-on learning’ is good for children in the early years. But why? Is it simply more fun and sociable, or are there any more direct cognitive benefits? And what determines definitions of ‘hands-on’? Can we include iPads? This talk will draw upon an ESRC-funded project to examine the educational implications of recent theoretical arguments about the embodied nature of cognition. Video data from the project will be used to illustrate the methodological significance of the way children gesture when describing mathematical concepts and evaluate a hypothesis that numerical development is grounded upon two particular embodied metaphors. If correct, this presents a serious challenge to traditional approaches to the types of learning materials we offer children. The talk then demonstrates two embodied technologies to consider the potential of new forms of digital interaction to further our understanding of embodied cognition as well as support early learning.

 

 Bio:  

 

Dr Andrew Manches is a Chancellor’s Fellow in the School of Education and leads the Children and Technology group at the University of Edinburgh.  He has 20 years experience working with children, first as a teacher, then as an academic. His recent research, funded by an ESRC Future Research Leader grant, focuses on the role of interaction in thinking, and the implications this has for early learning and new forms of technology.  When not being an academic, Andrew is a parent of two young children and directs an early learning technology start-up that was awarded a SMART grant this year to build an early years maths tangible technology.

Event details

  • When: 24th November 2015 14:00 - 15:00
  • Where: Cole 1.33a
  • Series: School Seminar Series
  • Format: Seminar, Talk

Children in Need Bake Sale 2015

Pudsey2

On Friday November 13 from 10.30 there will be a bake sale hosted by Sophie Gent in aid of BBC Children in Need in the Jack Cole Building coffee area.

There will be a vegan and gluten free option, but if you need this please feel free to let us know in advance so we can reserve some for you. (Tell Ian Gent)
All money taken will go towards the BBC Children in Need. This is a charity to help children in the UK, and more can be found at the BBC Children in Need website

This is the fourth time we’ve done this and it’s been successful every time, so we hope to see you there.  Here are some photos from two years ago to tempt you.

 

Event details

  • When: 13th November 2015 10:30 - 11:30
  • Where: Cole Coffee Area

IEEE talks: JEEVES and the Speculative W@nderverse

In October 2015 we attended two IEEE conferences in the USA. Daniel Rough presented a full paper at the IEEE Symposium on Visual Languages and Human-Centric Computing, October 18–22, in Atlanta, Georgia. Uta Hinrichs presented a full paper at the IEEE Information Visualization (InfoVis) conference as part of VizWeek, October 25-30 in Chicago, Illinois. You can find details of these and all our papers on the publications page.

On November 10th, Daniel and Uta will reprise their talks here in St Andrews and everyone is welcome to attend. You can find the details for the two talks below along with links to the papers via the University of St Andrews research portal.

Talk 1 by Daniel Rough
Title: Jeeves – A Visual Programming Environment for Mobile Experience Sampling
Authors: Rough, D and Quigley, A.

Abstract: The Experience Sampling Method (ESM) captures participants’ thoughts and feelings in their everyday environments. Mobile and wearable technologies afford us opportunities to reach people using ESM in varying contexts. However, a lack of programming knowledge often hinders researchers in creating ESM applications. In practice, they rely on specialised tools for app creation. Our initial review of these tools indicates that most are expensive commercial services, and none utilise the full potential of sensors for creating context-aware applications.

We present “Jeeves”, a visual language to facilitate ESM application creation. Inspired by successful visual languages in literature, our block-based notation enables researchers to visually construct ESM study specifications. We demonstrate its applicability by replicating existing ESM studies found in medical and psychology literature. Our preliminary study with 20 participants demonstrates that both non-programmers and programmers are able to successfully utilise Jeeves. We discuss future work in extending Jeeves with alternative mobile technologies.

Paper details from the St Andrews Research Portal: Rough, DJ & Quigley, AJ 2015, ‘ Jeeves – a visual programming environment for mobile experience sampling ‘, IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Atlanta, United States

 

Talk 2 by Uta Hinrichs

Title: Speculative Practices: Utilizing InfoVis to Explore Untapped Literary Collections

Authors:
Hinrichs, U.,  Forlini, S. ; Moynihan, B.
Abstract:
In this paper we exemplify how information visualization supports speculative thinking, hypotheses testing, and preliminary interpretation processes as part of literary research. While InfoVis has become a buzz topic in the digital humanities, skepticism remains about how effectively it integrates into and expands on traditional humanities research approaches. From an InfoVis perspective, we lack case studies that show the specific design challenges that make literary studies and humanities research at large a unique application area for information visualization. We examine these questions through our case study of the Speculative W@nderverse, a visualization tool that was designed to enable the analysis and exploration of an untapped literary collection consisting of thousands of science fiction short stories. We present the results of two empirical studies that involved general-interest readers and literary scholars who used the evolving visualization prototype as part of their research for over a year. Our findings suggest a design space for visualizing literary collections that is defined by (1) their academic and public relevance, (2) the tension between qualitative vs. quantitative methods of interpretation, (3) result- vs. process-driven approaches to InfoVis, and (4) the unique material and visual qualities of cultural collections. Through the Speculative W@nderverse we demonstrate how visualization can bridge these sometimes contradictory perspectives by cultivating curiosity and providing entry points into literary collections while, at the same time, supporting multiple aspects of humanities research processes.

Published in:
IEEE Transactions on Visualization and Computer Graphics,  (Vol:22, Issue: 1 )  Page(s): 429 – 438
ISSN :  1077-2626
DOI:     10.1109/TVCG.2015.2467452

Paper details from the St Andrews Research Portal:
Hinrichs, U, Forlini, S & Moynihan, B 2015, ‘ Speculative practices: utilizing InfoVis to explore untapped literary collections ‘ IEEE Transactions on Visualization and Computer Graphics .

Event details

  • When: 10th November 2015 14:00 - 15:00
  • Where: Cole 1.33a
  • Format: Talk

Distinguished Lecture: ‘Scalability and Fault-tolerance, are they the same?’ by Joe Armstrong

The first of this academic year’s distinguished lectures will be given by Professor Joe Armstrong, co-inventor of Erlang, on Monday 16th November 2015 at The Byre Theatre.Joe Armstrong

Abstract:

To build a scalable system the important thing is to make small isolated independent units. To scale up we just add more units. To build a fault-tolerant system the important thing to do is make small isolated independent units…. Does that sound familiar? Haven’t I seen that somewhere before? Oh yes, in the first paragraph! So maybe scalability and fault tolerance are really different names for the same thing.

This property of systems, namely that fault-tolerant systems were also scalable, was noticed years ago, notably in the design of the Tandem computer system. The Tandem was design for fault tolerance but rapidly became a leading supplier of scalable computer platforms. Thus it was with Erlang.

Erlang followed  a lot of the Tandem design, it was built for fault-tolerance but some of the most successful applications  (such as WhatsApp) use it for its scalability.

In this lecture I’ll talk about the intimate relationship between scalability and fault-tolerance and why they are architecturally the same thing.

I’ll talk about the design of Erlang and why scalable systems have to be built on non-shared memory abstractions.

Bio:

Joe Armstrong has been programming since 1967. He invented the programming language Erlang. He has worked as a programmer, founded a few successful companies and written a few books. He has a PHD in Computer Science from KTH. He is currently Adjunct Professor of Computer Science at the KTH Royal Institute of Technology in Stockholm.

Event details

  • When: 16th November 2015 09:15 - 15:30
  • Where: Byre Theatre
  • Series: Distinguished Lectures Series
  • Format: Distinguished lecture

Dr Roy Dyckhoff, Hon. Senior Lecturer: ‘Coherentisation of first-order logic’

The School of Computer Science is delighted to announce that honorable lecturer Dr Roy Dyckhoff is an invited speaker at the conference on Automated Reasoning with Analytic Tableaux and Related Methods, in Wrocław (Poland) from 20–24 September.

roy

Abstract: This talk explores the relationship between coherent (aka “geometric”) logic and first-order logic (FOL), with special reference to the coherence/geometricity required of accessibility conditions in Negri’s work on modal logic (and our joint work with her on intermediate logic). It has been known to some since the 1970s that every first-order theory has a coherent conservative extension, and weaker versions of this result have been used in association with the automation of coherent logic; but, it is hard to find the result in the literature. We discuss various proofs of the result, and present a coherentisation algorithm with the desirable property of being idempotent.

Please see: http://tableaux2015.ii.uni.wroc.pl/index.html for further details

Event details

  • When: 20th September 2015 10:00 - 24th September 2015 17:00
  • Format: Conference, Talk

Inaugural Lecture: ‘Constraint Satisfaction and the Crystal Maze’ by Professor Ian Miguel

The School of Computer Science is delighted to announce the Inaugural Lecture of Professor Ian Miguel.

maxresdefault

Title: ‘Constraint Satisfaction and the Crystal Maze’

Abstract: In numerous contexts today we are faced with making decisions of increasing size and complexity, where many different considerations interlock in complex ways. Consider, for example, a staff rostering problem to assign staff to shifts while respecting required shift patterns and staffing levels, physical and staff resources, and staff working preferences. The decision-making process is often further complicated by the need also to optimise an objective, such as to maximise profit or to minimise waste. In this talk I will introduce the field of Constraint Programming, which offers a means of solving such problems automatically. Using an illustrative example from the annals of the Crystal Maze, a popular TV game show from the 1990s, I will explore the process of modelling and solving problems with constraints and discuss some of the most significant challenges in the field.

The lecture will be held at School III, St Salvator’s Quadrangle

and there will be a reception afterwards, in Lower College Hall.

 

Event details

  • When: 23rd September 2015 17:15 - 18:30
  • Where: St Andrews
  • Format: Lecture

Seminar: ‘How to deliver Software Projects and be a Brilliant Software Developer’ by Howard Simms (Apadmi)

Abstract:

This talk will cover a wide range of issues in the practical aspects of delivering software projects, including cohesion and coupling, design patterns, software engineering models, and native vs. hybrid apps. The second part will give an overview of the desirable and undesirable attributes of software developers and how to make your career future proof.

Howard Simms

 

Bio:

 

With more than 15 years’ experience working in the mobile industry, creating technology solutions, building brilliant teams, and delivering continual growth, Howard’s journey at the forefront of one of the world’s most dynamic and exciting technology booms has been exhilarating.

 

 

About Apadmi:

Apadmi is now the UK’s leading mobile software development company, working with organisations such as the NHS and the BBC, as well as a range of business including Lexus and Skyscanner. The business has also spun out technology companies in several different areas, including Market Research, Retail, Loyalty schemes within football and the Internet of Things.
Apadmi has now launched Apadmi Ventures, a formalisation of their spinout business model that is bringing their technical excellence, experience and significant investment capacity to all business sectors.

Event details

  • When: 3rd November 2015 14:00 - 15:00
  • Where: Cole 1.33a
  • Series: School Seminar Series
  • Format: Seminar

Seminar: ‘Trading Programs – How the Finance industry has become so complex that today’s products are similar to programs’ by Joel Bjornson

Abstract:

In this presentation, we’ll explore the ways in which Bloomberg uses functional programming to solve financial problems. In particular, we’ll focus on the challenges involved in the development of the Bloomberg Derivatives Library – an application for structuring and pricing financial contracts.

Bio:

Joel Bjornson is a developer at the Bloomberg Derivatives Library team, specializing in the usage of OCaml for modelling financial contracts. Joel has been interested in functional programming since discovering Haskell at an introductory programming course in university.

 

Event details

  • When: 20th October 2015 14:00 - 15:00
  • Where: Cole 1.33a
  • Series: School Seminar Series
  • Format: Seminar

Seminar: ‘Formalizing Garbage: Mathematical Models of Memory Management’ by Jeremy Singer

Abstract:

Garbage collection is no longer an esoteric research interest. Mainstream programming languages like Java and C# rely on high-performance memory managed run time systems. In this talk, I will motivate the need for rigorous models of memory management to enable more powerful analysis and optimization techniques. I will draw on a diverse range of topics including thermodynamics, economics, machine learning and control theory.

Bio:

Jeremy Singer is a lecturer at the School of Computing Science, University of Glasgow, Scotland. He has research interests in programming languages,compilation, run time code optimization and memory management. Singer received his PhD from Cambridge in 2006. Website:http://www.dcs.gla.ac.uk/~jsinger

 

Event details

  • When: 6th October 2015 14:00 - 15:00
  • Where: Cole 1.33a
  • Series: School Seminar Series
  • Format: Seminar, Talk