Date: June 18, 2013
Time: 9:50 -- 17:30
Place: Dianxin Building, House III, Room 318, Shanghai Jiao Tong University
| 09:50 - 10:00 |
Opening Speech
Prof. Mizuhito Ogawa (JAIST), Prof. Yuxi Fu (SJTU) |
| Session 1 |
Session Chair: Prof. Mizuhito Ogawa |
| 10:00 - 10:50 |
On the Decidability of Normed BPA
Prof. Yuxi Fu (SJTU) |
| 10:50 - 11:30 |
Classifying Computational Counting Problems
Dr. Pinyan Lu (SJTU/Microsoft) |
| 11:30 - 13:00 |
Lunch Break
|
| Session 2 |
Session Chair: Prof. Yuxi Fu |
| 13:30 - 14:10 |
Polynomial Inequality Constraints on Real Numbers and Its Solver raSAT
Prof. Mizuhito Ogawa (JAIST) |
| 14:10 - 14:50 |
On Limitations of the Ehrenfeucht-Fraisse-Method in Descriptive Complexity
Prof. Yijia Chen (SJTU) |
| 14:50 - 15:30 |
Determinacy and Subsumption for Bottom-up Tree Transducers
Dr. Kenji Hashimoto (NAIST) |
| 15:30 - 16:00 |
Tea Break
|
| Session 3 |
Session Chair: Prof. Hiroyuki Seki |
| 16:00 - 16:40 |
Task Automata Extended with Task Migration
Prof. Shoji Yuen (Nagoya U.) |
| 16:40 - 17:20 |
Nested Timed Automata
Dr. Guoqiang Li (SJTU) |
| 18:00 - 19:30 |
Dinner
|
Guoqiang Li