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

Posting history for user SQGUK::WINN

15 notes across 4 conferences

Known Personal Names (1)

Geoff Winn @ REO F/G9

Possible 1 Other Accounts for SQGUK::WINN

Username	Total Posts	First Post	Last Post	Most Used Personal Name
RDGENG::WINN	45	`Thu Mar 02 1995`	`Wed Jun 04 1997`	Geoff Winn @ SBP F9/2

Summary of Posts

Click on conference filespec to scroll down to

Conference	Total Posts	Conference Title
turris::languages	8	Languages
rocks::uk_digital	4	Working for Digital in the UK
cookie::formal_methods	2	Formal Methods for Software Development
turris::ada	1	DEC Ada

Conference turris::ada (DEC Ada)

1 posts

TOPIC	2812.0	9X Questions - if not too early
	2812.8	`Mon Nov 22 1993 07:41`	Protected again?	5 lines

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

2 posts

TOPIC	2.0	Introductions
	2.7	`Wed Oct 20 1993 04:59`	Geoff Winn	21 lines
TOPIC	10.0	ASCII equivalents for Z symbols
	10.3	`Wed Oct 20 1993 05:14`	Try fuzz with LaTeX	12 lines

Conference rocks::uk_digital (Working for Digital in the UK)

4 posts

TOPIC	822.0	The vote for preferred stock
	822.5	`Thu Oct 14 1993 17:47`	How do you return your vote?	6 lines
TOPIC	848.0	Northern CSC closing
	848.54	`Fri Dec 03 1993 08:58`	Reversing this decision might be tough	48 lines
TOPIC	870.0	Digital Consulting DVN
	870.4	`Wed Jan 26 1994 17:54`	Where do these numbers come from?	9 lines
TOPIC	925.0	STOCK - Sale of the Century
	925.3	`Wed May 25 1994 11:05`	Shares vs Options	27 lines

Conference turris::languages (Languages)

8 posts

TOPIC	368.0	formal specifications for software
	368.9	`Wed Nov 17 1993 03:47`	Lock Manager Specification	22 lines
	368.17	`Fri Nov 19 1993 10:47`		33 lines
	368.18	`Fri Nov 19 1993 10:54`		13 lines
	368.23	`Tue Nov 23 1993 06:25`	I don't agree with some of these conclusions	142 lines
	368.24	`Tue Nov 23 1993 08:38`	The full reference	9 lines
	368.26	`Wed Nov 24 1993 03:50`	Following code is easier said than done.	46 lines
	368.30	`Tue Nov 30 1993 09:00`		79 lines
TOPIC	382.0	Functional Languages
	382.1	`Wed Aug 31 1994 04:43`	Miranda	14 lines

Additional information

First Post:	`Thu Oct 14 1993`
Last Post:	`Wed Aug 31 1994`
# Topics:	0
# Replies:	15
# We have note bodies for:	8

Total memory used by this script: 823,728 (4,194,304)