| Title: | European Research Abstracts |
| Moderator: | KAMPUS::REGENBOGEN |
| Created: | Thu Apr 03 1986 |
| Last Modified: | Mon Aug 05 1996 |
| Last Successful Update: | Wed May 28 1997 |
| Number of topics: | 443 |
| Total number of notes: | 4098 |
| T.R | Title | User | Personal Name | Date | Lines |
|---|---|---|---|---|---|
| 299.1 | New Contract Issued | NEWWAY::ADDA | Mon Apr 13 1992 14:52 | 237 | |
| 299.2 | Request for updates of work with Danish researchers | EUROPE::MURITH | Tue Apr 14 1992 12:18 | 51 | |
| 299.3 | Progress Report from Researcher | NEWWAY::ADDA | Thu Apr 23 1992 17:01 | 115 | |
| 299.4 | Monthly Report on GY-037A | NEWWAY::ADDA | Mon Jun 01 1992 17:00 | 131 | |
| 299.5 | Leslie Lamport's input on syntax document | AOSANE::ECKLE | Mon Jun 22 1992 16:28 | 82 | |
| 299.6 | Monthly report May 1992, Heiko Krumm, Peter, Arnulf | AOSANE::ECKLE | Fri Jun 26 1992 10:37 | 99 | |
| 299.7 | Monthly report June 1992 (in German) | KAMPUS::ECKLE | Mon Jul 27 1992 08:43 | 112 | |
| 299.8 | P.Harter's comments on Sep 92 formal verification status | KAMPUS::ECKLE | Fri Oct 02 1992 15:55 | 28 | |
| 299.9 | Report of formal review 22-24 sept. 1992 | KAMPUS::ECKLE | Thu Nov 19 1992 14:49 | 262 | |
| 299.10 | project status/progress report Oct. 92 | KAMPUS::ECKLE | Thu Nov 19 1992 15:11 | 68 | |
| 299.11 | Monthly report November | KAMPUS::ECKLE | Thu Dec 17 1992 13:57 | 87 | |
| 299.12 | Report on Verification Techniques | KAMPUS::ECKLE | Thu Dec 17 1992 13:58 | 2309 | |
| 299.14 | Researcher's February report | KAMPUS::ECKLE | Wed Mar 17 1993 08:42 | 69 | |
| 299.13 | Dec. and January report | KAMPUS::ECKLE | Fri Mar 26 1993 15:08 | 107 | |
| 299.15 | Travel approval for Paul Harter requested | KAMPUS::ECKLE | Tue May 04 1993 09:22 | 48 | |
| 299.16 | Monthly report March & April 1993 | KAMPUS::ECKLE | Wed May 26 1993 08:12 | 76 | |
| 299.17 | Monthly report May/June 93 | KAMPUS::ECKLE | Wed Jun 30 1993 13:17 | 111 | |
| 299.18 | Dortmund report for July/August 93 | KAMPUS::VARSEK | Wed Sep 08 1993 17:51 | 111 | |
| 299.19 | Sponsor says, Prototype wasn't rejected, needs further testing | KAMPUS::VARSEK | Mon Sep 13 1993 09:02 | 15 | |
| 299.20 | Status and extension proposal from university | KAMPUS::VARSEK | Wed Sep 29 1993 16:01 | 102 | |
| 299.21 | September/October Report | KAMPUS::VARSEK | Tue Nov 02 1993 18:17 | 70 | |
| 299.22 | Leslie Lamport very satisfied with results | KAMPUS::VARSEK | Fri Nov 05 1993 18:35 | 49 | |
| 299.23 | Dortmund report(s) for phase II *uuencoded ! | KAMPUS::VARSEK | Fri Nov 05 1993 18:36 | 4064 | |
| 299.24 | Marc Brown impressed by deliverables | KAMPUS::VARSEK | Sat Nov 06 1993 22:31 | 40 | |
| 299.25 | Possible extension to be considered, given the good results | KAMPUS::VARSEK | Tue Nov 09 1993 11:24 | 47 | |
| 299.26 | Project completed?Interested in final review? | KAMPUS::REGENBOGEN | Thu Aug 11 1994 13:26 | 33 | |
| 299.27 | presentation:"Formal Specification+TLA"available | KAMPUS::REGENBOGEN | Mon Jan 16 1995 15:48 | 9 | |
| 299.28 | Project review planed for May or June 95 | KAMPUS::REGENBOGEN | Wed Apr 26 1995 17:29 | 60 | |
| 299.29 | Researcher strongly interested in mtg but end of June | KAMPUS::REGENBOGEN | Fri Apr 28 1995 09:04 | 39 | |
| 299.30 | 28.06.95 new date for project review mtg | KAMPUS::REGENBOGEN | Wed May 03 1995 16:56 | 44 | |
| 299.31 | 28.06.95 Heiko's suggestion and proposed agenda | KAMPUS::REGENBOGEN | Tue May 16 1995 10:45 | 142 | |
| 299.32 | 28.06.95 ok with Igor as well ! | KAMPUS::REGENBOGEN | Fri May 19 1995 10:04 | 95 | |
| 299.33 | Is EERP still willing to pay air fare ? | KAMPUS::REGENBOGEN | Fri May 19 1995 10:07 | 48 | |
| 299.34 | EERP will pay for ticket in FY95 | KAMPUS::REGENBOGEN | Fri May 19 1995 10:13 | 25 | |
| 299.35 | hotel info /open issue reg travel payment(crosscharge) | KAMPUS::REGENBOGEN | Wed May 31 1995 08:56 | 138 | |
| 299.36 | Explanation on accounting process reg year-end accruals | KAMPUS::REGENBOGEN | Thu Jun 08 1995 19:04 | 123 | |
| 299.37 | Paper on a HS Transfer Protocol Framework | KAMPUS::REGENBOGEN | Wed Jun 21 1995 18:56 | 1897 | |
| 299.38 | JUL 94:SRC researcher impressed by results | KAMPUS::REGENBOGEN | Thu Jul 06 1995 08:59 | 54 | |
| 299.39 | Report on final review held by sponsor and researcher | KAMPUS::REGENBOGEN | Thu Jul 27 1995 16:19 | 270 | |
| 299.40 | On request available:reports and handouts of review mtg | KAMPUS::REGENBOGEN | Thu Jul 27 1995 17:06 | 49 | |
| 299.41 | Discussion about possibility of upcoming project | KAMPUS::REGENBOGEN | Fri Sep 01 1995 09:44 | 45 | |
| 299.42 | Heiko Krumm's reply: He is ready to start | KAMPUS::REGENBOGEN | Fri Sep 01 1995 09:50 | 61 |