Event

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

What’s happening to computer hardware, and what does it mean for systems software?

The first set of Computer Science Distinguished Lectures in 2015 will be given by Prof Mothy Roscoe of ETH Zurich, 09:15–15:30 on Thursday 2nd April in the Byre Theatre. Computer systems are not what they used to be, and the days when a machine could be described as a processor, some memory, and some I/O … What’s happening to computer hardware, and what does it mean for systems software?

School Seminar Series: Matching in Practice: Junior Doctor Allocation and Kidney Exchange

Matching in Practice: Junior Doctor Allocation and Kidney Exchange by Dr. David Manlove Abstract: Matching problems typically involve assigning agents to commodities, possibly on the basis of ordinal preferences or other metrics. These problems have large-scale applications to centralised matching schemes in many countries and contexts. In this talk I will describe the matching problems … School Seminar Series: Matching in Practice: Junior Doctor Allocation and Kidney Exchange

School Seminar Series: Statistically Consistent Estimation and Efficient Inference for Natural Language Parsing

Statistically Consistent Estimation and Efficient Inference for Natural Language ParsingBy Shay Cohen, University of Edinburgh. Abstract: In the past few years, there has been an increased interest in the machinel earning community in spectral algorithms for estimating models with latent variables. Examples include algorithms for estimating mixture of Gaussians or for estimating the parameters of … School Seminar Series: Statistically Consistent Estimation and Efficient Inference for Natural Language Parsing

Graduation Reception: Monday 1st December

The School will be holding a Graduation Reception in the Jack Cole Building on Monday 1st December 2014 from 11:00am to 14:00pm. We look forward to celebrating with our MSc and PhD students, and their family and friends.

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