Bulletin of the Interest Group in Propositional and Predicate Logics (IGPL)

Appeared in Volume 7/1, February 1994

We are pleased to announce the availability of the first issue of the Bulletin of the Interest Group in Propositional and Predicate Logics (IGPL), the first electronic journal on logic (Vol. 1, No. 1, July 1993).

Editor-in-Chief:
Dov M. Gabbay (dg@doc.ic.ac.uk)

Executive Editors:
Ruy de Queiroz (rjq@doc.ic.ac.uk)
Hans Juergen Ohlbach (ohlbach@mpi-sb.mpg.de)

The Bulletin will be published every six months by the Max Planck Institut fuer Informatik. It will present quickly refereed papers by members of the IGPL.

Publishing in the Bulletin will be like publishing in a virtual conference (without a meeting) and will not exclude the author from submitting a better version to a more formal journal. Authors can still cite this Bulletin as a publication since we keep a record of referee reports, submission dates, etc.

If you are interested in joining, please contact us at: igpl-request@doc.ic.ac.uk

The Bulletin of the IGPL is available via anonymous ftp from:
ftp://theory.doc.ic.ac.uk/theory/forum/igpl/Bulletin/V1-1.ps.Z

If you want the dvi file ( V1-1.dvi.Z) you must also get pstricks.{pro,con} from the same directory.

For hard copies (in case you are unable to fetch the file via FTP), please send a request to:

Roxane Wetzel 
Max Planck Institutt fuer Informatik
Saarbruecken, Germany
Email: roxane@mpi-sb.mpg.de