Topics in the Theoretical Bases and Applications of Computer Science Proceedings Held