 |
|
Edinburgh
PEA Pod
|
Synthesis
11-Feb-2003, 11:00am, 3.03, Appleton Tower
Organiser: Chris Mellish
Some of the Informatics folks involved in the
Workshop on Synthesis,
11-Feb-2003, Edinburgh. The fourth event run by PEA Pod.
Large image here.
Synthesis of a complex system from a repertoire of possible components
is a common task in Informatics. For instance,
- complex knowledge bases and databases can be synthesised from
(possibly distributed) components,
- complex courses of actions can be synthesised from individual
operators or stored subplans,
- complex pieces of software can be assembled from individual modules.
The set of components may be fixed or dynamically generated. There
may be issues of search as the number of combinations can be
large. The intelligent selection of candidate components to be
included in a solution may also be an issue. There may be local
constraints (e.g. preconditions matching postconditions) or more
global constraints and preferences on the structure of the solution.
Can we gain by sharing our various goals and solutions for synthesis
problems?
Agenda
- 11.00 - 11.15 Introductory remarks (Chris Mellish)
PDF of Presentation
- 11.15 - 12.00 - an ontology for synthesised artifacts (Austin Tate)
PDF of Presentation
- 12.00 - 12.30 The Application of Deductive Synthesis Techniques to the Rapid
Assembly and Re-Assembly of Grid Applications (Alan Bundy)
PDF of Presentation
- 12.30 - 13.15 Lunch
- 13.15 - 14.00 Towards the synthesis of modular software systems
(Chris Mellish)
PDF of Presentation
- 14.00 - 14.45 Synthesis of functional programs based on Extended ML
specifications (Alan Smaill)
PDF of Presentation
- 14.45 - 15.15 Knowledge Brokering in AKT (Stephen Potter)
PDF of Presentation
- 15.15 - 16.00 Tea and discussion
Attendees were:
Alan Bundy (CISA), John Levine (CISA), Austin Tate (CISA), Henrik
Westerberg (CISA), Chris Mellish (CISA), Ewan Klein (ICCS/HCRC), Knox
Haggie (CISA), Stuart Aitken (CISA), Stephen Potter (CISA), Claus Zinn
(ICCS/HCRC), Sebastian Varges (ICCS/HCRC), Qiang Shen (CISA) [12 in
total]
Page maintained by Austin Tate,
Updated: Wed Feb 12 11:51:02 2003
Free pea pod clip art from Don's
Kitchen.