FRONTIERS FORUM ON AI & FORMAL METHODS 2025

This forum will feature a special keynote speech by Joseph Sifakis, a Turing Award laureate. Several other leading international experts in AI and formal methods will also share the latest research and practical achievements.

📅 Date: October 11–12, 2025 📍 Location: Hong Kong Science Park 🎟 Remaining seats: only 20 (free registration)

🔗 Forum details: https://cse.hkust.edu.hk/ai-formal/ ✅ Registration channels: Google: https://forms.gle/J7UrAAnUyB9XsFmd9 Tencent: https://docs.qq.com/form/page/DUUJXb2VBdGJuSmFm