| Paul.Boca@googlemail.com 2007-10-25, 10:12 pm |
| (Apologies if you receive multiple copies of this announcement)
<<< PLEASE NOTE CHANGE OF VENUE >>>
<<< THE EVENT WILL BE HELD AT THE >>>
<<< LONDON MATHEMATICAL SOCIETY >>>
<<<[color=darkred]
<<< http://www.lms.ac.uk/contact/map.html >>>
BCS-FACS Evening Seminar -- Joint event with the London Mathematical
Society
Games, Interaction and Computation
Prof. Samson Abramsky
Oxford University
5 November 2007
5.45pm
De Morgan House
57-58 Russell Square
London
WC1B 4HS
http://www.lms.ac.uk/contact/map.html
Abstract
Our current understanding of computation has widened enormously beyond
the original `closed world' picture of numerical calculation in
isolation from the environment. In the age of the Internet and the
Web, and now of pervasive and ubiquitous computing, we see that
*interaction* and *information flow* between multiple *agents* are
essential features of computation. This has required the development
of novel mathematical models of interactive computation. One of the
compelling ideas which has taken root is to view programs as
*strategies* for playing a `game of interaction' with an environment
or context. This has led to a substantial development of Game
Semantics over the past 15 years, and some striking results, notably
the first `fully abstract' models for a range of increasingly
sophisticated programming languages.
The subject is rich both mathematically and computationally. From the
mathematical point of view, there are new categories of game and
strategies, with strikingly novel properties, which yield new insights
e.g. into the constructions of free models of various important
theories. Computationally, the ideas of Game Semantics have been
developed in an algorithmic direction, yielding new approaches to
compositional model-checking and analysis for programs with state,
concurrency, probability and other features.
In this seminar we will provide an introduction to and overview of
these developments, emphasizing the key concepts and intuitions rather
than the technical details.
Refreshments will be served from 5.15pm
The seminar is free of charge and open to everyone. If you would like
to
attend, please email Paul Boca [Paul.Boca@googlemail.com] by[color=darkred]
Directions on how to get to venue:
http://www.lms.ac.uk/contact/map.html
BCS-FACS website:
http://www.bcs-facs.org
LMS website:
http://www.lms.ac.uk
Evening Seminars:
http://www.bcs-facs.org/events
|