Welcome & Opening Announcements TLA+ Conf 2024