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