HDTenEightyP/NetNews huggingface dataset:
From: burgess@csl.sri.com (Judith Burgess)
Newsgroups: ba.seminars
Subject: CSL Seminar Sept. 11
Date: 1 Sep 92 22:23:16 GMT
Reply-To: Judith Burgess <burgess@csl.sri.com>
Organization: Gated to News by csl.sri.com

CSL SEMINAR

        FORMAL VERIFICATION OF NUMERICAL PROGRAMS WITH PENELOPE
                           D. N. Hoover
                      ORA Corp., Ithaca, NY
                     
                SRI International, Bldg. E, Rm EJ 228
                   10:30am. Friday, Sept. 11, 1992

Penelope is an interactive Ada program verification system developed at ORA.
It supports a large subset of sequential Ada, including real number types.
Some of its features are:

        -- A well-developed formal basis
        -- Interactive, incremental verification
        -- Supports the Dijkstra-Gries program development method
                (parallel development of programs and proofs)
        -- Larch-style two-tiered specification.
        -- Verification of numerical programs by a method of limiting 
                correctness or other methods.

Continuing work on Penelope includes concurrency, private types and generics,
verification libraries.  This talk will present an overview of various aspects
of Penelope--specification, verification condition generation, and theorem
proving--and will take a more detailed look at its methods for verifying
numerical programs, and at the theorem proving support that Penelope needs.

NOTE FOR VISITORS TO SRI:

Please arrive at least 10 minutes early in order to sign in and be shown to
the conference room.  SRI is located at 333 Ravenswood Avenue in Menlo Park.
Visitors may park in the visitors lot in front of Building A or E, and should
sign in at the lobby of Building E and wait to be escorted to the meeting
room.

IMPORTANT: Attendance is open, but visitors from certain countries designated
by the US government must make arrangements in advance.  If you have not
already made such arrangements before your arrival, admission to the seminar
will be denied. If you believe you may be from one of these countries and if
you wish to make arrangements to attend, please call Judith Burgess at (415)
859-5924 at least two days before the seminar.
Xref: sparky ba.seminars:555 rec.arts.misc:364 alt.cyberpunk:4042
From: jimt@sunfse.ese.lmsc.lockheed.com (Jim S. Thompson)
Newsgroups: ba.seminars,rec.arts.misc,alt.cyberpunk
Subject: YLEM Forum: Interactive Art
Date: 29 Aug 92 00:21:12 GMT
Followup-To: ba.seminars
Distribution: ba
Organization: LOCKHEED, Sunnyvale, CA


	YLEM - Artists Using Science and Technology
	    announces their next forum:

		INTERACTIVE ART

	Wednesday, September 2, 7:30 pm
	McBean Theatre, The Exploratorium
	3601 Lyon Street, San Francisco, CA
	Info: Nancy Frank 415-626-5742

	YLEM Forums are free and open to the public.  Come and meet 
	some like minded Artomata...

	THE PROGRAM:

		Kenneth Rinaldo and Mark Grossman
	
			Will exhibit the first interactive tail from their
		   	Flock Series.  The work will be a series of computer
			controlled robotic tails which hang upside down from
			the ceiling and respond to different sounds and voices
			by moving toward or away from the viewer.

		Dan Mapes of the Digital Media Cyberlabs

			Will bring a small team to share some electronic art
			generated in real time.  It will be projected onto 
			large video screens, a real-time blend of computer
			graphics and music.

		Coactive Aesthetics founders David Gaw and Ed Koch

			Will show a video tape of their interactive art The 
			Fence, an environment which interacts and acts to 
			viewers and their surroundings.

		Mike Mosher

			Will present his HyperCard driven art/music/vocal
			work "Christopher Cumulonimbus", performed by 
			Mike and Chrysanthe Mosher and special guests.
			The imagery of 500 years of American history are
			explored in 500 seconds of slide images, 
			accompanied by rock improvisations.

		Sylvia Pengilly

			Professor of Music at Loyola University in New 
			Orleans, will demonstrate the interactive software
			"Mandala", with a different twist: the image of the 
			performer allows moving graphics in the background
			to show through, creating a moving silhouette.

	ART IN THE LOBBY:

		Tim Treen	-   Interactive video including "Photo
				    Opportunity", a concise commentary on 
				    modern warfare.

		Lucia Grossberger - A demonstration of "SpaceLace", a 
				    computer generated kaleidascope 
				    developed with Bob Bishop that forms
				    dazzling patterns throughout the 
				    viewer's field of vision.

		Eleanor Kent      - Knitted Fractals.  By using fractals 
				    for designs in knitting, Kent makes
				    high-level math accessable to the 
				    rest of us.

		Donald Simpson    - Simpson does sculpture in several 
				    media, especially plastics, as well
				    as technical models and computer 
				    graphics.
Xref: sparky ba.seminars:547 comp.object:3327 comp.lang.c++:12925 comp.lang.smalltalk:1699 comp.lang.ada:2446 comp.lang.eiffel:1086 comp.lang.modula2:1071
From: ceeunex@garnet.berkeley.edu (Continuing Education in Engineering)
Newsgroups: ba.seminars,comp.object,comp.lang.c++,comp.lang.smalltalk,comp.lang.ada,comp.lang.eiffel,comp.lang.modula2
Subject: Course Announcement: Object Oriented Analysis, Modeling, & Design
Date: 26 Aug 1992 19:45:38 GMT
Organization: University of California, Berkeley
Distribution: ca
NNTP-Posting-Host: garnet.berkeley.edu
Keywords: Object oriented programming (OOP), analysis, modeling
Originator: unxmis@garnet.berkeley.edu

	UC Berkeley Extension presents a short course on Object
Oriented Analysis, Modeling, and Design; October 26-29 in Burlingame
(California).

	This four-day course will cover all essential aspects of
object-oriented analysis and design, based on a modeling approach
adapted from the Rambaugh/OMT method combined with more detailed design
methods. Students will gain a good understanding of different modeling
techniques and their applicability to different problems, and some
insight into mapping these models to different implementation targes,
including C++, Smalltalk, and relational databases.

	Students with prior object-oriected programming experience will
learn to leverage OO designs without using specific programming
constructs; those with no prior exposure will understand the paradigm
and its applicability to different domains; technical managers will
learn how the OO paradigm affects software development from
specification through deployment.

Instructor: Desmond D'Souza, a senior member of the technical staff at
the Microelectronics and Computer Technology Corporation in Austin,
Texas.

For a detailed course brochure, send request to:  

Carol Abrahamson, Continuing Education in Engineering, 
UC Berkeley Extension, Berkeley CA 94720.
e-mail:     ceeunex@garnet.berkeley.edu
fax:        (510) 643-8683 
phone:      (510) 642-4151
From: eugene@wilbur.nas.nasa.gov (Eugene N. Miya)
Newsgroups: ba.seminars,comp.lang.c++,comp.std.c++,misc.books.technical,rec.arts.books
Subject: CLB EVENT NOTICE: GUIDELINES, NON-GUIDELINES & NOT-YET-GUIDELINES FOR C++ PROGRAMMING  -- Scott Myers  9/23/92 6:30 PM
Date: 3 Sep 92 23:06:30 GMT
Followup-To: comp.lang.c++
Distribution: ba
Organization: NAS, NASA Ames Research Center, Moffett Field, CA

Forwarded by CLB request: --enm
Followups to comp.lang.c++. --enm

PLEASE POST IN YOUR SYSTEM.

Thanks!  :)


**ANNOUNCING AN EVENT AT COMPUTER LITERACY BOOKSHOPS**

------------------------------------------------------
   GUIDELINES, NON-GUIDELINES & NOT-YET-GUIDELINES
                FOR C++ PROGRAMMING
------------------------------------------------------

SCOTT MEYERS will describe some new guidelines for C++
programming.  (New guidelines since his book!)  He will
convey not only programming guidelines, but also the
considerations that go into formulating the guidelines
in the first place.

Scott Meyers has been teaching C++ in academic and
industrial settings since 1989.  He is the author of the
sizzling hot seller, "Effective C++", a columnist for "The
C++ Report", and has authored or co-authored more than a
dozen conference and journal articles on software
development, many of which deal specifically with C++.
  

Date: Wednesday, Sept. 23, 1992
Time: 6:30 pm - 8:00 pm


Location: Computer Literacy Bookshops
          2590 North First Street (At Trimble)
          San Jose
          (408) 435-1118


STAY TUNED!!!!  There are more events to come.

Events at our stores are always FREE!!!!!!!!


---------------------------------------------------
If you would like to receive e-mail announcements
for upcoming store events, simply write to
"events-request@clbooks.com".
---------------------------------------------------


If you have signed up for email announcements but
have not received any, please submit your e-mail
address again.


****************************************************

Computer Literacy Bookshops, Inc.
Marketing Department

Tracy Russ                 Cherrie C. Chiu
tracyr@clbooks.com         cherrie@clbooks.com
(408) 435-5015 x109        (408) 435-5015 x116

****************************************************
Newsgroups: ba.seminars,comp.unix.bsd
From: bmyers@rucs2.sunlab.cs.runet.edu (B.Myers)
Subject: Re: PC UNIX SIG Meeting
Organization: Radford University
Distribution: ba
Date: Thu, 3 Sep 92 15:27:01 GMT

In article <1992Sep1.000635.12794@Cadence.COM> dkionka@Cadence.COM (Daniel P. Kionka) writes:
>PC UNIX SIG					Wednesday, Sep. 2, 7pm
>
>
>			X386 for 386BSD
>			---------------
>
>General Meeting Information:
>
>	Date:	Wednesday, Sep 2, 7:00pm to 9:00pm
>
>	Place:	Cupertino Library		(Still looking for a
>		10400 Torre Ave.		 place to call home.)
>
>		Take 280 north to the Cupertino exit south; turn left
>		on Stevens Creek; turn right on Torre; the library is
>		almost 2 blocks down, past the city hall on the left.
>
>	Info:	Dan Kionka,  408-944-7941, dkionka@cadence.com
>		Bill Miller, 408-253-3175, {uunet,mips}!svcs1!slix

I would LOVE to go... but the problem is I live on the other side of the
country.
Would it be possible to put one of these meetings or fourms on IRC?
Make a private channel for 386BSD users who want to learn about
how to fix bugs on their systems, about X386.. or have a Transcription
of the meeting be posted to the net.
Thanks..
Brandon Myers
bmyers@rucs2.sunlab.cs.runet.edu

Newsgroups: ba.seminars,comp.unix.bsd
From: dkionka@Cadence.COM (Daniel P. Kionka)
Subject: PC UNIX SIG Meeting
Organization: Cadence Design Systems, Inc.
Distribution: ba
Date: Tue, 1 Sep 1992 00:06:35 GMT

PC UNIX SIG					Wednesday, Sep. 2, 7pm


			X386 for 386BSD
			---------------


The topic of the September meeting of the PC UNIX SIG will be X windows
and general issues on 386BSD (the free version of BSD Unix).  Amancio
Hasty will talk about X386, the X11R5 server for the 80386.  Amancio is
one of the primary porters of X386, and hopes to add support for the S3
chip-set and other features.  He will give us the background on X386
and then discuss configuration and other common problems in using X.

This meeting will also be a chance to discuss general problems you are
having with 386BSD.  Anyone who has experience with 386BSD is invited to
come and help answer questions.

If you still do not have a copy of 386BSD you can bring in your machine
and install it there.  There will also be disk copies you can buy.


General Meeting Information:

	Date:	Wednesday, Sep 2, 7:00pm to 9:00pm

	Place:	Cupertino Library		(Still looking for a
		10400 Torre Ave.		 place to call home.)

		Take 280 north to the Cupertino exit south; turn left
		on Stevens Creek; turn right on Torre; the library is
		almost 2 blocks down, past the city hall on the left.

	Info:	Dan Kionka,  408-944-7941, dkionka@cadence.com
		Bill Miller, 408-253-3175, {uunet,mips}!svcs1!slix


The PC UNIX SIG is a group that meets monthly to learn about UNIX and
discuss the popular UNIX versions for the IBM PC family.  The format is
technical discussions or product presentations.

The meetings are free and open to the public, but members are encouraged
to join the parent group, Silicon Valley Computer Society, an IBM PC
users group.  For more information on SVCS call 408-286-1271.

-- 
Daniel P. Kionka			Cadence Design Systems, Inc.
dkionka@cadence.com			San Jose, CA 95134  (408) 944-7941
Newsgroups: ba.seminars
From: BA.CGB@forsythe.stanford.edu (Clif Baker)
Subject: Re: Course Announcement: Object Oriented Analysis, Modeling, & Design
Organization: Stanford University, California, USA
Distribution: ba
Date: Fri, 28 Aug 1992 00:01:41 GMT

I'm not so sure this is an improper use of the group [ gee, will
this start a flame war?].

My impression is that not for profit educational organizations have
a bit more leeway in these areas than a commercial entity has.  Now
it's been a while since I've read the appropriate use rules so if
someone's willing to put out the DEFINITIVE word I'm willing to
liston.

By the way...itn't advertising in the .sig about a half step below
advertising in the subject line?  :-)

Clif
=====================================================

In article <rmartin.714930141@thor>,
rmartin@thor.Rational.COM (Bob Martin) writes:
>ceeunex@garnet.berkeley.edu (Continuing Education in Engineering) writes:
>
>
>>       UC Berkeley Extension presents a short course on Object
>>Oriented Analysis, Modeling, and Design;.......
>
>
>>       This four-day course will cover all essential aspects of
>>object-oriented analysis and design........
>
>
>I didn't think this was proper/accepted use of this newsgroup.  I
>would love to advertise my business here as well (in more than just my
>.sig)  But I thought that this group was reserved for non-commercial
>use...
>
>
>--
>Robert Martin                        Training courses offered in:
>R. C. M. Consulting                       Object Oriented Analysis
>2080 Cranbrook Rd.                        Object Oriented Design
>Green Oaks, Il 60048 (708) 918-1004       C++
From: lindholm@garnet.berkeley.edu
Newsgroups: ucb.seminars,ba.seminars
Subject: Information Science Seminar:  Prof. Kari T. Eloranta (9/3/92)
Date: 26 Aug 92 21:39:40 GMT
Distribution: ba
Organization: University of California, Berkeley
NNTP-Posting-Host: garnet.berkeley.edu
Originator: lindholm@garnet.berkeley.edu



   The Doctoral Forum/School of Library and Information Studies/UCB
			  Colloquium Series

			      presents

			 Prof Kari T Eloranta
		    University of Tampere, Finland

	       Theory Formation in Information Science

       Thursday, September 3, at 12 noon, Room 205, South Hall.
 
Prof. Eloranta, PhD (Adm.), PhD (Ed.), is currently Associate
Professor at the Department of Information Science, University of
Tampere, Finland.  He has published over seventy scientific papers,
research reports and books, including (in Finnish):  Introduction to
Organizational Design (1976), Approaches to Cooperative Distributed
Problem-Solving (1980), Distributed Intelligence and Decentralized
Control (1982), Distributed Artificial Intelligence (1987).  His
research interests include knowledge work and its augmentation,
advanced information systems, computer supported cooperative work
(CSCW), office information systems (OIS), concept and theory formation
in scientific work, advanced professional learning and reflective
practices.  He is currently doing collaborative work with Douglas
Engelbart at the Bootstrap Institute.
From: paf@aleph.UUCP (Paul Fronberg)
Newsgroups: ba.seminars
Subject: no SVNet meeting for September
Date: 3 Sep 92 16:32:44 GMT
Distribution: ba
Organization: Aleph Software Consulting, Inc.



 SVNet                                                              Meeting
                          Wednesday, Sep 9, 1992


               ____________________________________________
              ||                                          ||
              ||                                          ||
              ||                                          ||
              ||            No SVNet Meeting              ||
              ||                                          ||
              ||                                          ||
              ||              in September                ||
              ||                                          ||
              ||__________________________________________||


Topic:  No Meeting in September !!!

      Due to changes in programs at Apple, their auditorium will no longer
      be available for our meetings.  As a result, we will not be having a
      meeting in September.  We are actively looking for a new home for the
      SVNet meetings, but have not found a good spot yet.

      As soon as we find a new location for the meetings, we will send out
      a mailing to members and post information to ba.seminars on the net.
      The SVNet Board appreciates your patience, and hopes to see you again
      soon.

Who:   No one

When: WEDNESDAY, September 9, 7:30pm

Place: FUTURE LOCATION TO BE ANNOUNCED

      As noted above, SVNet will no longer be meeting at the Apple
      auditorium on De Anza Blvd.  We sincerely appreciate, however,
      Apple's support in allowing us to meet there all these months.

                   FOR MORE INFORMATION, PLEASE CONTACT:
                      Paul Fronberg at (408) 246-1132

        UNIX is a registered trademark of Unix System Laboratories
        SVNet is supported by annual membership fees and donations
               Our programs are FREE and OPEN TO THE PUBLIC




Please Post                                                     Please Post
Xref: sparky ba.seminars:549 comp.object:3332 comp.lang.c++:12972 comp.lang.smalltalk:1704 comp.lang.ada:2461 comp.lang.eiffel:1091 comp.lang.modula2:1076
From: rmartin@thor.Rational.COM (Bob Martin)
Newsgroups: ba.seminars,comp.object,comp.lang.c++,comp.lang.smalltalk,comp.lang.ada,comp.lang.eiffel,comp.lang.modula2
Subject: Re: Course Announcement: Object Oriented Analysis, Modeling, & Design
Keywords: Object oriented programming (OOP), analysis, modeling
Date: 27 Aug 92 15:42:21 GMT
Followup-To: ba.seminars
Distribution: ca

ceeunex@garnet.berkeley.edu (Continuing Education in Engineering) writes:


>	UC Berkeley Extension presents a short course on Object
>Oriented Analysis, Modeling, and Design;.......


>	This four-day course will cover all essential aspects of
>object-oriented analysis and design........


I didn't think this was proper/accepted use of this newsgroup.  I
would love to advertise my business here as well (in more than just my
.sig)  But I thought that this group was reserved for non-commercial
use...


--
Robert Martin                        Training courses offered in:
R. C. M. Consulting                       Object Oriented Analysis
2080 Cranbrook Rd.                        Object Oriented Design
Green Oaks, Il 60048 (708) 918-1004       C++
Newsgroups: ba.singles
From: richwing@leland.Stanford.EDU (Rich Wingerter)
Subject: Re: ParkBoink RSVPs
Organization: DSG, Stanford University, CA 94305, USA
Date: Thu, 27 Aug 92 03:09:00 GMT

In article <1992Aug25.005256.27065@eagercon.com>, eager@eagercon.com (Michael J. Eager) writes:
|> You can also get to the park by going north on El Camino Real to the third
|> traffic light and turning right on Stanford Ave.  Go to the end and turn left
|> onto Park and park in front of the park.  (Pun intended).

Thanks.  I wasn't sure which street went through.  There are traffic barriers
everywhere and if you take a wrong turn you are lost in a twisty little maze of
passages all different.  Or is that a maze of twisty little passages all
different?  :-)


--Rich Wingerter
From: smith@wesson.Eng.Sun.COM (nina s. smith - sunsoft product marketing)
Newsgroups: ba.singles
Subject: Re: ParkBoink Followup
Date: 1 Sep 1992 04:15:06 GMT
Organization: Sun Microsystems
Distribution: ba
Reply-To: smith@wesson.Eng.Sun.COM
NNTP-Posting-Host: wesson

it was heaps of fun!  although there's not much i care to say about those 
who cheated at basketball . . . some people's children . . . humph!

:) nina
From: johnf@Auspex.COM (John Fereira)
Newsgroups: ba.singles
Subject: Re: hair
Keywords: Pelage Punishment
Date: 27 Aug 92 22:36:04 GMT
Organization: Auspex Systems, Inc.

In article <k+cn_5=.henry@netcom.com> henry@netcom.com (Henry Polard) writes:
>In article <XkgqPB1w165w@spectrx.saigon.com> space@spectrx.saigon.com (b0b runyon) writes:
|>Hey .... I hope its not just a fad - but I have been noticing 
|>women with HAIR on their legs & underarms (!)
|>
|
|You should respect women who have had hair-raising experiences, 
|and not insist that they have hair-razing experiences, too.

I raised rabbits once.  Those thing screw like bonobos..

-- 
+============================================================================++
| John Fereira            "Is that all you ever think about?"                |
| johnf@auspex.com                                                           |
+============================================================================++
Newsgroups: ba.singles
From: sumaln@ntmtv.UUCP (Navreet Sumal)
Subject: *** CUPERTINO:  Room For Rent ***
Originator: sumaln@nmtvs259
Reply-To: sumaln@ntmtv.UUCP (Navreet Sumal)
Organization: Northern Telecom Inc, Mountain View, CA
Distribution: ba
Date: Thu, 3 Sep 1992 17:36:36 GMT

             ROOM FOR RENT IN CUPERTINO TOWNHOUSE
             ====================================

-One room in 3 bdrm, 1.5 bath Townhouse in Very Quiet Cupertino area.

-Furnished house (Room is unfurn).  Includes:  fully equipped
kitchen, washer, dryer, color TV, VCR, stereo (w/CD), Central
heating, A/C.

-Across the street from DeAnza City College (excellent for 
sports: tennis, track, volleyball, biking, swimming, etc).

-Town house Complex has pool, rec-room.

-Fruit trees in small yard, very "wooded" environment (lots of trees, etc)

-Off-Street Parking.

-Fwy's: 280/85 (101, 237 about 10 min).

-Close to: Mountainview, SanJose, Sunnyvale, Los Altos,
           Palo Alto, Los Gatos, Campbell, Santa Clara, etc.
	   (HP, Apple, Tandem, etc)

-Rent: $415/mo + 1/3 utils (Water, Sewage paid for).  
       Move in deposit required.

-Prefer mature, clean person: non-smoker, no pets, no drugs.


Current Roommates:  
------------------
        - Male Software engineer
        - Male Deanza College student 


DAY NUMBER (work): (415) 940-2261
EVENING NUMBER (home): (408) 255-4069

email address: ntmtv!sumaln@ames.arc.nasa.gov



Newsgroups: ba.singles
From: billbill@wetware.com (Bill Bill)
Subject: Re: ParkBoink Re: Followup
Date: Wed, 2 Sep 1992 08:19:45 GMT

Yes indeedy, the get-together at the park generated lotsa fun!
Rich is a gentleman and a scholar, wise in his choices
of entertainment. I had never seen soap bubbles with
those colors before! ...Still can't believe the way
some people would kill an innocent soap bubble with
a Lawn Dart.  (Well, they WOULda)

Seeing as how we need to schedule a ParkBoink every day
(or maybe several times a day) to generate more rain
storms, I propose that we merely redefine the term. A "ParkBoink"
should now refer to *any* boinking while parked.

getting my umbrella,
bill (bill)
From: earl@netcom.com (Earl Vickers)
Newsgroups: ba.singles
Subject: Re: Sing Thing Anyone?
Date: 30 Aug 92 18:35:49 GMT
Distribution: ba
Organization: Netcom - Online Communication Services (408 241-9760 guest)

Oops... forgot to mention, I live in Campbell.

-- 
Earl Vickers		earl@netcom.com
From: adamm@karres.Eng.Sun.COM (Adam Malamy)
Newsgroups: ba.singles
Subject: Re: Sing Thing Anyone?
Summary: sounds like a great idea!
Date: 1 Sep 92 01:50:39 GMT
Distribution: ba
Organization: Sun Microsystems Inc., Mountain View, CA
NNTP-Posting-Host: karres

In article <7xgndza.earl@netcom.com>, earl@netcom.com (Earl Vickers) writes:
> Is there a musician in the house? Any interest in getting a bunch of people
> and guitars and such together and having a sing-along party?
> If I have to I'll volunteer my place... there's a piano here, but my cottage is
> pretty small (more than 8-10 people would be a bit crowded).
> 
...
> Earl Vickers		earl@netcom.com

Sounds like a good idea to me.  I can bring a guitar.

-Adam

--

-Adam