SJTU-JAIST COE Joint Workshop on Formal Method

Time	Title of Talk	Affiliation	Speaker
9:50-10:00	Opening Speech	SJTU, JAIST	OGAWA, Fu
10:00-10:30	Model Checking and Model-Based Testing	National Institute of Informatics	Shin NAKAJIMA
10:30-11:00	On the Expressiveness of Process Calculi	Shanghai Jiaotong University	Yuxi FU
11:00-11:30	Analysis of a Distributed Algorithm with Maude	JAIST	Kazuhiro OGATA
11:30-13:00	Lunch Break
13:30-14:00	Communication Centered Programming for Embedded Systems	Nagoya University	Shoji YUEN
14:00-14:30	Interpreting the Full Lambda Calculus in Pi	Shanghai Jiaotong University	Xiaojuan Cai
14:30-15:00	On-the-fly Model Checking of Security Protocols	Nagoya University	Guoqiang LI
15:00-15:30	Tea Break
15:30-16:00	Characteristic Formula for Finite State Probabilistic Process	Shanghai Jiaotong University	Yuxin DENG
16:00-16:30	Formal Language Persective for Program Verification	JAIST	Mizuhito OGAWA
16:30-17:00	The Parameterized Complexity of First Order Model Checking	Shanghai Jiaotong University	Yijia Chen
17:00-17:30	Context-sensitive Program Analysis for Java based on Weighted Pushdown Model Checking	JAIST	Xin LI
18:30	Dinner	Xi Jia Garden

Time: 27 May, 2008; Place: Room 410, Building 3 of School of Information Technology