EPSRC logo

Details of Grant 

EPSRC Reference: EP/E009069/1
Title: Copy of Copy of Symposium in Honour of Gordon Plotkin
Principal Investigator: Simpson, Professor A
Other Investigators:
Bradfield, Dr J Fourman, Professor MP
Researcher Co-Investigators:
Project Partners:
Department: Lab. for Foundations of Computer Science
Organisation: University of Edinburgh
Scheme: Standard Research
Starts: 01 September 2006 Ends: 31 December 2006 Value (£): 8,630
EPSRC Research Topic Classifications:
Fundamentals of Computing
EPSRC Industrial Sector Classifications:
No relevance to Underpinning Sectors
Related Grants:
Panel History:  
Summary on Grant Application Form
Professor Gordon Plotkin FRS is one of the UK's foreomost computer scientists. He hasmade seminal contributions to the semantics of programming languages (bothdenotational and operational), he conceived the idea of a logical framework anddeveloped the first example of one, and he has made other important contributions incomputational learning theory, theorem proving, and recently systems biology.In September 2006, Gordon Plotkin celebrates his 60th birthday. To mark the event,a symposium in his honour will be held in Edinburgh. This research proposal seeksEPSRC support for the scientific aspects of the symposium.We request: 1. Funding for two overseas invited speakers (Professor Dana Scott andProfessor Eugenio Moggi).2. Support for attendance by 16 UK-based PhD students.3. Support for certain infrastructure costs associated with the event.
Key Findings
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Potential use in non-academic contexts
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Impacts
Description This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Summary
Date Materialised
Sectors submitted by the Researcher
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Project URL:  
Further Information:  
Organisation Website: http://www.ed.ac.uk