Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs - Rebelo