Document: intro



next up previous WS Presentations Main Page
Next: Motivation

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

Welcome and Introduction:
Project motivation and Objectives

Manuel Hermenegildo (UPM)

Madrid, January 15-16, 1996





Thu Jan 18 11:20:31 MET 1996 <herme@fi.upm.es>-<webmaster@clip.dia.fi.upm.es>