[S5] _________________________ AMAST Links 02 05

Bulletin of the Interest Group in Pure and Applied Logics (IGPL)

General Description

ISSN 0945-9103

Editor-in-Chief:

Dov M. Gabbay

Executive Editors:

Ruy de Queiroz & Hans Jürgen Ohlbach

Editorial Board:

Jon Barwise, Wilfrid Hodges, Hans Kamp, Robert Kowalski, Grigori Mints, Ewa Orlowska, Amir Pnueli, Vaughan Pratt, Johan van Benthem

The Bulletin is published several times per year by the Max Planck Institut für Informatik, Saarbrücken, and Imperial College, London.

The Bulletin is an attempt to solve a problem in the logic (in particular, IGPL) community:

• Long delays and large backlogs in publication of papers in current journals.
• Very tight time limits and page number limits on submission.

Papers in the final form should be in LaTeX. The review process is quick, and is usually made by other IGPL members.

The Bulletin is available as an electronic journal as well as a hard copy journal.

For more information see the Bulletin's WWW page .