EPSRC Reference: |
EP/C001885/1 |
Title: |
Structural Operational Semantics Workshop |
Principal Investigator: |
Ulidowski, Dr I |
Other Investigators: |
|
Researcher Co-Investigators: |
|
Project Partners: |
|
Department: |
Computer Science |
Organisation: |
University of Leicester |
Scheme: |
Standard Research (Pre-FEC) |
Starts: |
01 September 2004 |
Ends: |
30 November 2004 |
Value (£): |
3,000
|
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 |
The Structural Operational Semantics Workshop will be the first ever meeting devoted solely to an exciting theme in computer science research called Structural Operational Semantics (SOS for short). It will provide scientists and postgraduate students with a rare and valuable opportunity to present and discuss the state-of-the-art SOS research, establish new collaboration links, and strengthen the existing ones. It will also provide an opportunity for new researchers to become acquainted with the foundations of SOS.The workshop will take place in conjunction with the 15th International Conference on Concurrency Theory CONCUR 2004. As indicated above, one of the main aims of the workshop is to widen the knowledge of SOS among postgraduate students and young researchers from the U.K. and abroad. In order to achieve this aim, the workshop will have several internationally leading scientists giving invited lectures and tutorials, as well as a number of carefully selected talks presenting the recent developments in SOS research. The invited tutorials and, to some extent, the invited lectures will target postgraduate students specifically, and will provide the training in the SOS methodology as well as stimulating interest in SOS research.This application is for partial financial assistance towards the cost of travel and subsistence for up to 15 PhD students from the U.K. to attend the SOS Workshop, and for inviting two eminent scientists from abroad to deliver the invited tutorials. The total amount applied for is 3000 pounds.
|
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.le.ac.uk |