Program

Day 01 07·27 Monday

Opening · Tutorial · Group formation

TimeActivity
09:30Opening · Orientation · Tutorial (Room C102) — Jin-Guo Liu / Lei Wang
Before 15:00Form a group (1–3) · run /take-challenge · open the draft registration PR
AfternoonGroup work · optional help-desk consultation · SCNet account allocation
20:00Invited talk (online) — Qi Yang, University of Amsterdam: “How to talk to the Wish Machine?”
10:30–11:00 · 15:30–16:00Tea breaks
Day 02 07·28 Tuesday

Sharing session · Group work

TimeActivity
09:30Sharing session
AfternoonGroup work · scheduled Q&A
20:00Invited talk (online) — Sirui Lu, Max Planck Institute of Quantum Optics: “Multi-agent autoformalization framework with applications to tensor network theory”
10:30–11:00 · 15:30–16:00Tea breaks
Day 03 07·29 Wednesday

Sharing session · Office hours

TimeActivity
09:30Sharing session
AfternoonGroup work · expert office hours
20:00Invited talk (online) — Hiroshi Shinaoka, Saitama University: “Building a Physics-Grade Rust Tensor Ecosystem with Agentic AI Engineering”
10:30–11:00 · 15:30–16:00Tea breaks
Day 04 07·30 Thursday

Sharing session · PR submission · Advisor review

TimeActivity
09:30Sharing session
AfternoonGroup work · expert office hours
20:00Pull request ready-for-review deadline (/challenge-report, then gh pr ready)
20:00–22:00Invited talk (online) — Shigang Ou, IOP-CAS · DP Tech: “Cultivating, Safeguarding, and Evaluating Research Agents” · in parallel: advisor PR review, track by track (online)
10:30–11:00 · 15:30–16:00Tea breaks
Day 05 07·31 Friday

Final showcase

TimeActivity
09:30–10:30Showcase — 8 selected groups, 15 minutes each (Room C102)
10:30–11:00Tea break
11:00–12:00Showcase continued · award ceremony
AfternoonFree time · departure

The 09:30 slot on Days 2–4 is a self-registered sharing session in Room C102 — not an invited talk.

One Mac mini award goes to the best sharing of the week.

Selected groups take on two follow-through obligations: about 2 hours polishing their skills/mini-harness so it can be merged into the repository, and sharing their challenge history for article writing or other research analysis.

The 20:00 invited talks (Days 1–4) are delivered online and open to everyone. Watch the livestream on:

Daily tea breaks: 10:30–11:00 and 15:30–16:00.