| 09:50 - 10:00 |
Opening Speech
Prof. Ogawa (JAIST), Prof. Fu (SJTU) |
| 10:00 - 10:30 |
The Expressive Completeness of Interaction
Prof. Yuxi Fu (SJTU) |
| 10:30 - 11:00 |
A Process Calculus Interpreter by Maude for SOS with Negative
Premises
Prof. Shoji Yuen (Nagoya University) |
| 11:00 - 11:30 |
A Local Algorithm for Checking Bisimilarity
Dr. Yuxin Deng (SJTU) |
| 12:00 - 13:00 |
Lunch Break
|
| 13:30 - 14:00 |
Weighted Pushdown Model Checking by Local Search
Prof. Mizuhito Ogawa (JAIST) |
| 14:30 - 15:00 |
Synthesis and Verification of History-based Access Control
Prof. Hiroyuki Seki (NAIST) |
| 14:00 - 14:30 |
Stacking-based Points-to Analysis: Precision, Efficiency and Scalability
Dr. Xin Li (JAIST) |
| 15:00 - 15:30 |
Tea Break
| 15:30 - 16:00 |
Experimental Study of FPT Algorithms for the Directed Feedback
Vertex Set Problem
Prof. Rudolf Fleischer (Fudan University) |
| 16:00 - 16:30 |
Almost-Non-Overlapping Non-Collapsing Shallow Term Rewriting Systems are Confluent
Prof. Masahiko Sakai (Nagoya University) |
| 16:30 - 17:00 |
What is a Logic for PTIME?
Dr. Yijia Chen (SJTU) |
| 18:00 - 19:30 |
Dinner
|