Earlier this week Professor Joe Armstrong from the KTH Royal Institute of Technology in Stockholm, delivered the second set of distinguished lectures for 2015, in the Byre Theatre. The three topical, well attended and interesting lectures centred around the question “Scalability and fault-tolerance, are they the same?” Images courtesy of Saleem Bhatti.
The School of Computer Science is delighted to announce that President Maria Klawe will be speaking at our Distinguished Lecture Series on March 31st 2016 in St Andrews. This event will consist of a series of talks from 9am with a tea/coffee break, a lunch break, afternoon talk and Q&A session. Biography Maria Klawe became … Distinguished Lecture Series: ‘CS for All’ by President Maria Klawe
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
Earlier this month Prof. Mothy Roscoe from ETH Zürich delivered the first set of distinguished lectures for 2015 in the Byre Theatre. The three highly accessible, well attended and engaging lectures centred around the question “What’s happening to computer hardware, and what does it mean for systems software?” Images courtesy of Saleem Bhatti. Lecture materials … Computer Science Distinguished Lectures 2015
The first set of Computer Science Distinguished Lectures in 2015 will be given by Prof Mothy Roscoe of ETH Zurich, 09:15–15:30 on Thursday 2nd April in the Byre Theatre. Computer systems are not what they used to be, and the days when a machine could be described as a processor, some memory, and some I/O … What’s happening to computer hardware, and what does it mean for systems software?
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
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.
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
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
We were privileged today to hear three lectures from Monty Widenius, main author of the MySQL database system. His main focus was on entrepreneurship and being an entrepreneur while giving away source code on an open source basis. Three staff members from St Andrews are pictured with Monty before the first lecture, in St … Four Geeks and an Entrepreneur