ESPRIT Basic Research Project 6707 ParForCE
``Parallel Formal Computing Environment''
Technology Transfer Workshop and Final Review

Project Achievements
and Future Plans

Manuel Hermenegildo (UPM) / ParForce Partners

Madrid, January 15-16, 1996

• Reminder of Project Objectives
• Parallelization [UPM]
• Parallelization [UPM]
• Analysis/Transf. of Seq. Programs [Pisa,UPM,ECRC]
• Analysis of Concurrent Programs [Pisa]
• Analysis of Concurrent Programs [Pisa]
• Analysis/Transf. of AKL [SICS]
• Sequentialization / Granularity Control [UPM]
• Sequentialization / Granularity Control [UPM]
• Sequentialization / Granularity Control [Soton]
• Assessment and Prog. Development Tools [ECRC,UPM]
• Platform Improvement [ECRC]
• Platform Improvement [UPM]
• Program Development WG [Bristol,INRIA]
• Dissemination activities
• Visions for the future