|
| EPSRC Reference: |
EP/E009069/1 |
| Title: |
Copy of Copy of Symposium in Honour of Gordon Plotkin |
| Principal Investigator: |
Dr AK Simpson |
| Other Investigators: |
|
| Researcher Co-investigator: |
|
| Project Partner: |
|
| 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 |
Professor Gordon Plotkin FRS is one of the UK's foreomost computer scientists. He has
made seminal contributions to the semantics of programming languages (both
denotational and operational), he conceived the idea of a "logical framework" and
developed the first example of one, and he has made other important contributions in
computational 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 seeks
EPSRC support for the scientific aspects of the symposium.
We request:
1. Funding for two overseas invited speakers (Professor Dana Scott and
Professor Eugenio Moggi).
2. Support for attendance by 16 UK-based PhD students.
3. Support for certain infrastructure costs associated with the event.
|
| Final Report Summary |
Professor Gordon Plotkin FRS is one of the UK's foreomost computer scientists. He has
made seminal contributions to the semantics of programming languages (both
denotational and operational), he conceived the idea of a "logical framework" and
developed the first example of one, and he has made other important contributions in
computational learning theory, theorem proving, and recently systems biology.
In September 2006, Gordon Plotkin celebrated his 60th birthday. To mark the event,
a symposium in his honour was held in Edinburgh. This research grant
supported the following scientific aspects of the symposium.
1. Funding for invited speakers who required it.
2. Support for attendance by UK-based PhD students.
3. Support for certain infrastructure costs associated with the event.
|
| Further Information: |
|
| Organisation Website: |
http://www.ed.ac.uk |
|
|