Attended LOGML 2025 in London