Monday, November 2, 2026
| Time | Event | |
| 14:00 - 15:30 | Introduction and obstacles (646A) | |
| 15:30 - 16:00 | Coffee break (646A) | |
| 16:00 - 17:30 | Introduction and obstacles (646A) |
Tuesday, November 3, 2026
| Time | Event | |
| 09:00 - 10:30 | Establish list of relevant questions (646A) | |
| 10:30 - 11:00 | Coffee break (646A) | |
| 11:00 - 12:30 | Establish list of relevant questions (646A) | |
| 12:30 - 14:00 | Lunch (646A) | |
| 14:00 - 15:30 | Methods of proof (646A) | |
| 15:30 - 16:00 | Coffee break (646A) | |
| 16:00 - 17:30 | Methods of proof (646A) |
Wednesday, November 4, 2026
| Time | Event | |
| 09:00 - 10:30 | Experimental systems (646A) | |
| 10:30 - 11:00 | Coffee break (646A) | |
| 11:00 - 12:30 | Experimental systems (646A) | |
| 12:30 - 14:00 | Lunch (646A) | |
| 14:00 - 15:30 | Numerical methods (646A) | |
| 15:30 - 16:00 | Coffee break (646A) | |
| 16:00 - 17:30 | Numerical methods (646A) |
Thursday, November 5, 2026
| Time | Event | |
| 09:00 - 10:30 | Perspectives, roadmap (646A) | |
| 10:30 - 11:00 | Coffee break (646A) | |
| 11:00 - 12:30 | Perspectives, roadmap (646A) |