| EPSRC Reference: |
EP/E009069/1 |
| Title: |
Copy of Copy of Symposium in Honour of Gordon Plotkin |
| Principal Investigator: |
Simpson, Professor A |
| Other Investigators: |
|
| 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 |