Text this: Proceedings of the Sixth International Conference on Symbolic and Logical Computing /