Objectives

Supporting all aspects of research involving the relationship between logic and programming languages, including logical foundations of programming languages, logic as a source for logic-based programming languages, and logic as a mathematical tool for analysing programming languages. Particular attention is given to constraint logic programming paradigms. Maintain an up-to-date scenario of research and development in logic and constraint logic programming languages. This will help novices of the field, as well as Ph.D. students in the area, to get an overall picture of what is happening and what are the interesting directions for research. It will also help active researchers to keep track of the most recent developments and applications, and to find other people working in the area more easily. This activity will be coordinated with WP12 (education and training). To achieve this objective,most of the European active sites in this area should be involved.

Description of work

The task of this workpackage is to foster research activities, discussions and knowledge interchange within academia and also between academia and industry in any domain which involves an interplay between logic and programming languages. Examples are: domains where logic is used as a basis for defining a programming language, or as a tool to give program semantics, or as a method to express the main programming features, as in constraint logic programming. In particular, the participants of this WP will undertake the following activities:

• Collaborate with companies and other academics involved in the relevant research issues.
• Establish a web site with a repository of researchers, applications, FAQ's, and papers, in the field of logic and constraint programming languages.
• Organise an annual workshop aimed at bringing together people from academia and industry.
• Publish the workshop proceedings and in general papers and books in the field. The progress of the work in this workpackage will be monitored by annual meetings, and summarised also in annual workshops where participants and also other key researchers of the fields, both from academia and industry, will report on the latest research results in the area and stimulate discussion.

Deliverables

Web site; repository; meeting reports; workshop proceedings

Milestones and expected result

• Months 1-6: First meeting, discussion about the current state, settling of a detailed plan for the whole period, planning for the first workshop. Meeting report.
• Months 7-12: Second meeting, first workshop, design and implementation of the web site, initial activities to create the repositories. Meeting report, workshop proceedings, first version of the web site.
• Months 13-24: Third meeting, second workshop, improvement of the web site, discussion of further activities. Meeting report, workshop proceedings, improved version of the web site.
• Months 25-36: Last meeting, third workshop, finalisation of the web site construction. Meeting report,workshop proceedings, final repository and web site.