Series

Distinguished Lecture Series 2014: Luca Cardelli

The 2014 Distinguished Lecture Series took place on Tuesday in Lower College Hall. This year’s speaker Prof Luca Cardelli of Microsoft Research and the University of Oxford, delivered three lectures involving Morphisms of Reaction Networks that Couple Structure to Function. Slides from the lectures are now available: http://lucacardelli.name/indexTalks.html Abstract The mechanisms underlying complex biological systems … Distinguished Lecture Series 2014: Luca Cardelli

Distinguished lecture 2014

The first of this academic year’s distinguished lectures will be given by Prof Luca Cardelli of Microsoft Research and the University of Oxford, 0930–1600 on Tuesday 25 November in Lower College Hall.

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

Departmental Seminar – Andy Stanford-Clark

Title: Innovation Begins at Home Abstract: Prof Andy Stanford-Clark, Chief Technologist for Smarter Energy at IBM UK, will discuss the journey from Smart Metering to a future Smart Grid, incorporating the challenges of microgeneration, electric vehicles, intermittent generation, and demand-side management. Focusing specifically on energy saving in the home, Andy will talk about his own … Departmental Seminar – Andy Stanford-Clark

School Seminar: Neil Moore

Neil Moore obtained his PhD in Computer Science at St Andrews a couple of years ago, and is now working for Abobe. He’ll be giving a technical talk, and describing internship opportunities at Adobe. Title: Mutualism in software development Abstract: Computers are designed to be extensible at different levels: hardware can run different operating systems … School Seminar: Neil Moore

DLS: Formal Modelling and Analysis of Deployed Systems by Prof Muffy Calder

Title Formal Modelling and Analysis of Deployed Systems Abstract Formal methods are traditionally used for specification and implementation in a waterfall model. In contrast, I am interested in formal models of concurrent, interactive systems that may/may not be in software, and   may already be deployed, i.e. they are systems to be observed.  Can formal models … DLS: Formal Modelling and Analysis of Deployed Systems by Prof Muffy Calder

School Seminar: Programs that Write Programs – Is that Interesting?- by Prof Ron Morrison, …with many ideas from…

This seminar is suitable for CS3053-RPIC A talk by Prof Ron Morrison …with many ideas from: Dharini Balasubramaniam, Graham Kirby, Kath Mickan – University of St Andrews, Brian Warboys, R. Mark Greenwood, Ian Robertson, Bob Snowdon – University of Manchester and technologies developed by some of the above and Alfred Brown, Al Dearle, Richard Connor, Quintin Cutts, … School Seminar: Programs that Write Programs – Is that Interesting?- by Prof Ron Morrison, …with many ideas from…

A new Interaction Paradigm for Distributed User Interfaces by Prof. Dr. Harald Reiterer, University of Konstanz

This seminar is suitable for CS3053-RPIC Abstract: Distributed User Interfaces (DUIs) are typically used in ‘Interactive spaces’ which are physical environments or rooms for collaborative work that are augmented with ubiquitous computing technology. Their purpose is to enable a computer-supported collaboration between multiple users that is based on a seamless use of different devices for … A new Interaction Paradigm for Distributed User Interfaces by Prof. Dr. Harald Reiterer, University of Konstanz