caerts@esat.kuleuven.ac.be (03/01/91)
Dear PCA Participant, You probably (hopefully) received the announcement of the PCA Bonn Workshop. As you could see, five types of submissions are expected for this meeting. This mailing is sent to get a rude idea about the response for the systems groups (Helios/CStools/Express/occam/Idris). These were featured already in Ispra. Contributions are expected to illustrate problems/solutions, implementation techniques, extensions and critics which are specific to one of the systems mentioned above. Therefore, systems will be treated in parallel sessions (as in Ispra). In Bonn, there will also be a systems group about STRAND !!!! Therefore, we also expect your specific contributions on experiences with Strand ( 1 page abstract). Strand will be treated in a special systems group. We will invite representatives from the companies to answer questions and announce future improvements. Even if you don't submit a contribution for the systems groups, you can suggest "hot topics" for which a tutorial-like talk will be useful for you. We will try to cover topics that are requested by a substantial subgroup. Replies must be sent to Wouter Joosen. ------------------------------------------------------------------------- Dept. Computer Science Tel: +32 16 200656 x 3544 Celestijnenlaan 200 A Fax: +32 16 205308 B-3001 Leuven E-mail: wouter@cs.kuleuven.ac.be Belgium ------------------------------------------------------------------------- See you in Bonn, Chris.