It 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. Such an organisation would have the purpose of acting as an information clearing house.
Founded in 1990, the IGPL currently has a membership of over 1000 researchers in various aspects of logic (symbolic, computational, mathematical, philosophical, etc.) from all over the world (currently, 57 countries).
Our activities include:
We are no longer circulating "Call for Papers"'s or "Book Announcement"'s through our members e-mail addresses, but we have a page for accepting and displaying information on CfP's: http://www.pms.ifi.lmu.de/conferences/conferences.html
A full membership list is available upon request.
Current picture of membership per country:
USA: 212, UK: 79, Germany: 61, Brazil: 48, France: 42, Poland: 33,
Italy: 31, The Netherlands: 31, Japan: 25, Russia: 22, Canada: 21, Spain: 16,
Australia: 15, Portugal: 14, Romania: 12, Israel: 10, Sweden: 9, India: 8,
Austria: 7, Belgium: 7, Yugoslavia: 7, Bulgaria: 6, Czech Republic: 6,
Hungary: 6, Switzerland: 6, Taiwan: 6, Venezuela: 6, Croatia: 5, Greece: 5,
New Zealand: 5, Argentina: 4, Denmark: 4, Finland: 4, Mexico: 4, Chile: 3,
Costa Rica: 3, Norway: 3, Slovenia: 3, South Africa: 3, Hong Kong: 2, Iran: 2,
Republic of Ireland: 2, Slovakia: 2, Thailand: 2, Turkey: 2, Ukraine: 2,
China: 1, Colombia: 1, Estonia: 1, Georgia: 1, Kazakhstan: 1, Lithuania: 1,
Peru: 1, Saudi Arabia: 1.
With best regards,
Dov M. Gabbay, Hans Jürgen Ohlbach and Ruy de Queiroz
ISSN 1367-0751 (paper) ISSN 1368-9894 (electronic)
Hans Jürgen Ohlbach (Ludwig-Maximilians-Universität München, Germany)
Wilfrid Hodges, Queen Mary and Westfield College, UK
Hans Kamp, Stuttgart University, Germany
Robert Kowalski, Imperial College, UK
Grigori Mints, Stanford University, USA
Ewa Orlowska, Academy of Sciences, Poland
Amir Pnueli, Weizmann Institute, Israel
Vaughan Pratt, Stanford University, USA
Saharon Shelah, Rutgers University, USA
Johan van Benthem, Amsterdam University, The Netherlands
John Woods, University of British Columbia, Canada
The Journal is published bimonthly by Oxford University Press.
(From 1993 up to 1996 it used to be published several times per year by the Max Planck Institut für Informatik, Saarbrücken, and Imperial College, London.)
The Journal is an attempt to solve a problem in the logic (in particular, IGPL)
Papers in the final form should be in LaTeX.
The Journal is made available as an electronic journal as well as a hard copy journal.
As from Volume 10 (2002) the Journal is indexed in:
Web Homepage: http://www.oup.co.uk/igpl
To maintain this policy we must have more library subscriptions for the Logic Journal of the IGPL. We urgently ask our readers to approach their libraries and arrange for a subscription. We are going to print and distribute free the Language and Computation Journal. It depends on the library subscriptions for the IGPL journal whether OUP can support this policy.
The subscription form can be downloaded from http://www.oup.co.uk/igpl/subinfo/
Thank you for your help.
D. Gabbay, R. de Queiroz, H.J. Ohlbach
Last updated July 23, 2008, 07:11pm GMT-0300.