Postgraduate Pizza Fest

Welcome to our new postgraduate taught and research students, some of whom are pictured enjoying a social event before teaching commences on Monday. Yes, there has been a lot of Pizza consumed in the School this week!

Creator of the World Wide Web Honoured

Professor Alan Dearle from the School of Computer Science, and Dean of Science at the University, has the honour of acting as Laureator for Sir Tim Berners-Lee today, one of the international scholars and thinkers awarded an Honorary Degree as part of the University’s 600th Anniversary celebrations. Join Professor Dearle and Sir Tim Berners-Lee and Creator of the World Wide Web Honoured

Computer Science Orientation Week 2013

After a welcome talk by Head of School Steve Linton, orientation 2013 is underway in the School. Monday and Tuesday offered various overviews, module talks and academic briefings. Anyone who missed these events will find related material on the School Homepage. School President James Anderson represented the School at Academic Fayre. Student activity was observed Computer Science Orientation Week 2013

PhD Reading Party 2013

The 2013 PhD Reading Party was held last month at the Burn House, just outside Edzell in the North East of Scotland. It was an opportunity for research students to give a talk in a relaxed atmosphere, about their research interests. It also allowed for some socialising while wandering through the nearby woods and rivers. PhD Reading Party 2013

Toblerone Treaty

In express agreement with Computer Science Law, a new supply of Toblerone arrives just in time for semester one, courtesy of Ruth Hoffmann. Images courtesy of Al Dearle

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