Date: December 16, 2015
Time: 10:00 -- 17:20
Place: Dianxin Building, House III, Room 318, Shanghai Jiao Tong University
Session 1 |
Session Chair: Prof. Mizuhito Ogawa |
10:00 - 10:40 |
The Reachability/Coverability Problems of VAS - a Survey
Dr. Xiaojuan Cai (SJTU) |
10:40 - 11:20 |
Reachability Analysis for Nested Timed Automata
Prof. Shoji Yuen (Nagoya) |
11:20 - 12:00 |
The Constant Inapproximability of the Parameterized Dominating Set Problem
Prof. Yijia Chen (Fudan) |
12:00 - 13:20 |
Lunch Break
|
Session 2 |
Session Chair: Prof. Yuxi Fu |
13:30 - 14:10 |
How to make ICP Based SMT Solver More Complete: Application of Computer Algebraic Techniques
Prof. Mizuhito Ogawa (JAIST) |
14:10 - 14:50 |
Modal Characterisations of Behavioural Pseudometrics
Prof. Yuxin Deng (ECNU) |
14:50 - 15:30 |
Direct Manipulation of Tree-Structured Data Compressed by Tree Grammar
Prof. Hiroyuki Seki (Nagoya) |
15:30 - 16:00 |
Tea Break
|
Session 3 |
Session Chair: Prof. Yijia Chen |
16:00 - 16:40 |
Temporal Verification of Higher-Order Functional Programs
Prof. Tachio Terauchi (JAIST) |
16:40 - 17:20 |
An SMT-based Approach to the Formal Analysis of Clock Constraints Specification Language
Prof. Min Zhang (ECNU) |