LICS 2001 special issue

This special issue of ACM Transactions on Computational Logic is devoted to papers first presented at LICS 2001, the 16th Annual IEEE Symposium on Logic in Computer Science, held June 16–19, 2001, in Boston, Massachusetts. In consultation with the LICS 2001 program committee, the guest editors selected five papers presented at the conference and invited their authors to submit full versions of the papers to this special issue. All submissions were refereed according to the usual standards of ACM Transactions on Computational Logic. They cover a range of areas within Logic in Computer Science, reflecting well the quality of the conference. We are grateful to the authors of the papers for their excellent contributions, and to all members of the program committee and reviewers for their efforts.