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