Return-Path: <@cecux1.cec.uchile.cl,@uchcecvm.cec.uchile.cl:CHILENET@UCHCECVM.BITNET>
Reply-To: "Lista de Informaciones para la Red Academica Nacional y BITNET."
              <CHILENET@UCHCECVM.BITNET>
              <CHILENET@UCHCECVM.BITNET>
From: dg%DOC.IC.AC.UK@uchcecvm.cec.uchile.cl (        Dov Gabbay)
Subject: Invitation to joint Interest Group
X-To: chilenet@uchcecvm.BITNET, eslai@forwiss.uni-passau.de,
              iamex-l@tecmtyvm.BITNET, siriac-l@enlace.BITNET
Original-To: Multiple recipients of list CHILENET <CHILENET@UCHCECVM.BITNET>
Newsgroups: chile.chilenet
Distribution: chile
Date: Fri, 08 Jan 1993 16:47:04 CST

To:
Members of logic-related research communities in Latin America

Re: Interest Group on Propositional and Predicate Logics (IGPL)

Dear colleague,

I would like to invite you to join the Interest Group on Propositional and
Predicate Logics. Our main activity is that of a research and information
clearing house, and there is no cost involved in joining the group.

The group grew out of an idea about setting up an organisation in London for the
exchange of information on logic among the various logic-related communities
across Europe, and help visiting researchers and students from eastern Europe.
Such an organisation would have the purpose of acting as an information
`clearing house'. By now the membership has gone far beyond the frontiers of
eastern Europe, and with it the objectives have been expanded. Indeed,
membership is constantly growing, and it has now reached all corners of the
globe. (USA: 158, UK: 37, Germany: 35, Poland: 30, France: 28, etc.)

To put it more formally, the Interest Group on Propositional and Predicate
Logics is sponsored by The European Foundation for Logic, Language and
Information (FoLLI), and currently has a membership of over 470 researchers in
various aspects of logic (symbolic, computational, mathematical, philosophical,
etc.) from all over the world.

Our activities include:

. Exchanging information about research problems, references and common
 interest
  among group members.

. Helping to obtain photocopies of papers to colleagues (under the appropriate
  copyright restrictions), especially where there may be difficulties of access.

. Supplying review copies of books through the Journals on which some of us are
  editors.

. Helping to organise exchange visits and workshops among members.

. Advising on papers for publication.

. Editing and distributing a Newsletter, and also the IGPL Bulletin, including
  short research papers.

. Keeping a public archive of papers, abstracts, etc., accessible via ftp.

. Wherever possible, obtaining reductions on group (6 or more) purchases of
  logic books from publishers.

We have already served many requests on addresses, copies of papers, etc.,
coming from colleagues in various parts of the world.

If you want to join the IGPL, just send us an e-mail on:

        igpl-request@doc.ic.ac.uk

with your details (name, address, etc.) and research interests. You can also
send a letter to me at:

        Prof Dov Gabbay
        Department of Computing
        Imperial College
        180 Queen's Gate
        London SW7 2BZ
        UK

As a member you can send us scientific queries on any area of logic and logic
and computation, quest for references, reviews, etc., and we will act as
clearing house for you. We have a large database and many connections.

Your name will not be distributed beyond our interest group, and you will not
receive junk mail.

We look forward to welcoming you as a new member of IGPL.

With best regards,

Sincerely yours,

Dov M. Gabbay.