Contents of this page:
Local information |
Proposed topics for discussion |
Proposed talks |
Minutes of the meeting are now available
(last updated 12th June 2001).
The 55th meeting of WG2.1 will be 15th to 19th January 2001, in
Cochabamba, Bolivia.
The local organizer,
Pablo Azero,
is in charge of local
information and organizational details
(here is a local copy).
None yet.
The following talks have been proposed and will be ready for presentation
at the start of the meeting. The first few talks may be selected from this
list.
- Deriving and Applying Program Synthesis Calculi
(David Basin, University of Freiburg)
-
Over the last decade I have worked with colleagues on several different
projects to develop, implement, and automate the use of calculi for
program synthesis and transformation. These projects had different
motivations and goals and differed too in the kinds of programs
synthesized (e.g., functional programs, logic programs, and even circuit
descriptions). However, despite their differences they were all based
on three simple ideas. First, calculi can be formally derive in a rich
enough logic (e.g., higher-order logic). Second, higher-order
resolution is the central mechanism used to synthesize programs during
proofs of their correctness. And third, synthesis proofs have a
predictable form and can be partially or completely automated. In this
talk I explain these ideas and illustrate the general methodology
employed.
Jeremy Gibbons
(email: Jeremy.Gibbons@comlab.ox.ac.uk)
- November 2000