Girard, Jean-Yves (ed.) et al., Linear logic 96. Papers from the meeting, Keio Univ., Tokyo, Japan, March 28 - April 2, 1996. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 3, 14 p. (1996).
Girard, Jean-Yves (ed.) et al., Advances in linear logic. Based on the linear logic workshop held June 14-18, 1993 at the Mathematical Sciences Institute, Cornell University, Ithaca, New York, USA. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 222, 167-196 (1995).
Jorrand, Philippe (ed.) et al., Fundamentals of artificial intelligence research. International workshop FAIR ’91, Smolenice, Czechoslovakia, September 8-13, 1991. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 535, 227-241 (1991).