OUCL
news
research
teaching
people
calendar
resources
login
OXFORD UNIVERSITY
COMPUTING LABORATORY
Samson Abramsky: Talks and Lectures
Interaction: splitting the atom of computation
.
BCS/IEE Turing Lecture - From Computation to Interaction: towards a science of information
.
Talk on `A Game Semantics for Generic Ploymorphism'
.
Talk on `Algorithmic Game Semantics and Software Model Checking'
.
PDF
Clifford Lectures, Tulane, 2002: Talk on `Predicative Copying and Polynomial Time'
.
SLI 20003: Talk on `Games, Logic and Interaction'
.
IC-OUCL meeting: Talk on `Logic and Categories'
.
IMA Workshop on Agent-Based Modelling and Simulation: Talk on `Logic and Geometry of Agents'
.
Talk on `A Cook's tour of a simple quantum programming language'
.
Formal Methods for Components and Object (FMCO 2004): Talk on `Game Semantics, Open Systems and Components'
.
PDF
Foundations of the Formal Sciences V: Talk on `Game semantics and Infinite Games'
.
PDF
QDay Paris December 14 2004: Talk on `Abstract Scalars and Free Constructions'
.
PDF
