Program
// Schedule
Day 01
07·27
Monday
Opening · Tutorial · Group formation
| Time | Activity |
|---|---|
| 09:30 | Opening · Orientation (Room C102; check-in: Sunday, July 26) · Tutorial — Jin-Guo Liu / Wei Li |
| Afternoon | Group formation · pick a track · help-desk consultation |
| 20:00 | Zoom talk — Qi Yang: “How to talk to the Wish Machine?” · Bilibili livestream |
| 10:30–11:00 · 15:30–16:00 | Tea breaks |
Day 02
07·28
Tuesday
Invited talk #1 · Group work
| Time | Activity |
|---|---|
| 09:30 | Invited talk (details on Zulip) |
| Afternoon | Group work · scheduled Q&A |
| 20:00 | Zoom talk — Sirui Lu: “Multi-agent autoformalization framework with applications to tensor network theory” · Bilibili livestream |
| 10:30–11:00 · 15:30–16:00 | Tea breaks |
Day 03
07·29
Wednesday
Invited talk #2 · Office hours
| Time | Activity |
|---|---|
| 09:30 | Invited talk |
| Afternoon | Group work · expert office hours |
| 20:00 | Zoom talk — Hiroshi Shinaoka: “Building a Physics-Grade Rust Tensor Ecosystem with Agentic AI Engineering” · Bilibili livestream |
| 10:30–11:00 · 15:30–16:00 | Tea breaks |
Day 04
07·30
Thursday
Invited talk #3
| Time | Activity |
|---|---|
| 09:30 | Invited talk |
| Afternoon | Group work · expert office hours |
| 20:00 | Zoom talk — Shigang Ou: “Cultivating, Safeguarding, and Evaluating Research Agents” · Bilibili livestream · PR update deadline |
| 10:30–11:00 · 15:30–16:00 | Tea breaks |
Day 05
07·31
Friday
Final showcase
| Time | Activity |
|---|---|
| Morning | Shortlisted finalists present (top 5 selected) |
| Afternoon | Free time |
| 10:30–11:00 | Tea break |
// Help Desk & Discussion Rooms
- Help desk (on site): registration, consultation, schedule guidance, ad-hoc support. Teachers and TAs rotate shifts.
- Discussion rooms (10+): group discussion, topical exchange, scheduled Q&A. Sign up at the help desk.
- Lecture hall (~100 seats): Room C102, Hefei National Laboratory, for opening, keynotes, centralized lectures, and closing presentations.
// Tea Breaks
Daily tea breaks are scheduled to keep talks paced and to leave room for informal exchange: 10:30–11:00 and 15:30–16:00.