Proceedings are published