America's #1 USENET Provider
Newsgroups Main » Newsgroups Directory » Computers - Non-OS » Programming and languages
OOP, logic ( comp.object.logic )
From vladimir@cs.ualberta.ca Wed Mar 10 20:55:40 1993
Path: uunet!bounce-back
From: vladimir@cs.ualberta.ca (Vladimir Alexiev)
Newsgroups: news.announce.newgroups,news.groups,comp.object,comp.lang.prolog
Subject: RFD: comp.object.logic
Followup-To: news.groups
Date: 3 Mar 1993 23:31:08 -0500
Organization: University of Alberta, Edmonton, Canada
Lines: 49
Sender: tale@rodan.UU.NET
Approved: tale@uunet.uu.net
Message-ID: <1n40mcINNh12@rodan.UU.NET>
NNTP-Posting-Host: rodan.uu.net
Keywords: object-oriented, logic programming
Xref: uunet news.announce.newgroups:3304 news.groups:67518 comp.object:9967 comp.lang.prolog:7082
This is a request for discussion of the proposal to create an
unmoderated Usenet newsgroup called "comp.object.logic".
This name (and position in the tree) is not final;
other suggestions are welcome during the discussion
(for example another appropriate name would "comp.lang.prolog.oo").
PURPOSE
The proposed newsgroup "comp.object.logic"
is intended to serve as a medium for discussing the issues on
Integrating the Object-Oriented and Logic Programming Paradigms.
RATIONALE
This topic is currently a rather hot one. There are at least 30
mergers of OOP and LP proposed, 20 logic theories which model
aspects of OOP, numerous applications in Knowledge Representation
and Deductive Object-Oriented Databases based on multiple paradigms.
Currently there is no newsgroup devoted to discussions about the
topic. Having one would promote exchange of information and the
development of the field.
CONTENT
The following topics would be appropriate for the newsgroup:
-languages integrating the two paradigms
-logics for different aspects of OOP:
-encapsulation
-inheritance
-mutable state
-interaction through message passing
-modularity
-implementations of OOP in LP and vice versa
-using OOP+LP for knowledge representation
-applications built on integrated paradigms
-applications which would benefit from
-etc
The newsgroup is not intended specifically for discussion of
Constraint Logic Programming, Concurrent Logic Programming,
Actor languages, Deductive Object-Oriented Databases but probably
it can accomodate some articles on these topics as well.
DISCUSSION PERIOD
The discussion period will be from February 27 to March 27, 1993.
Please post follow-ups to news.groups, comp.object, and comp.lang.prolog.
After that period, if enough interest is shown and a consensus is reached,
a CFV (call for votes) will be posted and a vote will be run.
(BTW, is there anybody willing to run this vote?)
The voting period will last for another 30 days.
Vladimir Alexiev <vladimir@cs.ualberta.ca>
From vladimir@cs.ualberta.ca Mon Mar 29 20:42:38 1993
Path: uunet!bounce-back
From: vladimir@cs.ualberta.ca (Vladimir Alexiev)
Newsgroups: news.announce.newgroups,news.groups,comp.object,comp.lang.prolog
Subject: CFV: comp.object.logic
Followup-To: poster
Date: 29 Mar 1993 19:32:32 -0500
Organization: University of Alberta, Edmonton, Canada
Lines: 57
Sender: tale@rodan.UU.NET
Approved: tale@uunet.uu.net
Message-ID: <1p84f0INNrha@rodan.UU.NET>
NNTP-Posting-Host: rodan.uu.net
Xref: uunet news.announce.newgroups:3408 news.groups:68766 comp.object:10265 comp.lang.prolog:7229
This is a formal Call For Votes for or against the creation of an
unmoderated Usenet newsgroup called "comp.object.logic".
PURPOSE
The proposed newsgroup is intended to serve as a medium for discussing the
issues on Integrating the Object-Oriented and Logic Paradigms, with an
emphasis on Integrating OOP and LP.
RATIONALE
This topic is currently a rather hot one. There are at least 30 mergers of
OOP and LP proposed, 20 logic theories which model aspects of OOP, numerous
applications in Knowledge Representation and Deductive Object-Oriented
Databases. Currently there is no newsgroup devoted to discussions about
the topic. Having one would promote exchange of information and the
development of the field.
CONTENT
The following topics would be appropriate for the newsgroup:
-languages integrating the two paradigms
-logics for different aspects of OOP:
-encapsulation
-inheritance
-mutable state
-message passing
-modularity
-implementations of OOP in LP, LP in OOP etc.
-using OOP+LP for knowledge representation
-applications built on integrated paradigms
-applications which would benefit from integrated paradigms
-etc
The newsgroup is not intended specifically for discussion of Concurrent
Logic Programming, Actor languages, Deductive Object-Oriented Databases,
Constraint Logic Programming, etc. but probably it can accomodate some
articles on these topics as well.
VOTING PROCEDURES
In order to vote, send a message to
vladimir@cs.ualberta.ca
containing in the Subject: line either `yes' or `no' and at least one of
`object', `logic', `OOP', `LP' and `oolog', for example
Subject: I vote YES for object.logic
Letter case does not matter.
If you suspect that either your name or address do not appear correctly in
the From: field, include them in the body of your letter.
The voting period will be from March 30 through April 30, 1993, GMT.
This message will be reposted twice during the period. Only votes received
during the period will be counted. No more than one vote from the same
address can be sent. Votes posted to a newsgroup will not be counted.
VOTE OUTCOME
In accordance with the traditions of the Usenet, the newsgroup will be
created only if more than 2/3 of the voters vote YES _and_ 100 persons more
vote YES than NO (though in this case I'd love if these criteria were
weaker :-).
--
Vladimir Alexiev <vladimir@cs.ualberta.ca>
From vladimir@cs.ualberta.ca Fri Apr 16 10:40:00 1993
Path: uunet!bounce-back
From: vladimir@cs.ualberta.ca (Vladimir Alexiev)
Newsgroups: news.announce.newgroups,news.groups,comp.object,comp.lang.prolog
Subject: 2nd CFV and VOTE ACK: comp.object.logic
Followup-To: poster
Date: 15 Apr 1993 18:16:53 -0400
Organization: University of Alberta, Edmonton, Canada
Lines: 240
Sender: tale@rodan.UU.NET
Approved: tale@uunet.uu.net
Message-ID: <1qkmslINNp0b@rodan.UU.NET>
NNTP-Posting-Host: rodan.uu.net
Xref: uunet news.announce.newgroups:3470 news.groups:69905 comp.object:10459 comp.lang.prolog:7383
This is a formal Call For Votes for or against the creation of an
unmoderated Usenet newsgroup called "comp.object.logic".
PURPOSE
The proposed newsgroup is intended to serve as a medium for discussing the
issues on Integrating the Object-Oriented and Logic Paradigms, with an
emphasis on Integrating OOP and LP.
RATIONALE
This topic is currently a rather hot one. There are at least 30 mergers of
OOP and LP proposed, 20 logic theories which model aspects of OOP, numerous
applications in Knowledge Representation and Deductive Object-Oriented
Databases. Currently there is no newsgroup devoted to discussions about
the topic. Having one would promote exchange of information and the
development of the field.
CONTENT
The following topics would be appropriate for the newsgroup:
-languages integrating the two paradigms
-logics for different aspects of OOP:
-encapsulation
-inheritance
-mutable state
-message passing
-modularity
-implementations of OOP in LP, LP in OOP etc.
-using OOP+LP for knowledge representation
-applications built on integrated paradigms
-applications which would benefit from integrated paradigms
-etc
The newsgroup is not intended specifically for discussion of Concurrent
Logic Programming, Actor languages, Deductive Object-Oriented Databases,
Constraint Logic Programming, etc. but probably it can accomodate some
articles on these topics as well.
VOTING PROCEDURES
In order to vote, send a message
To: vladimir@cs.ualberta.ca
containing in the Subject: line either `yes' or `no' and at least one of
`object', `logic', `OOP', `LP' and `oolog', for example
Subject: I vote YES for object.logic
Subject: I vote NO for object.logic
Letter case does not matter.
If you suspect that either your name or address do not appear correctly in
the From: field, include them in the body of your letter.
The voting period will be from March 30 until April 30, 1993. This
message will be posted three times during the period. Only votes received
during the period will be counted. No more than one vote from the same
address can be sent. Votes posted to a newsgroup will not be counted.
VOTE OUTCOME
In accordance with the traditions of the Usenet, the newsgroup will be
created only if more than 2/3 of the voters vote YES _and_ 100 persons more
vote YES than NO (though in this case I'd love if these criteria were
weaker :-).
Vladimir Alexiev <vladimir@cs.ualberta.ca>
PS: This is the third time the CFV gets posted.
Below is the list of people who casted their vote (151 up to now,
the last vote was timestamped Fri, 9 Apr 1993 10:43:12 -0600)
If you have voted but do not find your name here then please:
- check once again for your name
- account for a possible mail delay
- cast your vote again, with a note: I AM VOTING FOR THE SECOND TIME
(hope this will never happen :-).
Al Biles <jab@cs.rit.edu>
Al Reich <reich@austin.lockheed.com>
Alastair Telford <ajt1@ukc.ac.uk>
Alex Bejan <alge@kgnvmy.vnet.ibm.com>
Alfred Schmidt <alfred@adt.uni-paderborn.de>
Andras Salamon <andras@concave.cs.wits.ac.za>
Andre Valente <andre@lri.jur.uva.nl>
Andrea Sterbini <u60901%uicvm.bitnet@utcc.utoronto.ca>
Andrew Dinn <andrew@cee.heriot-watt.ac.uk>
Andrew Jones <Andrew.C.Jones@cm.cf.ac.uk>
Art Caligiuri <caligiur@rchvmv.vnet.ibm.COM>
Arthur Rubin <a_rubin@dsg4.dse.beckman.com>
B.J. <herbison@lassie.ucx.lkg.dec.com>
Bashar A. Nuseibeh <ban@doc.ic.ac.uk>
Bill Rich <billrich@vnet.IBM.COM>
Bjoern U Gregersen <zulu@iesd.auc.dk>
Boris Borcic <borbor@divsun.unige.ch>
Brian Gaines <gaines@cpsc.ucalgary.ca>
Brook Conner <dbc@cs.brown.edu>
Bruno Emond <Bruno_Emond@UQAH.UQuebec.CA>
Callahan <callahan@cs.utah.edu>
Chris Brew <chrisbr@cogsci.edinburgh.ac.uk>
Chris Marble <cmarble@fenris.claremont.edu>
Christo Dichev <cdichev@ccvax.ucd.ie>
Colin Henein <ac534@freenet.carleton.ca>
Daniel W Beshear <dwbeshea@constellation.ecn.uoknor.edu>
Dave Carr <carr@acsu.buffalo.edu>
Dave Detlefs <dhd@citi.umich.edu>
David Muir Sharnoff <muir@idiom.berkeley.ca.us>
David Reeve Sward <sward+@cmu.edu>
David Sallach <dls@il.us.swissbank.com>
David Scott Warren <warren@sbcs.sunysb.edu>
David Sedlock <david@sunbim.be>
Dean Dierschow <dean@xocolatl.com>
Dickson Lukose <D.Lukose@lut.ac.uk>
Dr Harry S. Delugach <delugach@cs.uah.edu>
Dumant <dumant@prl.dec.com>
Dwight Everhart <biff@biff.jpunix.com>
Ed McGuire <emcguire@intellection.com>
Enrico Franconi <franconi@irst.it>
Eric Dujardin <dujardin@rita.inria.fr>
Eric J Olson <ejo@kaja.gi.alaska.edu>
Ernest A Cline <cline@usceast.cs.scarolina.edu>
F Leyter <F.Leyter@frlv.bull.fr>
Fergus Henderson <fjh@cs.mu.OZ.AU>
Fr. Hoellerer <hoellere@informatik.tu-muenchen.de>
Francois Staes <frans@kiwi.uia.ac.be>
Frank van der Linden <flinden@prl.philips.nl>
Frederic Cabestre <cabestre@coala.irit.fr>
Gerard Ellis <ged@cs.uq.oz.au>
Giovanni Moretti <G.Moretti@massey.ac.nz>
Gottfried Razek <gr@mips.complang.tuwien.ac.at>
Gudmundur Ragnar Gudmundsson <ragnar@ismennt.is>
H\ekan Nilsson <Hakan.Nilsson@csd.uu.se>
Haijo Winnie-the-Pooh <haijo@cs.rug.nl>
Harm Bakker <bakker@cs.rulimburg.nl>
Heimo Adelsberger <heimo@dec1.wi-inf.uni-essen.de>
Hemant V Sawant <bsawant@shakti.ncst.ernet.in>
Herbert M Petro <hmpetro@mosaic.uncc.edu>
Holger Berse <holger@informatik.uni-bonn.de>
Humphrey Sorensen <sorensen@csvax1.ucc.ie>
I.D.McLaren@computer-science.birmingham.ac.uk
Idalina Videira <imv@bettyboop.inesc.pt>
Jacques Malenfant <malenfan@iro.umontreal.ca>
James Robertson <robertson@physc3.byu.edu>
Jan Schmidt <schmidt@cs.felk.cvut.cs>
Jan Wielemaker <jan@swi.psy.uva.nl>
Jean Pierre Lorre <jpl@soleil.serma.cea.fr>
Jean-Paul Bodeveix <bodeveix@coala.irit.fr>
Jeff Graves <jgraves@eng.auburn.edu>
Jens E Wunderwald <wunderwa@informatik.tu-muenchen.de>
Jeremy Wilson <jcrw@fmg.bt.co.uk>
Jerry Liu <jerry@hpsadln.sr.hp.com>
Jian Chen <jan@cs.uq.oz.au>
Joaquim Baptista, alias pxQuim <px@fct.unl.pt>
John (J.S.) Hogg <hogg@bnr.ca>
Jonathan March <J.March@lut.ac.uk>
Jose Alberto Fernandez R <alberto@cs.umd.edu>
Jose' Paulo Leal <zp@ciup1.ncc.up.pt>
Juergen Christoffel <jc@slim.gmd.de>
Kevin M Dye <kmcd@utrc.utc.com>
Klaus Lichtenwalder <gaston!klaus@gold.sub.org>
Klaus-Peter Keilmann <keilmann@pittie.wi-inf.uni-essen.de>
Lai Siet Leng <lsl@stargate.np.ac.sg>
Larry Weeks <dev@ecn.purdue.edu>
Laurence VanDolsen - Paramax <vandolsn@Stars.Reston.Paramax.Com>
Liam Relihan <relihanl@ul.ie>
Luc Van Beirendonck <vbeiren@kiwi.uia.ac.be>
MKovacs <mkovacs@mcs.kent.edu>
Manolis Koubarakis <koubarak@theseas.ntua.gr>
Manuel Eduardo Correia <mcc@ciup1.ncc.up.pt>
Marc Moorcroft <smarry@zooid.guild.org>
Mark Adam <adam@paix.sw.stratus.com>
Markus Fromherz <fromherz@parc.xerox.com>
Mary Lou Hines <hines@vax2.cstp.umkc.edu>
Massimo Paltrinieri <Massimo.Paltrinieri@frlv.bull.fr>
Matt McGehrin -Sysop- <matthew@dabeef.des.edu>
Matt Power <mhpower@Athena.mit.edu>
Maurice Pagnucco <morri@karl.cs.su.OZ.AU>
Mehmet M. Kayaalp MD <kayaalp@seas.smu.edu>
Michael Lawley <michael.lawley@cit.gu.edu.au>
Michael Quinn <mjquinn%pucc.bitnet@utcc.utoronto.ca>
Michael Wagner <wagnermi@informatik.tu-muenchen.de>
Mike Krus <krus@cs.concordia.ca>
Mike Regan <miker@rosevax.rosemount.com>
Milan Richter <milan@atc.boeing.com>
Miller <miller@cs.rochester.edu>
Nabiel Elshiewy <Nabiel.Elshiewy@ecrc.de>
Nicola Guarino <guarino@ipdcnr.bitnet>
Nicolas Chleq <Nicolas.Chleq@sophia.inria.fr>
Nirad <nirad@cs.uq.oz.au>
Norman Foo <norman@karl.cs.su.oz.au>
Paul K C Pun <pun@computer-science.manchester.ac.uk>
Paul Singleton <paul@cs.keele.ac.uk>
Pawel Tronowski <tronow@lri.fr>
Pedro Resende <pmr@eniac.inesc.pt>
Peter Schachte <peter.schachte@quintus.com>
Philip McBride <mcbride@CS.Stanford.edu>
Philip Santas <santas@inf.ethz.ch>
Piotr Palacz <oorient@extra.ucc.su.OZ.AU>
Rainer Manthey <manthey@helium.informatik.uni-bonn.de>
Ralf Jungclaus <jungclau@ips.cs.tu-bs.de>
Randall McRee <mcree_randy@tandem.com>
Ravikumar Dikkala <dikkala@ivy.wpi.edu>
Richard H Miller <rick@crick.ssctr.bcm.tmc.edu>
Robert Hansen <hansenr@ohsu.edu>
Robert Hutchison <bhutchison@alias.com>
Robert M Keller <keller@jarthur.Claremont.edu>
Robert Marti <marti@inf.ethz.ch>
Roger M. Burkhart <roger@ci.deere.com>
Sam' Kritikos "u51469@uicvm.uic.edu" <u51469%uicvm.bitnet@utcc.utoronto.ca>
Sascha Wildner <swildner@channelz.GUN.de>
Sava Mintchev <mintches@computer-science.manchester.ac.uk>
Seth C. Goldstein <sethg@CS.Berkeley.EDU>
Shane Hartman <shane@spr.com>
Shinji Kono <kono@csl.sony.co.jp>
Subash Shankar <sshankar@cs.umn.edu>
Suresh Kalathur <suresh@berry.cs.brandeis.edu>
Suzuki Daisuke <dai@is.s.u-tokyo.ac.jp>
Thorsten Kitz <Thorsten_Kitz@mk.maus.de>
Tim Duncan <timd@aiai.edinburgh.ac.uk>
Tony Sarris <tony@ontek.com>
Uwe Herzog <herzog@ira.uka.de>
Uwe Thiemann <thm@km21.zfe.siemens.de>
Vadim Zakharchenko <VADIM%amber.phys.msu.su@lorien.neotext.ca>
Vanroy <vanroy@prl.dec.com>
Vincenzo Loia <lv@litp.ibp.fr>
Yin-Min Wei <ymwei%ouaccvmb.bitnet@utcc.utoronto.ca>
Yokota Kazumasa <kyokota@icot.or.jp>
Zacharias Bobolakis <zb@doc.ic.ac.uk>
Zhaohui Wu <wu@dfki.uni-kl.de>
The following people has expressed their opinions in personal letters to me
before the start of the voting period (after they have read the RFD a month
ago). It was pointed out by a couple of people that it is not fair to
count their votes. So please, VOTE AGAIN (if you still want, of course)
Michael Bobak bobak@nemo.life.uiuc.edu
Rafael Camargo Rafael.Camargo@erno.de
rcamargo@gmv.es
Manuel Hermenegildo herme@colon.dia.fi.upm.es
Michael Hubner Michael.Huebner@PrakInf.TU-Ilmenau.DE
Konstantin Lukin kvlukin@okbmei.msk.su
Danilo Montesi montesi@di.unipi.it
Russel Ovans ovans@cs.sfu.ca
Andres Soto Villaverde lms@ceniai.cu
(there were four more people in this category, but they voted legitimately
afterwards).
From vladimir@cs.ualberta.ca Thu May 6 15:09:51 1993
Path: uunet!bounce-back
From: vladimir@cs.ualberta.ca (Vladimir Alexiev)
Newsgroups: news.announce.newgroups,news.groups,comp.object,comp.lang.prolog,comp.databases.object
Subject: RESULT: comp.object.logic passes 195:22
Followup-To: news.groups
Date: 4 May 1993 20:01:29 -0400
Organization: University of Alberta, Edmonton, Canada
Lines: 275
Sender: tale@rodan.UU.NET
Approved: tale@uunet.uu.net
Message-ID: <1s704pINNb8q@rodan.UU.NET>
Xref: uunet news.announce.newgroups:3550 news.groups:71417 comp.object:10767 comp.lang.prolog:7521 comp.databases.object:220
This is the result of the vote for the creation of an unmoderated Usenet
newsgroup called "comp.object.logic" which has been advertised with the
following charter:
PURPOSE
The proposed newsgroup is intended to serve as a medium for discussing the
issues on Integrating the Object-Oriented and Logic Paradigms, with an
emphasis on Integrating OOP and LP.
RATIONALE
This topic is currently a rather hot one. There are at least 30 mergers of
OOP and LP proposed, 20 logic theories which model aspects of OOP, numerous
applications in Knowledge Representation and Deductive Object-Oriented
Databases. Currently there is no newsgroup devoted to discussions about
the topic. Having one would promote exchange of information and the
development of the field.
CONTENT
The following topics would be appropriate for the newsgroup:
-languages integrating the two paradigms
-logics for different aspects of OOP:
-encapsulation
-inheritance
-mutable state
-message passing
-modularity
-implementations of OOP in LP, LP in OOP etc.
-using OOP+LP for knowledge representation
-applications built on integrated paradigms
-applications which would benefit from integrated paradigms
-etc
The newsgroup is not intended specifically for discussion of Concurrent
Logic Programming, Actor languages, Deductive Object-Oriented Databases,
Constraint Logic Programming, etc. but probably it can accomodate some
articles on these topics as well.
VOTE RESULT
195 persons voted YES:
Ajith P Madurapperuma <Ajith.P.Madurapperuma@cm.cf.ac.uk>
Al Biles <jab@cs.rit.edu>
Al Reich <reich@austin.lockheed.com>
Alastair Telford <ajt1@ukc.ac.uk>
Albrecht Schmiedel <Albrecht.Schmiedel@cs.tu-berlin.de>
Alex Bejan <alge@kgnvmy.vnet.ibm.com>
Alfred Schmidt <alfred@adt.uni-paderborn.de>
Alvaro Fernandes <alvaro@cee.heriot-watt.ac.uk>
Andre Valente <andre@lri.jur.uva.nl>
Andrea Sterbini <u60901%uicvm.bitnet@utcc.utoronto.ca>
Andreas Gawecki <gawecki@dbis1.informatik.uni-hamburg.de>
Andreas Margelisch <magi@swssai.uu.ch>
Andrew Dinn <andrew@cee.heriot-watt.ac.uk>
Andrew Jones <Andrew.C.Jones@cm.cf.ac.uk>
Art Caligiuri <caligiur@rchvmv.vnet.ibm.COM>
Barta <barta@infosys.tuwien.ac.at>
Bashar A. Nuseibeh <ban@doc.ic.ac.uk>
Bernd Mueller <Bernd.Mueller@arbi.informatik.uni-oldenburg.de>
Bill Rich <billrich@vnet.IBM.COM>
Boris Borcic <borbor@divsun.unige.ch>
Brian Gaines <gaines@cpsc.ucalgary.ca>
Brook Conner <dbc@cs.brown.edu>
Bruce Spencer <bspencer@unb.ca>
Bruno Emond <Bruno_Emond@UQAH.UQuebec.CA>
Callahan <callahan@cs.utah.edu>
Carlos Lang <clang@huracan.cr>
Chris Higgins <chris.higgins@sai.ise.jrc.it>
Christo Dichev <cdichev@ccvax.ucd.ie>
Christoph Brzoska <brzoska@ira.uka.de>
Colin Henein <ac534@freenet.carleton.ca>
Daniele Fava <fava@ghost.dsi.unimi.it>
Dave Detlefs <dhd@citi.umich.edu>
David Bowen <dave.bowen@quintus.com>
David E Goggin <dt4%cs@hub.ucsb.edu>
David Muir Sharnoff <muir@idiom.berkeley.ca.us>
David Reeve Sward <sward+@cmu.edu>
David Sallach <dls@il.us.swissbank.com>
David Scott Warren <warren@sbcs.sunysb.edu>
David Sedlock <david@sunbim.be>
Dean Dierschow <dean@xocolatl.com>
Dickson Lukose <D.Lukose@lut.ac.uk>
Divesh Srivastava <divesh@cs.wisc.edu>
Dumant <dumant@prl.dec.com>
Dwight Everhart <biff@biff.jpunix.com>
Ed McGuire <emcguire@intellection.com>
Ekawit Nantajeewarawat <a90220@cs.ait.ac.th>
Enrico Franconi <franconi@irst.it>
Eric Dujardin <dujardin@rita.inria.fr>
Errol Martin <epm@shubshub.canberra.edu.au>
F Leyter <F.Leyter@frlv.bull.fr>
Fergus Henderson <fjh@cs.mu.OZ.AU>
Fr. Hoellerer <hoellere@informatik.tu-muenchen.de>
Francois Staes <frans@kiwi.uia.ac.be>
Frank Linke <linke@freia.sax.de>
Frank van der Linden <flinden@prl.philips.nl>
Frederic Cabestre <cabestre@coala.irit.fr>
Gary Brown <garyb@meaddata.com>
Gerard Ellis <ged@cs.uq.oz.au>
Gilbert <D.R.Gilbert-2@city.ac.uk>
Giovanni Moretti <G.Moretti@massey.ac.nz>
Gottfried Razek <gr@mips.complang.tuwien.ac.at>
Gudmundur Ragnar Gudmundsson <ragnar@ismennt.is>
H\ekan Nilsson <Hakan.Nilsson@csd.uu.se>
Haijo Winnie-the-Pooh <haijo@cs.rug.nl>
Hansjakob Emch <hajo@swssai.uu.ch>
Hardcore Alaskan <FSSPR@acad3.alaska.edu>
Harm Bakker <bakker@cs.rulimburg.nl>
Harry S Delugach <delugach@cs.uah.edu>
Heimo Adelsberger <heimo@dec1.wi-inf.uni-essen.de>
Hemant V Sawant <bsawant@shakti.ncst.ernet.in>
Herbison <herbison@lassie.ucx.lkg.dec.com>
Holger Berse <holger@informatik.uni-bonn.de>
Humphrey Sorensen <sorensen@csvax1.ucc.ie>
Hyslop <hyslop@jupiter.sun.csd.unb.ca>
Idalina Videira <imv@bettyboop.inesc.pt>
Jacques Malenfant <malenfan@iro.umontreal.ca>
James Robertson <robertson@physc3.byu.edu>
Jan Schmidt <schmidt@cs.felk.cvut.cs>
Jan Wielemaker <jan@swi.psy.uva.nl>
Jean Pierre Lorre <jpl@soleil.serma.cea.fr>
Jean-Paul Bodeveix <bodeveix@coala.irit.fr>
Jeff Goldberg <jeff@cs.tamu.edu>
Jeff Graves <jgraves@eng.auburn.edu>
Jenkins <Jenkins@udel.edu>
Jenq Kuen Lee <jklee@cs.nthu.edu.tw>
Jens E Wunderwald <wunderwa@informatik.tu-muenchen.de>
Jeremy Wilson <jcrw@fmg.bt.co.uk>
Jesus Eugenio S nchez Pe~a <al198723@academ01.mty.itesm.mx>
Jia You <you@cs.ualberta.ca>
Jian Chen <jan@cs.uq.oz.au>
Joaquim Baptista, alias pxQuim <px@fct.unl.pt>
John J S Hogg <hogg@bnr.ca>
John Hamer <j_hamer@cs.aukuni.ac.nz>
Jonathan March <J.March@lut.ac.uk>
Jose Alberto Fernandez R <alberto@cs.umd.edu>
Jose Cardoso e Cunha <jcc@fct.unl.pt>
Jose Manuel Fernandez Garcia <froxon@gedeon.ls.fi.upm.es>
Jose' Paulo Leal <zp@ciup1.ncc.up.pt>
Juergen Christoffel <jc@slim.gmd.de>
Juergen Kalinski <juergen@wolfram.informatik.uni-bonn.de>
Keith Marlow <K.A.Marlow@computer-science.birmingham.ac.uk>
Kevin M Dye <kmcd@utrc.utc.com>
Klaus Lichtenwalder <gaston!klaus@gold.sub.org>
Klaus-Peter Keilmann <keilmann@pittie.wi-inf.uni-essen.de>
Konstantin Lukin <kvlukin@okbmei.msk.su>
Lai Siet Leng <lsl@stargate.np.ac.sg>
Larry Weeks <dev@ecn.purdue.edu>
Laurence VanDolsen <vandolsn@Stars.Reston.Paramax.Com>
Leena Tirkkonen <Leena.Tirkkonen@cs.Helsinki.FI>
Liam Relihan <relihanl@ul.ie>
Luc Van Beirendonck <vbeiren@kiwi.uia.ac.be>
Lukas Faulstich <faulstic@informatik.uni-wuerzburg.dbp.de>
Lutz Prechelt <prechelt@ira.uka.de>
MKovacs <mkovacs@mcs.kent.edu>
Malte Grosse <grosse@ares.informatik.uni-ulm.de>
Manolis Koubarakis <koubarak@theseas.ntua.gr>
Manuel Eduardo Correia <mcc@ciup1.ncc.up.pt>
Marin Guenov <Marin.Guenov@newcastle.ac.uk>
Mark Adam <adam@paix.sw.stratus.com>
Markus Fromherz <fromherz@parc.xerox.com>
Mary Lou Hines <hines@vax2.cstp.umkc.edu>
Massimo Paltrinieri <Massimo.Paltrinieri@frlv.bull.fr>
Matt McGehrin <matthew@dabeef.des.edu>
Maurice Pagnucco <morri@karl.cs.su.OZ.AU>
Mauricio Osorio <osorio@cs.Buffalo.edu>
McLaren <I.D.McLaren@computer-science.birmingham.ac.uk>
Mehmet M Kayaalp MD <kayaalp@seas.smu.edu>
Michael Conway <muk@cs.uq.oz.au>
Michael Kifer <kifer@cs.sunysb.edu>
Michael Lawley <michael.lawley@cit.gu.edu.au>
Michael Levy <mlevy@csr.UVic.CA>
Michael Quinn <mjquinn%pucc.bitnet@utcc.utoronto.ca>
Michael Wagner <wagnermi@informatik.tu-muenchen.de>
Mike Krus <krus@cs.concordia.ca>
Milan Richter <milan@atc.boeing.com>
Miller <miller@cs.rochester.edu>
Misako Sterbenz <misako@pt0240.pto.ford.com>
Nabiel Elshiewy <Nabiel.Elshiewy@ecrc.de>
Nicola Guarino <guarino@ipdcnr.bitnet>
Nicolas Chleq <Nicolas.Chleq@sophia.inria.fr>
Nirad <nirad@cs.uq.oz.au>
Norman Foo <norman@karl.cs.su.oz.au>
Paul K C Pun <pun@computer-science.manchester.ac.uk>
Paul Singleton <paul@cs.keele.ac.uk>
Pavel G Jachowicz <pavel@amisk.cs.ualberta.ca>
Pawel Tronowski <tronow@lri.fr>
Pedro Resende <pmr@eniac.inesc.pt>
Peter Kenne <pek@longinus.canberra.edu.au>
Peter Schachte <peter.schachte@quintus.com>
Philip McBride <mcbride@CS.Stanford.edu>
Philip Santas <santas@inf.ethz.ch>
Philippe Donkoff <phd@sunbim.be>
Piotr Palacz <oorient@extra.ucc.su.OZ.AU>
Rainer Manthey <manthey@helium.informatik.uni-bonn.de>
Rajiv Trehan <trehan@isl.rdc.toshiba.co.jp>
Ralf Jungclaus <jungclau@ips.cs.tu-bs.de>
Raman Bhatia <bhatia@bigcat.bellcore.com>
Ramu <ramu@cadsun.corp.mot.com>
Randal Peters <randal@cs.ualberta.ca>
Randall McRee <mcree_randy@tandem.com>
Raphael Manfredi <ram@soft25.acri.fr>
Ravikumar Dikkala <dikkala@ivy.wpi.edu>
Rob DeLine <rad2r@bodhi.cs.virginia.edu> <deline@Virginia.edu>
Robert Hutchison <bhutchison@alias.com>
Robert M Keller <keller@jarthur.Claremont.edu>
Robert Marti <marti@inf.ethz.ch>
Robert R McLellan <robm@bnr.ca>
Roger M Burkhart <roger@ci.deere.com>
Sam' Kritikos <u51469@uicvm.uic.edu>
Sascha Wildner <swildner@channelz.GUN.de>
Sava Mintchev <mintches@computer-science.manchester.ac.uk>
Seth C Goldstein <sethg@cs.berkeley.edu>
Shawn P Robinson <c115078@wolfcreek.cs.ualberta.ca>
Sherif El Kassas <elkassas@eb.ele.tue.nl>
Stefan Scherrer <scherrer@ifi.unizh.ch>
Steve Tamanaha <stevet@fai.com>
Subash Shankar <sshankar@cs.umn.edu>
Suresh Kalathur <suresh@berry.cs.brandeis.edu>
Suzuki Daisuke <dai@is.s.u-tokyo.ac.jp>
Thomas Sj|land <alf@mut.sics.se>
Thorsten Kitz <Thorsten_Kitz@mk.maus.de>
Tim Duncan <timd@aiai.edinburgh.ac.uk>
Tony Sarris <tony@ontek.com>
Uwe Herzog <herzog@ira.uka.de>
Uwe Thiemann <thm@km21.zfe.siemens.de>
Vadim Zakharchenko <VADIM%amber.phys.msu.su@lorien.neotext.ca>
Vanroy <vanroy@prl.dec.com>
Vilas Wuwongse <vw@cs.ait.ac.th>
Vincenzo Loia <lv@litp.ibp.fr>
Vladimir Alexiev <vladimir@cs.ualberta.ca>
Yin-Min Wei <ymwei%ouaccvmb.bitnet@utcc.utoronto.ca>
Yokota Kazumasa <kyokota@icot.or.jp>
Zacharias Bobolakis <zb@doc.ic.ac.uk>
Zeki Bayram <bayram@cis.uab.edu>
Zhaohui Wu <wu@dfki.uni-kl.de>
22 persons voted NO:
Ahmed Al-Ashabb <ahmed@mansun.lut.ac.uk>
Andras Salamon <andras@concave.cs.wits.ac.za>
Arthur Rubin <a_rubin@dsg4.dse.beckman.com>
Bjoern U Gregersen <zulu@iesd.auc.dk>
Chris Brew <chrisbr@cogsci.edinburgh.ac.uk>
Chris Marble <cmarble@fenris.claremont.edu>
Daniel W Beshear <dwbeshea@constellation.ecn.uoknor.edu>
Dave Carr <carr@acsu.buffalo.edu>
Eric J Olson <ejo@kaja.gi.alaska.edu>
Ernest A Cline <cline@usceast.cs.scarolina.edu>
Greg Morrisett <Greg_Morrisett@vache.venari.cs.cmu.edu>
Herbert M Petro <hmpetro@mosaic.uncc.edu>
Jerry Liu <jerry@hpsadln.sr.hp.com>
Marc Moorcroft <smarry@zooid.guild.org>
Matt Power <mhpower@Athena.mit.edu>
Mike Regan <miker@rosevax.rosemount.com>
Nigel the Lemur <nlemur@eecs.umich.edu>
Richard H Miller <rick@crick.ssctr.bcm.tmc.edu>
Rizwan Mithani <rdm%uhura1@uunet.uu.net>
Robert Hansen <hansenr@ohsu.edu>
Shane Hartman <shane@spr.com>
Shinji Kono <kono@csl.sony.co.jp>
Since the difference of the numbers of positive and negative votes is more
than 100 and more than 2/3 of the voters were positive, comp.object.logic
PASSES the Usenet criteria for the creation of a newsgroup. If substantial
objections concerning individual votes or the fairness of the voting
process as a whole are not received at the address below before May 9, 1993,
then a control message for the creation of the newsgroup will be issued.
May 1, 1993
Vladimir Alexiev <vladimir@cs.ualberta.ca>
--
Vladimir Alexiev Department of Computing Science
<vladimir@cs.ualberta.ca> University of Alberta, 615 GSB
"Wild Rose County" Edmonton, Alberta, Canada, T6G 2H1
USENET FACT: Big-8
BIG-8 hierarchies are the 8 traditional top hierarchies of the Usenet. See the following page for more