HDTenEightyP/NetNews huggingface dataset:
From: mcg2@ns1.cc.lehigh.edu (Marc Gabriel)
Newsgroups: news.misc
Subject: LymeNet subscriptions
Date: 25 Jan 93 21:58:51 GMT
Organization: Lehigh University


   I submitted the following announcement a few days ago to this board.
Unfortunately, due to technical difficulties, some subscription requests
submitted on Sat. (1-23) and Sun. (1-24) were not processed.  If you
subscribed and did *not* receive confirmation of your subscription from the
list server, please re-subscribe.
   Sorry for the problems.
   The first issue of the LymeNet Newsletter will appear later this week.
   Here is the original announcement...
-----------------------------------------------------------------------------
Introducing...

******************************************************************************
*                The Lyme Disease Electronic Mail Network                    *
*                               LymeNet                                      *
******************************************************************************

Lyme Disease is now the fastest growing infectious disease in the United
States.  In 10 short years, this little known bacterial infection has claimed
half a million victims and the number of new patients continues to spiral
upward with no relief in sight.  It is estimated that in 1991, 100,000
Americans contracted this dangerous disease.  If left untreated, LD can cause
permanent nerve, musculoskeletal and cardiac damage.

Unfortunately, many in the medical and political arenas have not given this
epidemic much thought.  Self appointed experts in the academic community have
declared that LD can always be cured with short courses of simple antibiotics.
However, as the number of cases rise, doctors on the front lines are
discovering that LD is more serious that previously suspected, requiring longer
treatment therapies and more complex combinations of medicines.  The battle
lines have been drawn.

And the battles continue at LD conferences, and in the various State
legislatures where insurance companies, terrified at the high cost of LD, are
attempting to short change patients.  Estimates show that the average cost of
treatment for chronic LD patients ranges from $60,000 to $100,000 per patient.

MAILING LIST:
To keep up with the latest developments, including new treatment protocols,
research news and political events, we introduce the Lyme Disease Electronic
Mail Network.  LymeNet, in association with the Lyme Disease Network of New
Jersey, Inc., with provide you with a periodic newsletter with the latest
information.  All you need is an Internet- accessible e-mail address.

INTERESTED INDIVIDUALS INCLUDE:
      * LD patients
      * Friends or family of LD patients, who may wish to forward the
        newsletter to an LD patient
      * Interested members of the medical community
      * Interested members of the press


To subscribe, send a memo to Internet address  listserv@Lehigh.EDU
In the body type:

subscribe LymeNet-L <Your Real Name>

Please send problem reports to mcg2@Lehigh.EDU.
From: newsstats@uunet.UU.NET
Newsgroups: news.lists
Subject: Top 25 News Groups for the last 2 weeks
Date: 22 Jan 1993 23:30:37 -0500
Organization: UUNET Communications
NNTP-Posting-Host: batch.uu.net

         No. of        $ Cost  % of  Cumulative
Rank  Kbytes Articles per Site Total  % of Total  Group (Articles/contributor)
   1 66399.3    1598    175.22 10.2%    10.2%     alt.binaries.pictures.erotica (4.4)
   2 22837.9     582     60.27  3.5%    13.8%     alt.binaries.pictures.misc (3.7)
   3 10290.7     226     27.16  1.6%    15.4%     comp.binaries.os2 (1.0)
   4  9247.0     312     24.40  1.4%    16.8%     news.answers (1.0)
   5  6989.6     177     18.44  1.1%    17.9%     alt.binaries.sounds.misc (3.2)
   6  6057.5     224     15.99  0.9%    18.8%     alt.supermodels (2.2)
   7  5131.4    2738     13.54  0.8%    19.6%     talk.abortion (8.4)
   8  4912.6    1456     12.96  0.8%    20.4%     bionet.molbio.genbank.updates (1.0)
   9  4811.0    2515     12.70  0.7%    21.1%     talk.politics.misc (4.2)
  10  4800.0    1711     12.67  0.7%    21.8%     talk.religion.misc (4.1)
  11  4733.9     187     12.49  0.7%    22.6%     comp.mail.maps (1.0)
  12  4573.0      99     12.07  0.7%    23.3%     alt.sex.pictures (5.2)
  13  3976.4     107     10.49  0.6%    23.9%     alt.sources (2.6)
  14  3957.0     243     10.44  0.6%    24.5%     relcom.sources (2.3)
  15  3782.4    1765      9.98  0.6%    25.1%     soc.culture.indian (2.7)
  16  3739.5    3220      9.87  0.6%    25.7%     ncar.weather (1610.0)
  17  3452.1     418      9.11  0.5%    26.2%     alt.sex.stories (1.9)
  18  3447.9      84      9.10  0.5%    26.7%     alt.binaries.pictures (3.5)
  19  3311.0    1501      8.74  0.5%    27.2%     alt.rush-limbaugh (4.3)
  20  3293.5    2485      8.69  0.5%    27.7%     soc.motss (5.1)
  21  3272.0    1556      8.63  0.5%    28.2%     alt.fan.rush-limbaugh (4.3)
  22  3263.2     970      8.61  0.5%    28.7%     alt.activism (3.2)
  23  3135.7    1443      8.27  0.5%    29.2%     alt.atheism (4.2)
  24  3113.0    1532      8.21  0.5%    29.7%     alt.sex (2.4)
  25  3019.1    1075      7.97  0.5%    30.2%     talk.politics.mideast (6.6)

$ Cost is the cost of sending it over a Trailblazer to UUNET, using the 
800 number and Night rates. (1000 characters per second and $9.50 per hour)
I.e .264 cents per kilobyte
From: joosten@cs.utwente.nl (Stef Joosten)
Subject: CFP: Method Engineering and Meta Modelling
Keywords: Method Engineering, Meta Modelling, Summerschool
Organization: University of Twente, Dept. of Computer Science
Date: Thu, 28 Jan 1993 01:00:29 GMT


                  PRELIMINARY CALL FOR PARTICIPATION

CfP: 2nd International Summerschool on Method Engineering and Meta Modelling

                    Wed. 12 May - Sun. 16 May 1993
                      Enschede,  the Netherlands

After a successful event in Jyvaskyla, Finland, last year,
the Summerschool on Method Engineering and Meta Modelling (ME&MM)
is organised for the second time. The location is the Netherlands,
on the beautiful campus of the University of Twente.

The formula is unchanged: limited participation and top-of-the-bill
invited lecturers.

The themes are meta-modelling, method engineering both in practice
and in theory.

The program committee consists of:
   S. Brinkkemper (chair)
   S. Joosten (secr.)
   K. Lyytinen
   R. Stamper
   R.J. Welke
   G. Wijers

The definitive call for participation will be published as soon as
the program is definitive. The program committee expects this in a
few weeks time.

Participation to this summerschool is limited.
Details about the admission procedure are published in the definitive
call for participation.
Costs are expected to be around $500 and will include participation,
accomodation and all meals.

The Wednesday is reserved for arrivals, registration and opening session.
The program starts on Thursday in the early morning.

The summerschool is scheduled to precede the IFIP WG8.2 Conference
in Noordwijkerhout, which starts on Monday 17th. Participants to
that conference will have enough time on Sunday to get there.


You can express your interest by dropping a note to
   Stef Joosten
   e-mail: joosten@cs.utwente.nl
or
   Stef Joosten
   University of Twente
   dept. of Computer Science
   P.O. Box 217
   7500 AE  ENSCHEDE
   the Netherlands

Please give us your e-mail address, so we can put you on the list
of potential participants. This ensures you to receive the
most recent information, such as the call for participation.
From: aba@hp835.mitek.com (Binion Amerson)
Newsgroups: news.announce.conferences
Subject: 40th STC Annual Conference
Summary: June 6-10, 1993, Dallas, texas
Keywords: STC, technical commuinication, writing, editing, illustrating
Date: 27 Jan 93 01:00:26 GMT
Expires: Thu, 10 Jun 1993 07:00:00 GMT
Organization: OpenConnect Systems, Dallas, TX


                        SOCIETY FOR TECHNICAL COMMUNICATION
       40TH ANNUAL CONFERENCE, POST-CONFERENCE WORKSHOPS, AND EXPOSITION


ORGANIZATION:   Society for Technical Communication (STC)

HOST:           STC Lone Star Chapter (Dallas/Fort Worth, Texas)

WHAT:           40th STC Annual Conference, Post-Conference Workshops, and
                Exposition

THEME:          Communication Roundup

WHEN:           June 6 - 10, 1993

WHERE:          Loews Anatole Hotel, Dallas, Texas, USA

ATTENDEES:      Writers, editors, and illustrators of technical, scientific,
                and medical material; managers, consultants, and contractors
                in professional communication; and educators, students, and
                researchers in the field.

TECHNICAL SESSIONS:
                More than 200 technical sessions concerning:
                  * Quality writing and editing
                  * Visual and graphic communication
                  * Education, research, and training
                  * Management and independent consulting
                  * Desktop and electronic publishing trends
                  * On-Line documentation, hypertext, and multimedia
                  * And much, much more.

POST-CONFERENCE WORKSHOPS:
                Nine Post-Conference Workshops are scheduled:
                  * Product Usability: Survival Techniques
                  * Teaching Technical Communication
                  * Designing and Delivering Effective Training
                  * Indexing Technical Documents
                  * Creating On-Line Documentation
                  * Script Design for Information Video
                  * The Real Cost of Technical Publications
                  * Qualitative Research Techniques
                  * Contextual Inquiry in Information Design.

EXPOSITION:     Some 70 exhibit booths offering a wide range of products and
                services for the technical communication professional will be
                available.

ADVANCE PROGRAM AND REGISTRATION INFORMATION AVAILABLE FROM:
                Society for Technical Communication, 901 N. Stuart Street,
                Suite 904, Arlington, Virginia 22203; telephone 703/522-4114;
                fax 703/522-2075.  Or, send E-Mail message to Binion Amerson
                at aba@oc.com.  Advance Program will be mailed February 1993.

Binion Amerson, aba@oc.com
General Manager, 40th STC Annual Conference

--
 Binion Amerson, Senior Technical Writer, OpenConnect Systems, 2711 LBJ Frwy,
 Suite 800, Dallas, TX 75234; 214/888-0447; 214/484-6100 (fax); aba@oc.com
 General Manager: 40th STC Annual Conference, June 6-10, 1993, Dallas, TX
From: Annemarie.Besselink@phil.ruu.nl (Annemarie Besselink)
Newsgroups: news.announce.conferences
Subject: Call for papers: Int. Workshop on Semantics of Specification Languages
Date: 27 Jan 93 01:04:07 GMT
Expires: Thu, 1 Apr 1993 08:00:00 GMT
Organization: Department of Philosophy, University of Utrecht, The Netherlands


Call for papers

International Workshop on
Semantics of Specification Languages
SoSL

25-27 october, 1993, Utrecht, the Netherlands

The workshop intends to investigate the problems of giving semantics
for  specification languages. It will incorporate a number of invited
talks concentrating on giving an overview of major approaches to the
semantics of specification languages. The workshop also intends to
investigate general issues related to this area, such as type
checking and the derivation of proof rules and proof obligations.
The purpose of the workshop is to discuss various attempts of
formally defining specification languages and to identify common
issues that arise in this important area of formal methods. It will
enable the various groups working in this area to interchange
problems and ideas and possibly to identify a common programme of
work for further investigation.
Full original papers (up to 15 pages) are solicited, particularly in
the following areas:


- Semantics for specification languages;

- Specification languages applied to formal software development;

- Derivation of proof rules and proof obligations;

- Techniques for type checking of specifications and related
analysis;

- Foundations of specification languages (logic, type theory,
category theory, etc.).


Survey papers of major approaches to the semantics of specification
languages (up to 30 pages) are also solicited. Submitted papers will
be refereed and accepted papers will be published.


Program
The author of an accepted research paper is expected
to give a presentation of 25-30 minutes and the
author of an accepted survey paper is expected
to give a presentation of 50-60 minutes.
Sufficient time will be scheduled for discussion
groups.

Submission
Four copies of each submission should be sent to the
SoSL secretariat at the address shown at the right.
Authors who have limited access to reproduction
facilities may submit one copy of the paper.

Program Committee
Derek Andrews, University of Leicester (chair)
Jan Bergstra, University of Amsterdam
George Leih, PTT Research
Brian Monahan, Universitiy of Manchester
Hans Toetenel, Delft University of Technology
Jim Woodstock, Oxford University

SoSL Secretariat
Annemarie Besselink
Department of Philosophy
University of Utrecht
P.O. Box 80126, 3508 TC Utrecht
The Netherlands
Telephone: +31 30 53 18 31
Fax: +31 30 53 28 16
Email: Annemarie.Besselink@phil.ruu.nl

Organizing committee
Annemarie Besselink, University of Utrecht
Kees Middelburg, University of Utrecht (chair)
Jan Friso Groote, University of Utrecht
Rick Thomas, University of Leicester

Deadlines
Submission of a full paper:   1 April 1993
Notification of authors:      1 June 1993
Camera-ready copies:          1 August 1993
From: Annemarie.Besselink@phil.ruu.nl (Annemarie Besselink)
Subject: Call for papers: Int. Workshop on Semantics of Spec. Languages
Organization: Department of Philosophy, University of Utrecht, The Netherlands
Date: Thu, 28 Jan 1993 01:00:26 GMT
Expires: Thu, 1 Apr 1993 08:00:00 GMT


Call for papers

International Workshop on
Semantics of Specification Languages
SoSL

25-27 october, 1993, Utrecht, the Netherlands

The workshop intends to investigate the problems of giving semantics
for  specification languages. It will incorporate a number of invited
talks concentrating on giving an overview of major approaches to the
semantics of specification languages. The workshop also intends to
investigate general issues related to this area, such as type
checking and the derivation of proof rules and proof obligations.
The purpose of the workshop is to discuss various attempts of
formally defining specification languages and to identify common
issues that arise in this important area of formal methods. It will
enable the various groups working in this area to interchange
problems and ideas and possibly to identify a common programme of
work for further investigation.
Full original papers (up to 15 pages) are solicited, particularly in
the following areas:


- Semantics for specification languages;

- Specification languages applied to formal software development;

- Derivation of proof rules and proof obligations;

- Techniques for type checking of specifications and related
analysis;

- Foundations of specification languages (logic, type theory,
category theory, etc.).


Survey papers of major approaches to the semantics of specification
languages (up to 30 pages) are also solicited. Submitted papers will
be refereed and accepted papers will be published.


Program
The author of an accepted research paper is expected
to give a presentation of 25-30 minutes and the
author of an accepted survey paper is expected
to give a presentation of 50-60 minutes.
Sufficient time will be scheduled for discussion
groups.

Submission
Four copies of each submission should be sent to the
SoSL secretariat at the address shown at the right.
Authors who have limited access to reproduction
facilities may submit one copy of the paper.

Program Committee
Derek Andrews, University of Leicester (chair)
Jan Bergstra, University of Amsterdam
George Leih, PTT Research
Brian Monahan, Universitiy of Manchester
Hans Toetenel, Delft University of Technology
Jim Woodstock, Oxford University

SoSL Secretariat
Annemarie Besselink
Department of Philosophy
University of Utrecht
P.O. Box 80126, 3508 TC Utrecht
The Netherlands
Telephone: +31 30 53 18 31
Fax: +31 30 53 28 16
Email: Annemarie.Besselink@phil.ruu.nl

Organizing committee
Annemarie Besselink, University of Utrecht
Kees Middelburg, University of Utrecht (chair)
Jan Friso Groote, University of Utrecht
Rick Thomas, University of Leicester

Deadlines
Submission of a full paper:   1 April 1993
Notification of authors:      1 June 1993
Camera-ready copies:          1 August 1993
From: bishop@coos.dartmouth.edu (Matt Bishop)
Subject: CFP: Computing Systems (security of open systems)
Organization: Dartmouth College, Hanover, NH
Date: Thu, 28 Jan 1993 01:00:07 GMT
Expires: Mon, 1 Mar 1993 08:00:00 GMT


Matt Bishop will be Guest Editor of a special issue of the journal
"Computing Systems" to be published in 1993.  The issue will be devoted
to "Security and Integrity of Open Systems."  Papers on all aspects of
policy, issues, theory, design, implementation, and experiences with
security and integrity in open systems are solicited for the issue.
The deadline for submissions is March 1, 1993;  papers submitted after
this deadline will not be considered.  Prospective authors should send
five copies of their papers to:

    Professor Matt Bishop
    Mathematics and Computer Science
    Dartmouth College
    6188 Bradley Hall
    Hanover, NH  03755-3551
    (603) 646-3267
    Matt.Bishop@dartmouth.edu

Submissions should not have appeared in other archival publications
prior to their submission.  Papers developed from earlier conference,
symposia and workshop presentations are welcome.

"Computing Systems" is a journal dedicated to the analysis and
understanding of the theory, design, art, engineering and
implementation of advanced computing systems, with an emphasis on
systems inspired or influenced by the UNIX tradition.  The journal's
content includes coverage of topics in operating systems,
architecture, networking, interfaces, programming languages, and
sophisticated applications.

"Computing Systems" (ISSN 0895-6340) is a refereed, quarterly journal
published by the University of California Press for the USENIX
Association.  Usenix is a professional and technical association of
individuals and institutions concerned with breeding innovation in the
UNIX tradition.

Now in its fifth year of publication, "Computing Systems" is regularly
distributed to 4900 individual subscribers and over 600 institutional
subscribers (libraries, research labs, etc.) around the world.  Some
special-topic issues are often distributed more widely.

The editor-in-chief of "Computing Systems" is Mike O'Dell of Bellcore.
Gene Spafford of Purdue University is Associate Editor, and Peter
Salus of the Sun User Group is the Managing Editor.
From: Annemarie.Besselink@phil.ruu.nl (Annemarie Besselink)
Newsgroups: news.announce.conferences
Subject: Call for papers: Int. Workshop on Semantics of Specification Languages
Date: 27 Jan 93 01:00:09 GMT
Expires: Thu, 1 Apr 1993 08:00:00 GMT
Organization: Department of Philosophy, University of Utrecht, The Netherlands


Call for papers

International Workshop on
Semantics of Specification Languages
SoSL

25-27 october, 1993, Utrecht, the Netherlands

The workshop intends to investigate the problems of giving semantics
for  specification languages. It will incorporate a number of invited
talks concentrating on giving an overview of major approaches to the
semantics of specification languages. The workshop also intends to
investigate general issues related to this area, such as type
checking and the derivation of proof rules and proof obligations.
The purpose of the workshop is to discuss various attempts of
formally defining specification languages and to identify common
issues that arise in this important area of formal methods. It will
enable the various groups working in this area to interchange
problems and ideas and possibly to identify a common programme of
work for further investigation.
Full original papers (up to 15 pages) are solicited, particularly in
the following areas:


- Semantics for specification languages;

- Specification languages applied to formal software development;

- Derivation of proof rules and proof obligations;

- Techniques for type checking of specifications and related
  analysis;

- Foundations of specification languages (logic, type theory,
  category theory, etc.).


Survey papers of major approaches to the semantics of specification
languages (up to 30 pages) are also solicited. Submitted papers will
be refereed and accepted papers will be published.


Program
The author of an accepted research paper is expected
to give a presentation of 25-30 minutes and the
author of an accepted survey paper is expected
to give a presentation of 50-60 minutes.
Sufficient time will be scheduled for discussion
groups.

Submission
Four copies of each submission should be sent to the
SoSL secretariat at the address shown at the right.
Authors who have limited access to reproduction
facilities may submit one copy of the paper.

Program Committee
Derek Andrews, University of Leicester (chair)
Jan Bergstra, University of Amsterdam
George Leih, PTT Research
Brian Monahan, Universitiy of Manchester
Hans Toetenel, Delft University of Technology
Jim Woodstock, Oxford University

SoSL Secretariat
Annemarie Besselink
Department of Philosophy
University of Utrecht
P.O. Box 80126, 3508 TC Utrecht
The Netherlands
Telephone: +31 30 53 18 31
Fax: +31 30 53 28 16
Email: Annemarie.Besselink@phil.ruu.nl

Organizing committee
Annemarie Besselink, University of Utrecht
Kees Middelburg, University of Utrecht (chair)
Jan Friso Groote, University of Utrecht
Rick Thomas, University of Leicester

Deadlines
Submission of a full paper:   1 April 1993
Notification of authors:      1 June 1993
Camera-ready copies:          1 August 1993
Newsgroups: news.announce.conferences