Contents and abstracts of the electronic notes in Theoretical Computer Science Vol. 13