[Logic and Complexity] Fwd: The announcement of the 6th NSFC-JSPS Joint Workshop on Formal Methods

[Yijia Chen]

 -------- Original Message --------
 Subject: The announcement of the 6th NSFC-JSPS Joint Workshop on Formal 
 Methods
 Date: Fri, 14 Jun 2013 12:56:11 +0800
 From: "Guoqiang Li" <li.g at sjtu.edu.cn>
 To: 傅育熙老师 <fu-yx at cs.sjtu.edu.cn>, <yijia.chen at cs.sjtu.edu.cn>, 
 "Mizuhito Ogawa" <mizuhito at gmail.com>, <yuen at is.nagoya-u.ac.jp>, 
 <seki at is.nagoya-u.ac.jp>, "Pinyan Lu" <pinyanl at microsoft.com>



 Dear all,

 It is my pleasure to announce the 6th NSFC-JSPS Joint Workshop on 
 Formal
 Methods. The tentative schedule is as follows. If there are any
 problems, please contact to me.

 The 6th NSFC-JSPS Joint Workshop on Formal Methods

 Date: June 18, 2013

 Time: 9:50 -- 17:30

 Place: Dianxin Building, House III, Room 318, Shanghai Jiao Tong
 University

 Program

 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

 Prof. 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

 Organizer: Guoqiang Li (li.g at sjtu.edu.cn/ [1] 13472553395)

 ----------------------------------------------------------------------

 MiniBoat

 School of Software,

 Shanghai Jiao Tong University
 No. 1212, Software Building, 800 Dongchuan Rd., Minhang Dist., 
 Shanghai,
 China 200240

 Tel: +86-21-34204167

 Fax: +86-21-34205145

 http://basics.sjtu.edu.cn/~liguoqiang

 

 Links:
 ------
 [1] mailto:li.g at sjtu.edu.cn/