Event

School Seminar: ‘Probabilistic Formal Analysis of App Usage to Inform Redesign’ by Oana Andrei

The School of Computer Science are delighted to welcome Dr Oana Andrei, from the University of Glasgow, to give her talk on Probabilistic Formal Analysis of App Usage to Inform Redesign. Abstract: Good design of mobile apps is challenging because users are seldom homogeneous or predictable in the ways they navigate around and use the … School Seminar: ‘Probabilistic Formal Analysis of App Usage to Inform Redesign’ by Oana Andrei

Seminar: “Data Exploration on Smart watches” by Dr Rachel Menzies

Abstract: For many of us, interacting with data on mobile devices such as phones and tablets is commonplace in our lives, e.g. phone call data, TV guide, maps, fitness and wearable data. With the introduction of smart watches, the screen size of mobile devices has dramatically decreased. This reduction in screen real estate provides challenges … Seminar: “Data Exploration on Smart watches” by Dr Rachel Menzies

The scientific life of Ada Lovelace

Prof. Ursula Martin will be talking about the letters of Lady Ada Lovelace at 5.30pm on Thursday 17th December in Abertay University (Kydd Building, Bell St, Dundee, behind Dundee High School). This is a BCS sponsored event and all are welcome. Teas/Coffees from 4.30pm. PhD research posters will also be on display.

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

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 … Seminar: “Interaction, Embodiment and Technologies in Early Learning” by Dr Andrew Manches

Children in Need Bake Sale 2015

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 … Children in Need Bake Sale 2015

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. 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 … Distinguished Lecture: ‘Scalability and Fault-tolerance, are they the same?’ by Joe Armstrong

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. Abstract: This talk explores the relationship between coherent (aka “geometric”) logic and first-order logic (FOL), with special reference … Dr Roy Dyckhoff, Hon. Senior Lecturer: ‘Coherentisation of first-order logic’