[Search for users] [Overall Top Noters] [List of all Conferences] [Download this site]

Conference kasino::eerp_abstracts

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

299.0. "677/GY-037A [100] Dortmund/Tools for Axiom Based Specifications" by NEWWAY::ADDA () Mon Apr 13 1992 15:54

T.RTitleUserPersonal
Name
DateLines
299.1New Contract IssuedNEWWAY::ADDAMon Apr 13 1992 18:52237
299.2Request for updates of work with Danish researchersEUROPE::MURITHTue Apr 14 1992 16:1851
299.3Progress Report from ResearcherNEWWAY::ADDAThu Apr 23 1992 21:01115
299.4Monthly Report on GY-037ANEWWAY::ADDAMon Jun 01 1992 21:00131
299.5Leslie Lamport's input on syntax documentAOSANE::ECKLEMon Jun 22 1992 20:2882
299.6Monthly report May 1992, Heiko Krumm, Peter, ArnulfAOSANE::ECKLEFri Jun 26 1992 14:3799
299.7Monthly report June 1992 (in German)KAMPUS::ECKLEMon Jul 27 1992 12:43112
299.8P.Harter's comments on Sep 92 formal verification statusKAMPUS::ECKLEFri Oct 02 1992 18:5528
299.9Report of formal review 22-24 sept. 1992KAMPUS::ECKLEThu Nov 19 1992 17:49262
299.10project status/progress report Oct. 92KAMPUS::ECKLEThu Nov 19 1992 18:1168
299.11Monthly report NovemberKAMPUS::ECKLEThu Dec 17 1992 16:5787
299.12Report on Verification TechniquesKAMPUS::ECKLEThu Dec 17 1992 16:582309
299.14Researcher's February reportKAMPUS::ECKLEWed Mar 17 1993 11:4269
299.13Dec. and January reportKAMPUS::ECKLEFri Mar 26 1993 18:08107
299.15Travel approval for Paul Harter requestedKAMPUS::ECKLETue May 04 1993 13:2248
299.16Monthly report March & April 1993KAMPUS::ECKLEWed May 26 1993 12:1276
299.17Monthly report May/June 93KAMPUS::ECKLEWed Jun 30 1993 17:17111
299.18 Dortmund report for July/August 93KAMPUS::VARSEKWed Sep 08 1993 21:51111
299.19Sponsor says, Prototype wasn't rejected, needs further testingKAMPUS::VARSEKMon Sep 13 1993 13:0215
299.20Status and extension proposal from universityKAMPUS::VARSEKWed Sep 29 1993 19:01102
299.21September/October ReportKAMPUS::VARSEKTue Nov 02 1993 21:1770
299.22Leslie Lamport very satisfied with resultsKAMPUS::VARSEKFri Nov 05 1993 21:3549
299.23Dortmund report(s) for phase II *uuencoded !KAMPUS::VARSEKFri Nov 05 1993 21:364064
299.24Marc Brown impressed by deliverablesKAMPUS::VARSEKSun Nov 07 1993 01:3140
299.25Possible extension to be considered, given the good resultsKAMPUS::VARSEKTue Nov 09 1993 14:2447
299.26Project completed?Interested in final review?KAMPUS::REGENBOGENThu Aug 11 1994 17:2633
299.27presentation:"Formal Specification+TLA"availableKAMPUS::REGENBOGENMon Jan 16 1995 18:489
299.28Project review planed for May or June 95KAMPUS::REGENBOGENWed Apr 26 1995 21:2960
299.29Researcher strongly interested in mtg but end of JuneKAMPUS::REGENBOGENFri Apr 28 1995 13:0439
299.3028.06.95 new date for project review mtgKAMPUS::REGENBOGENWed May 03 1995 20:5644
299.3128.06.95 Heiko's suggestion and proposed agendaKAMPUS::REGENBOGENTue May 16 1995 14:45142
299.3228.06.95 ok with Igor as well !KAMPUS::REGENBOGENFri May 19 1995 14:0495
299.33Is EERP still willing to pay air fare ? KAMPUS::REGENBOGENFri May 19 1995 14:0748
299.34EERP will pay for ticket in FY95KAMPUS::REGENBOGENFri May 19 1995 14:1325
299.35hotel info /open issue reg travel payment(crosscharge) KAMPUS::REGENBOGENWed May 31 1995 12:56138
299.36Explanation on accounting process reg year-end accrualsKAMPUS::REGENBOGENThu Jun 08 1995 23:04123
299.37Paper on a HS Transfer Protocol FrameworkKAMPUS::REGENBOGENWed Jun 21 1995 22:561897
299.38JUL 94:SRC researcher impressed by resultsKAMPUS::REGENBOGENThu Jul 06 1995 12:5954
299.39Report on final review held by sponsor and researcherKAMPUS::REGENBOGENThu Jul 27 1995 20:19270
299.40On request available:reports and handouts of review mtgKAMPUS::REGENBOGENThu Jul 27 1995 21:0649
299.41Discussion about possibility of upcoming projectKAMPUS::REGENBOGENFri Sep 01 1995 13:4445
299.42Heiko Krumm's reply: He is ready to startKAMPUS::REGENBOGENFri Sep 01 1995 13:5061