Two-Page Abstracts. We invite interested persons to submit a two-page abstract about recent work or work in progress, or a system description. Each submission should include the names and complete addresses (including email) of all authors. Correspondence will be sent to the first author, unless otherwise indicated.
The main objective of the abstracts is to spread information about recent work in our community. Accepted abstracts will be published in informal workshop notes and be made available by WWW.
Full Papers. In addition to the two-page abstracts, participants are invited to submit full journal type papers. These papers will be treated as submissions to the Logic Journal of the IGPL. They will be refereed and, if accepted, published by the journal as fast as possible.
Panel Sessions
Proposals for panel sessions should be made as soon as possible. Please email the proposal to ohlbach@dcs.kcl.ac.uk.
Important Dates
Receipt of submission (extended): | 5 June 2000 |
Notification of authors: | 3 July 2000 |
Receipt of camera-ready copy: | 14 July 2000 |
Early bird registration deadline: | 7 July 2000 |
Call for Papers
Postscript Version | PDF Version | Text Version
Call for Participation