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

Posting history for user CIRCUS::HORNING

8 notes across 2 conferences

Known Personal Names (1)

Jim Horning

Possible 2 Other Accounts for CIRCUS::HORNING

Username	Total Posts	First Post	Last Post	Most Used Personal Name
QUABBI::"horning@src.dec.com"	1	`Thu Apr 06 1995`	`Thu Apr 06 1995`	Jim Horning
SRC::horning	2	`Wed Dec 01 1993`	`Wed Dec 01 1993`	Jim Horning

Summary of Posts

Click on conference filespec to scroll down to

Conference	Total Posts	Conference Title
ricks::formal_verification	7	Formal Specification and Verification
cookie::formal_methods	1	Formal Methods for Software Development

Conference cookie::formal_methods (Formal Methods for Software Development)

1 posts

TOPIC	12.0	91 problem?
	12.10	`Fri Nov 06 1992 14:07`	Make that John McCarthy	47 lines

Conference ricks::formal_verification (Formal Specification and Verification)

7 posts

TOPIC	3.0	Bibliography
	3.2	`Wed Feb 10 1988 14:47`	Relevant reports from SRC	105 lines
TOPIC	4.0	Participants
	4.15	`Tue Feb 09 1988 16:07`	Jim Horning	52 lines
TOPIC	6.0	Why use formal methods?
	6.2	`Wed Feb 10 1988 20:13`	Some Reasons Why	99 lines
TOPIC	8.0	When is a method "formal"?
	8.1	`Tue Apr 19 1988 20:08`	... when it becomes mechanizable.	18 lines
TOPIC	13.0	`Thu Nov 03 1988 18:57`	Miracles	135 lines
TOPIC	14.0	Mailing lists and notes conferences
	14.13	`Fri Nov 06 1992 14:43`	LP and Larch mailing list	10 lines
TOPIC	31.0	The nqthm (Boyer-Moore) theorem prover
	31.1	`Wed Nov 25 1992 18:57`	NQTHM expert within Digital	10 lines

Additional information

First Post:	`Tue Feb 09 1988`
Last Post:	`Wed Nov 25 1992`
# Topics:	1
# Replies:	7
# We have note bodies for:	0

Total memory used by this script: 567,840 (4,194,304)