The objective and overall progress of the project were presented in an invited talk at the PARLE'94 special session on European projects on parallelism, and also in a similar talk at LPAR'94. Also, to promote future exchange, a proposal for collaboration between ParForCE partners and several partners in the U.S., in the context of the ESPRIT/NSF collaborative program was completed.
The ParSee tool has been presented at the PARLE'93 conference in Athens, the ILPS workshop on logic programming environments at ILPS'93, and at a review for another Esprit project (APPLAUSE). The APPLAUSE project has provided ECRC with several real applications on which to test our tools, and ParSee has already been used to analyze the behavior of two of the programs. This involved collaboration with the authors of the programs, and they report the pictures to be both easy to understand and useful. ECRC have collaborated with UPM, SICS, Bristol and the University of Saskatchewan on an interface between VisAndOr and ParSee trace files, which is still under development. This will enable ParSee to be directly compared with other performance debuggers, and used as a front end to more detailed visualizations. Another paper presented by Steven Prestwich at CONPAR'94 in Linz on parallelization strategies for logic programs. The problems described in this work were one of the motivations for designing ParSee.
At UPM, collaboration with the group led by Gopal Gupta at New Mexico State University has continued. This collaboration is aimed at the implementation of an And+Or logic programming parallel system. One of the instruments of the collaboration has been a three month stay of a member of the UPM team. UPM also have collaborated with the group led by Saumya Debray at the University of Arizona and Nai-Wei Lin at National Chung Cheng University on granularity analysis/control. As a result, two three month visits from UPM to Arizona (not directly funded by the project) have been made.
Also, several researchers from the areas of parallelism, concurrency, and logic programming have visited the group at UPM. These include Will Winsborough (Penn State University, USA), Peter Kacksuk (KFKI, Hungary), Nissim Francez (Technion, Israel), Jaan Penjam (Estonian Academy of Sciences, Estonia), Micahel Codish (Beer-Sheva University, Israel), Jonathan Martin (U. of Southampton), Kish Shen (U. of Manchester), and Peter Stuckey (Melbourne University, Australia).
The group at UPM has presented papers resulting from the work in the project at several conferences and symposiums, including ILPS'93, ICLP'94, ICLP'95 and EURO-PAR'95, as well as at different workshops such as the workshop on Parallel Logic Programming at New Mexico State University organized by Gopal Gupta, and also the NSF/ICOT Workshop on Parallelism in Oregon. Also, other ParForCE work was presented at PASCO'94, SAS'94, and Gulp/ProDe'94.
Pisa has an ongoing cooperation with Patrick Cousot (LIENS, Paris) on themes related to semantics and abstract interpretation. Talks on Pisa's achievements in ParForCE have been given in Paris.
Researchers from the Pisa group attended the following conferences and workshop: ILPS'93, ICLP'94, Meta'94, LOPSTR'94. Moreover, WSA'94 and the Post-conference ICLP workshop on ``Verification and Analysis of Logic Languages'' were co-organized by people in the group. We had several visitors active in the area, including Kim Marriott (Monash University, Australia) and William Winsborough (Penn State University, USA).
Dan Sahlin and Thomas Sjöland, SICS, demonstrated version 1 of the analysis tool for AKL programs at the Workshop on Static Analysis in Padova, 1993. SICS also participated in the Workshop on Constraints and Analysis in Århus, Denmark, February 1994. When evaluating the performance of the analysis tool for AKL, SICS has apart from internally generated programs used a number of benchmarks produced at ECRC and in Madrid. The work at SICS is performed in close cooperation with ESPRIT project ACCLAIM which provides the computational platform, AKL.
Southampton have presented papers at several conferences, including ICLP'94, ESOP'94 and the NSF/ICOT Workshop in Oregon. They also met with Will Winsborough for several days to start collaborative work during his visit to the UK.
INRIA and Bristol attended ICLP'94 at Santa Margherita Ligure (Italia) and participated in many of the workshops where most of the work in the deliverables has been presented. Bristol organized two workshops on Gödel and two persons from INRIA attended one of them. INRIA presented results on logic program validation at LOPSTR'94 and ILPS'94. Bristol attended GULP-PRODE'94.