Publications in Proceedings