Date: June 14, 2016
Time: 10:00 -- 17:20
Place: Science Building B, Room 1002, East China Normal University
| Session 1 |
Session Chair: Prof. Yuxin Deng |
| 10:00 - 10:40 |
Reachability of Branching VAS is Decidable
Prof. Mizuhito Ogawa (JAIST) |
| 10:40 - 11:20 |
Combining Symbolic Execution and Model Checking for Data Flow Testing
Ting Su (ECNU) |
| 11:20 - 12:00 |
Random Graphs, First-order Logic, and AC^0 Circuits
Prof. Yijia Chen (Fudan) |
| 12:00 - 13:20 |
Lunch Break
|
| Session 2 |
Session Chair: Prof. Yuxi Fu |
| 13:30 - 14:10 |
A Zone Based Analysis of EDTPDA
Prof. Shoji Yuen (Nagoya) |
| 14:10 - 14:50 |
On Equivalence Checking of Nondeterministic Finite Automata
Prof. Yuxin Deng (ECNU) |
| 14:50 - 15:30 |
Direct Manipulation of Tree-Structured Compressed Data
Prof. Hiroyuki Seki (Nagoya) |
| 15:30 - 16:00 |
Tea Break
|
| Session 3 |
Session Chair: Prof. Yijia Chen |
| 16:00 - 16:40 |
Compositional Z: Confluence Proofs for Permutative Conversion
Prof. Koji Nakazawa (Nagoya) |
| 16:40 - 17:20 |
Branching Bisimulation Regularity Checking on Normed BPA
Qiang Yin (SJTU) |