Event

StACS Hackathon hosted by Witlr

StACS will be holding its first big event of the year! It will take place in the MSc Lab in the John Honey building between 7pm and 2am on November 14th. The topic will be data visualization and will be sponsored by Witlr (http://witlr.com/). There will be free pizza, free hard and soft refreshments, a StACS Hackathon hosted by Witlr

The Interaction of Representation and Reasoning by Professor Alan Bundy, University of Edinburgh

These lectures will take place in Lower College Hall, North Street. The lectures will discuss the close relationship between how knowledge and problems may be represented and how people and computers use these representations to guide their reasoning about the problems. 10.00 1. Title: The Interaction of Representation and Reasoning Abstract: Successful reasoning is dependent The Interaction of Representation and Reasoning by Professor Alan Bundy, University of Edinburgh

Some Limits of Language: A Perspective from Formal Grammars and Languages by Prof Arvind Joshi, School of Engineering and Applied Science, University of Pennsylvania, USA

Limits of language can be studied from various perspectives such as morphology, syntax, and semantics, among others. At the syntactic level, one direction that has been pursued very actively is via the theory of formal languages, beginning with the so-called Chomsky hierarchy. In this hierarchy, the finite state languages (regular languages) and the context free Some Limits of Language: A Perspective from Formal Grammars and Languages by Prof Arvind Joshi, School of Engineering and Applied Science, University of Pennsylvania, USA

St Andrews Students – Experience with Industrial Internships

Internships are fantastic opportunities to gain some practical experience as well as find out what is happening the real world of computer science! Come and hear some our UG students share their experiences of their 2013 summer internships. Melissa Mozifian: Adobe Waqas Arshad: AIG Mariya Hristova: Google STEP Sam Koch: Facebook

Scaling Skyscanner’s Flight Search & Making Mobile Applications at Skyscanner

Welcome to the first presentation in the School of Computer Science’s Seminar Series. Please join us on for a seminar on Skyscanner’s technology this Tuesday (September 24) at 14:00 in Purdie Lecture Theatre C. The two talks combined will take about 50 minutes with time for questions, and combine two topics presented by Skyscanner experts: Scaling Skyscanner’s Flight Search & Making Mobile Applications at Skyscanner

On Normalising Disjunctive Intermediate Logics

Speaker: Prof. Jonathan Seldin, University of Lethbridge, Canada Abstract: In this talk it is shown that every intermediate logic obtained from intuitionistic logic by adding a disjunction can be normalized. However, the normalisation procedure is not as complete as that for intuitionistic and minimal logic because some results which usually follow from normalisation fail, including On Normalising Disjunctive Intermediate Logics

SACHI Seminar: Team-buddy: investigating a long-lived robot companion

SACHI seminar Title: Team-buddy: investigating a long-lived robot companion Speaker: Ruth Aylett, Heriot-Watt University, Edinburgh Abstract: In the EU-funded LIREC project, finishing last year, Heriot-Watt University investigated how a long-lived multi-embodied (robot, graphical) companion might be incorporated into a work-environment as a team buddy, running a final continuous three-week study. This talk gives an overview of the SACHI Seminar: Team-buddy: investigating a long-lived robot companion

Jacob Eisenstein: Interactive Topic Visualization for Exploratory Text Analysis

Abstract: Large text document collections are increasingly important in a variety of domains; examples of such collections include news articles, streaming social media, scientific research papers, and digitized literary documents. Existing methods for searching and exploring these collections focus on surface-level matches to user queries, ignoring higher-level thematic structure. Probabilistic topic models are a machine Jacob Eisenstein: Interactive Topic Visualization for Exploratory Text Analysis