Only the previously invited papers will be presented at the poster session. All presented papers (after revision) will be published in the Proceedings of the Kurt Gödel Society after the conference. The papers for the proceedings must be submitted by November 31 to Matthias Baaz. All questions about the publication should also be addressed to him.
We will try to ensure no delay in publication.
The programme of the poster session is available at the LPAR 2002 programme page.