时间\日期 |
8月19日 |
8月20日 |
8月21日 |
8月22日 |
8月23日 |
9:00-10:00 |
Petri Nets |
KLMST Algorithm |
Complexity |
Lower Bound |
2-Dimmensional VASS |
10:00-10:30 |
茶歇 |
||||
10:30-11:30 |
Petri Net Property |
Algebraic Property |
Complexity |
Lower Bound |
2-Dimmensional VASS |
11:30-15:00 |
午饭+午休 |
||||
15:00-16:00 |
VASS |
Combinatorial Property |
自由活动 |
Lower Bound |
疏散 |
16:00-16:30 |
茶歇 |
茶歇 |
|||
16:30-17:30 |
KLMST Decomposition |
Geometric Property |
Lower Bound |
||
18:00- |
晚饭 |
晚宴 |
晚饭 |
||
报告人：傅育熙教授、刘关俊教授（19日上午）、杨启哲博士（23日上午） 助教：郑扬珞、陈蔚骏
