- Sergei N. Artëmov (City University of New York):
*On Brouwer-Heyting-Kolmogorov provability semantics*
- Kosta Došen (Mathematical Institute, SANU):
*Two Ways of General Proof Theory*
- Roy Dyckhoff (University of St Andrews):
*Generalised elimination rules*
- Lars Hallnäs (University of Borås):
*On the proof theoretic foundations of set theory*
- Wilfrid Hodges (Dartmoor):
*The choice of semantics as a methodological question*
- Reinhard Kahle (Universidade Nova de Lisboa):
*The mode of presentation*
- Dag Prawitz (Stockholm University):
*Remarks on relations between Gentzen and Heyting inspired PTS*
- Giovanni Sambin (Università di Padova):
*Unification of logics by reflection*
- Göran Sundholm (Universiteit Leiden):
*BHK and Brouwer's Theory of the Creative Subject*
- William W. Tait (University of Chicago):
*Compositional semantics for predicate logic: Eliminating bound variables from formulas and deductions*
- Gabriele Usberti (Università degli Studi di Siena):
*Intuitionism, the Paradox of Knowability and Empirical Negation*
- Jan von Plato (University of Helsinki):
*Explicit composition and its application in normalization proofs*
- Heinrich Wansing (Ruhr University Bochum):
*A two-sorted typed lambda-calculus*

- Walter Dean (University of Warwick):
*Kreisel's second clause and the Theory of Constructions* (with H. Kurokawa)
- Hidenori Kurokawa (City University of New York)
- Yoshihiro Maruyama (University of Oxford):
*On Paradoxes in Proof-Theoretic Semantics*