| Conference | Total Posts | Conference Title |
|---|---|---|
| gvprod::eerp_proposals | 5 | Research proposals and other EERP matters |
| ricks::formal_verification | 3 | Formal Specification and Verification |
| kasino::eerp_abstracts | 2 | European Research Abstracts |
| turris::lisp | 2 | LISP |
| bgsdev::phigs | 1 | Digital PHIGS |
| rdvax::decmpp | 1 | DECmpp |
| TOPIC | 433.0 | Tue May 08 1990 09:14 | PEX on VS3520 | 37 lines |
| TOPIC | 402.0 | 511/SW KTH/TMC | ||
| 402.13 | Thu Sep 14 1989 18:54 | Who am I? | 38 lines | |
| TOPIC | 600.0 | 701/SW Linkoping/High Performance Computing Network (SHPCnet) | ||
| 600.1 | Fri Dec 20 1991 17:58 | The complete project proposal for SHPCnet | 1168 lines | |
| 600.2 | Fri Dec 20 1991 18:10 | The SHPCnet conference 25-26 September 1991 | 622 lines | |
| 600.3 | Fri Dec 20 1991 18:14 | Partners, technical sponsors and Tech. Transfer | 16 lines | |
| 600.4 | Thu Jan 23 1992 11:47 | Complete proposal for the SHPCnet project | 2012 lines | |
| TOPIC | 180.0 | 522.1/SW-002 [75] KTH:TMC Project | ||
| 180.11 | Thu Jan 17 1991 10:35 | Report from a MINIMOS implementation on a Connection Machine | 309 lines | |
| 180.12 | Thu Nov 21 1991 17:25 | Sponsor report 1 July 1990 - 30 June 1991 | 1839 lines | |
| TOPIC | 176.0 | TERADATA | ||
| 176.1 | Mon Oct 26 1992 10:44 | TERADATA prospects | 40 lines | |
| TOPIC | 4.0 | Participants | ||
| 4.17 | Mon Apr 18 1988 09:48 | Magnus Persson | 22 lines | |
| TOPIC | 8.0 | Tue Apr 19 1988 10:03 | When is a method "formal"? | 50 lines |
| 8.2 | Wed May 18 1988 06:37 | What is testing? | 90 lines | |
| TOPIC | 645.0 | Scheme for the VAX | ||
| 645.11 | Tue Feb 09 1988 06:23 | A call from the north pole | 18 lines | |
| 645.16 | Mon Feb 15 1988 07:52 | Video Tapes | 77 lines | |
| First Post: | Tue Feb 09 1988 |
| Last Post: | Mon Oct 26 1992 |
| # Topics: | 2 |
| # Replies: | 12 |
| # We have note bodies for: | 0 |