Conference | Total Posts | Conference Title |
---|---|---|
gvprod::eerp_proposals | 3 | Research proposals and other EERP matters |
kasino::eerp_abstracts | 2 | European Research Abstracts |
TOPIC | 579.0 | 680/UK Magee/Interactive Computer Systems Examplars | ||
579.23 | Tue Jul 14 1992 11:39 | Igor conditionally supports proposal | 20 lines | |
TOPIC | 628.0 | 729/SW UPPSALA/Protein Crystallography Computational Environment | ||
628.9 | Tue Jul 14 1992 11:43 | Igor's comments | 23 lines | |
TOPIC | 630.0 | 731/PL Warsaw/Methods & Tools Supporting Formal Documentation of Computer Systems | ||
630.11 | Tue Jul 14 1992 11:48 | Igor's comments and support | 19 lines |
TOPIC | 299.0 | 677/GY-037A [100] Dortmund/Tools for Axiom Based Specifications | ||
299.5 | Mon Jun 22 1992 16:28 | Leslie Lamport's input on syntax document | 82 lines | |
299.6 | Fri Jun 26 1992 10:37 | Monthly report May 1992, Heiko Krumm, Peter, Arnulf | 99 lines |
First Post: | Mon Jun 22 1992 |
Last Post: | Tue Jul 14 1992 |
# Topics: | 0 |
# Replies: | 5 |
# We have note bodies for: | 0 |