Keynote Speaker
Joseph Sifakis
Verimag laboratory, Grenoble
Industry Speaker
Hong Zhou
Invited Speaker from Industry
Invited Speakers
Randy Goebel
University of Alberta
Sam Staton
University of Oxford
Xiangyu Zhang
Purdue University
Hongxia Yang
Hong Kong Polytechnic University
Gagandeep Singh
University of Illinois Urbana-Champaign
Xiao-Ming Wu
The Hong Kong Polytechnic University
Wenda Li
University of Edinburgh
Junxian He
The Hong Kong University of Science and Technology
Weiyang Liu
The Chinese University of Hong Kong
Zhengying Liu
Moonshot AI
Program
Opening
Shing-Chi Cheung from The Hong Kong University of Science and Technology
Session 1
Chaired by Jun Sun from Singapore Management University
Keynote: Bringing AI to Autonomous Systems
AbstractJoseph Sifakis from Verimag Laboratory and RITAS/SUSTECH
Coffee Break
Talk 1: Why a blend of neurosymbolic methods are necessary for improving the formalization of AI foundation models?
AbstractRandy Goebel from University of Alberta
Lunch
Session 2
Chaired by Lei Ma from University of Tokyo and University of Alberta
Talk 3: Expressive probabilistic programming, and world models for safe AI
AbstractSam Staton from University of Oxford
Talk 4: Formal Methods for the LLM Era
AbstractGagandeep Singh from University of Illinois Urbana-Champaign
Coffee Break
Session 3
Chaired by Jialun Cao from The Hong Kong University of Science and Technology
Talk 6: Kimina-Prover: A Large Formal Reasoning Model Based on Reinforcement Learning
AbstractZhengying Liu from Moonshot AI
Panel Discussion
Hosted by Shing-Chi Cheung from The Hong Kong University of Science and Technology
Panel Discussion
Joseph Sifakis from Verimag Laboratory and RITAS/SUSTECH
Hong Zhou from Industry
Randy Goebel from University of Alberta
Sam Staton from University of Oxford
Xiangyu Zhang from Purdue University
Gagandeep Singh from University of Illinois Urbana-Champaign
Session 4
Chaired by Jialun Cao from The Hong Kong University of Science and Technology
Talk 7: Co-GenAI: A Novel Fusion-Driven Platform
AbstractHongxia Yang from Hong Kong Polytechnic University
Talk 8: Reading Out Transformer Activations for Precise Localization in Language Model Steering
AbstractXiao-Ming Wu from the Hong Kong Polytechnic University
Coffee Break
Talk 9: Learning to Model Code Execution for General Reasoning of Language Models
AbstractJunxian He from The Hong Kong University of Science and Technology
Talk 10: Towards Formal Reasoning with Large Language Models
AbstractWeiyang Liu from The Chinese University of Hong Kong
Panel Discussion
Hosted by Lei Ma from University of Tokyo and University of Alberta
Panel Discussion
Hongxia Yang from Hong Kong Polytechnic University
Xiao-Ming Wu from the Hong Kong Polytechnic University
Junxian He from The Hong Kong University of Science and Technology
Weiyang Liu from The Chinese University of Hong Kong
Wenda Li from University of Edinburgh
Zhengying Liu from Moonshot AI
Closing
Venue
10 W, 2f CONFERENCE HALL 4 - 7, Hong Kong Science Park, Hong Kong
The Science Park offers an incredibly varied array of different spaces – from the 10,000-square-foot Grand Hall exhibition space with a mega cargo lift, to over 30 intimate break-out rooms, meeting rooms and outdoor event spaces, all within minutes of international hotels. The park truly has something to offer every MICE event — everything from small group gatherings and personal meetings to large-scale conferences and mega events can be catered to at this incredible venue. Strategically located in the middle of Hong Kong, it benefits from the equidistant transport links from Hong Kong Island and the Mainland China border. It’s the perfect choice for MICE events looking to attract Mainland Chinese vendors and attendees.
Organizing Committee
Conference Agent
