Acts of the Programme Semantics and Syntax (Texts in Computing)

ISBN 10: 1848900805 / ISBN 13: 9781848900806

Editore: College Publications, 2013

In. Codice articolo ria9781848900806_new

Riassunto:

The research programme Semantics and Syntax: A Legacy of Alan Turing, held at the Isaac Newton Institute for the Mathematical Sciences in Cambridge, UK, 9 January - 6 July 2012, was one of the central activities of the Alan Turing Year 2012, the world-wide celebration of the life and work of the exceptional scientist Alan Mathison Turing (1912-1954). It had almost 200 visiting fellows and programme participants, as well as several hundred additional workshop participants, and was organised by Arnold Beckmann (Swansea), S. Barry Cooper (Leeds), Benedikt Löwe (Amsterdam & Hamburg), Elvira Mayordomo (Zaragoza), and Nigel Smart (Bristol). This volume documents the presentations that were given as part of the programme, which include the abstracts of the teaser talks given in the Seminar at the Isaac Newton Institute, and abstracts of the talks given at five of the seven workshops, as well as written versions of two open problem sessions.

Dati bibliografici

Titolo: Acts of the Programme Semantics and Syntax (...
Casa editrice: College Publications
Data di pubblicazione: 2013
Legatura: Brossura
Condizione: New