Error message
- Deprecated function: TYPO3\PharStreamWrapper\Manager::initialize(): Implicitly marking parameter $resolver as nullable is deprecated, the explicit nullable type must be used instead in include_once() (line 19 of includes/file.phar.inc).
- Deprecated function: TYPO3\PharStreamWrapper\Manager::initialize(): Implicitly marking parameter $collection as nullable is deprecated, the explicit nullable type must be used instead in include_once() (line 19 of includes/file.phar.inc).
- Deprecated function: TYPO3\PharStreamWrapper\Manager::__construct(): Implicitly marking parameter $resolver as nullable is deprecated, the explicit nullable type must be used instead in include_once() (line 19 of includes/file.phar.inc).
- Deprecated function: TYPO3\PharStreamWrapper\Manager::__construct(): Implicitly marking parameter $collection as nullable is deprecated, the explicit nullable type must be used instead in include_once() (line 19 of includes/file.phar.inc).
- Deprecated function: UpdateQuery::expression(): Implicitly marking parameter $arguments as nullable is deprecated, the explicit nullable type must be used instead in require_once() (line 1884 of includes/database/database.inc).
- Deprecated function: MergeQuery::expression(): Implicitly marking parameter $arguments as nullable is deprecated, the explicit nullable type must be used instead in require_once() (line 1884 of includes/database/database.inc).
- Deprecated function: SelectQueryInterface::getArguments(): Implicitly marking parameter $queryPlaceholder as nullable is deprecated, the explicit nullable type must be used instead in require_once() (line 1884 of includes/database/database.inc).
- Deprecated function: SelectQueryInterface::preExecute(): Implicitly marking parameter $query as nullable is deprecated, the explicit nullable type must be used instead in require_once() (line 1884 of includes/database/database.inc).
- Deprecated function: SelectQueryExtender::getArguments(): Implicitly marking parameter $queryPlaceholder as nullable is deprecated, the explicit nullable type must be used instead in require_once() (line 1884 of includes/database/database.inc).
- Deprecated function: SelectQueryExtender::preExecute(): Implicitly marking parameter $query as nullable is deprecated, the explicit nullable type must be used instead in require_once() (line 1884 of includes/database/database.inc).
- Deprecated function: SelectQuery::getArguments(): Implicitly marking parameter $queryPlaceholder as nullable is deprecated, the explicit nullable type must be used instead in require_once() (line 1884 of includes/database/database.inc).
- Deprecated function: SelectQuery::preExecute(): Implicitly marking parameter $query as nullable is deprecated, the explicit nullable type must be used instead in require_once() (line 1884 of includes/database/database.inc).
* Introduction
Speakers will cover the wide range of subjects to which Samson made pioneering contributions, stretching from the semantics of programming languages, including domain theory and game semantics, via logic were he introduced important notions such as full completeness, to quantum computing and quantum foundations, where he is a father of categorical quantum mechanics.
* Fee and Funding
Conference fee is £50 per person for speakers and participants. Cash (in sterling pounds) payable on 28th May 2013 at the arrival registration. Limited funding is available for students and young researchers. Please contact Destiny Chen for further details prior to your booking.
* Speakers
Talks will be provided by Samson's close colleagues and collaborators. Below is a provisional list of speakers, many more TBC:
* Bob Coecke
* Achim Jung
* Martin Hyland
* Noson S. Yanofsky
* Philip Scott
* Chris Hankin
* Peter Hines
* Simon Gay
* Nikos Tzevelekos
* Marcelo Fiore
* Paul-Andre Mellies
* Shane Mansfield
* Chris Heunen
* Prakash Panangaden
* Ray Lal
* Radha Jagadeesan
* Aleks Kissinger
* Ross Duncan
* Andrzej Murawski
* Michael Mislove
* Keye Martin
* Contact:
Destiny.Chen@cs.ox.ac.uk
