Month: August 2013

MSc Poster Demo Session 2013

After a summer of hard work, our MSc students submitted their final dissertations last week. Earlier today they had an opportunity to present their posters and demonstrate their project artefacts. With prizes for the top 3 posters and cakes for all, the session was very busy and provided the perfect occasion to reflect upon their MSc Poster Demo Session 2013

New BYOD Protocol Revealed

Bring your own device (BYOD) coffee time sessions increase in popularity as staff and students are pictured getting to grips with some of the new Nexus 7 tablets. On a more practical note they’ll be used on the Video Games and HCI Practice modules in semester one.

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