From yijia.chen at cs.sjtu.edu.cn  Wed Jun  5 09:55:42 2013
From: yijia.chen at cs.sjtu.edu.cn (Yijia Chen)
Date: Wed, 05 Jun 2013 02:55:42 +0100
Subject: [Logic and Complexity] Fwd: four talks of Bruce Reed
Message-ID: <8bfe270b9c1a4273c923b229dab04029@cs.sjtu.edu.cn>



 -------- Original Message --------
 Subject: four talks of Bruce Reed
 Date: Tue, 4 Jun 2013 23:06:00 +0800 (CST)
 From: Yaokun Wu <ykwu at sjtu.edu.cn>
 To: ??? <jjlu at ecust.edu.cn>, Fang Tian <tianf at mail.shufe.edu.cn>, 
 Xiaomin Chen <gougle at gmail.com>, esshen <esshen at sjtu.edu.cn>, chen yijia 
 <yijia.chen at cs.sjtu.edu.cn>, lijiyou <lijiyou at sjtu.edu.cn>, Rong Luo 
 <rluo at math.wvu.edu>, XinMin Hou <xmhou at ustc.edu.cn>, liqiaoliang 
 <liqiaoliang at eyou.com>, lidetiansjtu <lidetiansjtu at sjtu.edu.cn>, zane xu 
 <zane_xu at sjtu.edu.cn>, ?? <sjtufz at 126.com>, ZhangWeihua 
 <icystrawberry at hotmail.com>, lykang <lykang at shu.edu.cn>, Changhong Lu 
 <chlu at math.ecnu.edu.cn>, Kang Lu <areyoulookon at gmail.com>, Ruoxia Du 
 <rxdu at foxmail.com>, ?? <felixz at sjtu.edu.cn>, ??? 
 <zhaolutian1994 at gmail.com>, ?? <zcyang0317 at 139.com>



 http://math.sjtu.edu.cn/conference/Bannai/2013/Home.php

 Mon, Jun 17, 2013 16:00 -  Middle Meeting Room Bruce Reed, McGill 
 University Rooted Routing via Structural Graph Theory
 Wed, Jun 19, 2013 10:40 -  ECNU Math Building Bruce Reed, McGill 
 University Tree Decompositions from Excluded Structures
 Wed, Jun 19, 2013 15:30 -  Middle Meeting Room Bruce Reed, McGill 
 University Optimizing over Well Behaved Tree Decompositions
 Fri, Jun 21, 2013 16:30 -  Middle Meeting Room Bruce Reed, McGill 
 University Building Tree Decompositions Via Iterative Compression


From yijia.chen at cs.sjtu.edu.cn  Mon Jun 10 09:15:47 2013
From: yijia.chen at cs.sjtu.edu.cn (Yijia Chen)
Date: Mon, 10 Jun 2013 02:15:47 +0100
Subject: [Logic and Complexity] Fwd: poster for the talk of Bruce Reed
Message-ID: <4f868d63158f3f76f5c6b87004a39510@cs.sjtu.edu.cn>



 -------- Original Message --------
 Subject: poster for the talk of Bruce Reed
 Date: Mon, 10 Jun 2013 09:03:34 +0800
 From: Yaokun Wu <yaokun.wu at gmail.com>
 To: Sify Meta <sifywmeta at gmail.com>, ??? <wkwang at sjtu.edu.cn>, Eiichi 
 Bannai <bannai at sjtu.edu.cn>, David Cai <cai at cims.nyu.edu>, ??? 
 <xfwang1967 at gmail.com>, Changhong Lu <chlu at math.ecnu.edu.cn>, cheng 
 yongxi <chengyx at gmail.com>, lykang at staff.shu.edu.cn, Bruce Reed 
 <breed at cs.mcgill.ca>, Enshao Shen <esshen at sjtu.edu.cn>, YU Yong 
 <yyu at cs.sjtu.edu.cn>, Yijia Chen <yijia.chen at cs.sjtu.edu.cn>, Weinan E 
 <weinan at math.princeton.edu>, "ykwu at sjtu.edu.cn" <ykwu at sjtu.edu.cn>, 
 gougle at gmail.com, Hongru Ma <hrma at sjtu.edu.cn>, qzhoumath at yahoo.com.cn, 
 taoyang wu <taoyang.wu at gmail.com>, Chihao Zhang <coderaka at gmail.com>, 
 anshantby at 163.com, koorishui at foxmail.com, Omid.Amini at ens.fr, Gerard 
 Jennhwa Chang <gjchang at math.ntu.edu.tw>, jyshao at sh163.net, 
 "li_yusheng at tongji.edu.cn" <li_yusheng at tongji.edu.cn>


 Dear all,

 Bruce Reed will give a series of four talks in SJTU. Please find
 attached the poster for his first talk and find here more information 
 on
 his talk series:

 http://math.sjtu.edu.cn/conference/Bannai/2013/home.php [1]

 Dear Ziqing,

 Could you please upload this poster to here?

 http://math.sjtu.edu.cn/conference/Bannai/2013/talk.php?20130617A [2]

 Thanks.

 Yaokun

 Links:
 ------
 [1] http://math.sjtu.edu.cn/conference/Bannai/2013/home.php
 [2] http://math.sjtu.edu.cn/conference/Bannai/2013/talk.php?20130617A
-------------- next part --------------
A non-text attachment was scrubbed...
Name: poster0617.pdf
Type: application/pdf
Size: 3045906 bytes
Desc: not available
URL: <http://cs.sjtu.edu.cn/pipermail/logic/attachments/20130610/104e9728/attachment-0001.pdf>

From yijia.chen at cs.sjtu.edu.cn  Fri Jun 14 13:04:38 2013
From: yijia.chen at cs.sjtu.edu.cn (Yijia Chen)
Date: Fri, 14 Jun 2013 06:04:38 +0100
Subject: [Logic and Complexity] Fwd: The announcement of the 6th NSFC-JSPS
 Joint Workshop on Formal Methods
Message-ID: <3670d85a4caa7cee628ed09be8e6feee@cs.sjtu.edu.cn>



 -------- 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/


From yijia.chen at cs.sjtu.edu.cn  Wed Jun 19 10:16:43 2013
From: yijia.chen at cs.sjtu.edu.cn (Yijia Chen)
Date: Wed, 19 Jun 2013 03:16:43 +0100
Subject: [Logic and Complexity] highschool teacher
Message-ID: <3749ec7fd19372e017985b8f0a6326ad@cs.sjtu.edu.cn>

 http://philosophy.fudan.edu.cn/s/129/t/425/d5/f6/info54774.htm

From yijia.chen at cs.sjtu.edu.cn  Mon Jun 24 17:12:45 2013
From: yijia.chen at cs.sjtu.edu.cn (Yijia Chen)
Date: Mon, 24 Jun 2013 10:12:45 +0100
Subject: [Logic and Complexity] =?utf-8?b?RndkOiAyMDEz5bGK4oCc5LiK5rW35Lqk?=
 =?utf-8?b?6YCa5aSn5a2m6K6h566X5py657O75LyY56eA5a2m5aOr5a2m5L2N6K665paH?=
 =?utf-8?b?4oCd6I635aWW5ZCN5Y2V5YWs56S6?=
Message-ID: <83de387df402dad93e25916d54c87c41@cs.sjtu.edu.cn>



 -------- Original Message --------
 Subject: 2013???????????????????????????
 Date: Mon, 24 Jun 2013 15:30:41 +0800
 From: "chenyun" <chenyun at cs.sjtu.edu.cn>
 To: "'all'" <all at cs.sjtu.edu.cn>

 2013???????????????????????????

 

 ?????????10?????????2013?????????????????
 ??????????

 ????


 ????

 ????

 ????


 ??

 ???

 ??????????????????


 ???

 ???

 ????????????

 

 ????


 ????

 ????

 ????


 ???

 ???

 Security and Priavcy in Mobile Social Network


 ???

 ?  ?

 Privacy Preserving Mechanism Design for Resource Management


 ???

 ???

 Neighbor Discovery in Wireless Networks

 

 ????


 ????

 ????

 ????


 ???

 ?  ?

 Micro Market Segmentation And Its Application in Sponsored Search


 ???

 ?  ?

 The Decomposition of Markov Chain, Structure and Dynamics and its
 Applications in MCMC


 ???

 ???

 ??????GPU?MapReduce????


 ???

 ???

 Activity-Inference from Audio Signal Using Knowledge Base


 ???

 ???

 ???????????????

 

 ???????????????6?28????????????????????
 ???????????????????????????????

 

 

 ?????????

 2013?6?24?

 

 

 ??

 ??????

 ????????????

 

 Chenyun(Ms.)

 Computer Science & Engineering Department

 Shanghai Jiao Tong University

 SEIEE Building #03-417,800 Dongchuan Road

 Shanghai 200240, P.R. China

 Tel:86-21-34205198

 Fax:86-21-34204728

 



From yijia.chen at cs.sjtu.edu.cn  Tue Jun 25 11:51:32 2013
From: yijia.chen at cs.sjtu.edu.cn (Yijia Chen)
Date: Tue, 25 Jun 2013 04:51:32 +0100
Subject: [Logic and Complexity] =?utf-8?b?RndkOiDnrZTlpI06IDIwMTPlsYrigJw=?=
 =?utf-8?b?5LiK5rW35Lqk6YCa5aSn5a2m6K6h566X5py657O75LyY56eA5a2m5aOr5a2m?=
 =?utf-8?b?5L2N6K665paH4oCd6I635aWW5ZCN5Y2V5YWs56S6?=
Message-ID: <d4cd8b8e1e87340d4f3f80eaa92e306b@cs.sjtu.edu.cn>



 -------- Original Message --------
 Subject: ??: 2013???????????????????????????
 Date: Mon, 24 Jun 2013 23:28:18 +0800
 From: "Guihai Chen" <gchen at cs.sjtu.edu.cn>
 To: "'all'" <all at cs.sjtu.edu.cn>

 ???????

 

 ???

 

 ???: chenyun [mailto:chenyun at cs.sjtu.edu.cn]
 ????: 2013?6?24? 15:31
 ???: 'all'
 ??: 2013???????????????????????????

 

 2013???????????????????????????

 

 ?????????10?????????2013?????????????????
 ??????????

 ????


 ????

 ????

 ????


 ??

 ???

 ??????????????????


 ???

 ???

 ????????????

 

 ????


 ????

 ????

 ????


 ???

 ???

 Security and Priavcy in Mobile Social Network


 ???

 ?  ?

 Privacy Preserving Mechanism Design for Resource Management


 ???

 ???

 Neighbor Discovery in Wireless Networks

 

 ????


 ????

 ????

 ????


 ???

 ?  ?

 Micro Market Segmentation And Its Application in Sponsored Search


 ???

 ?  ?

 The Decomposition of Markov Chain, Structure and Dynamics and its
 Applications in MCMC


 ???

 ???

 ??????GPU?MapReduce????


 ???

 ???

 Activity-Inference from Audio Signal Using Knowledge Base


 ???

 ???

 ???????????????

 

 ???????????????6?28????????????????????
 ???????????????????????????????

 

 

 ?????????

 2013?6?24?

 

 

 ??

 ??????

 ????????????

 

 Chenyun(Ms.)

 Computer Science & Engineering Department

 Shanghai Jiao Tong University

 SEIEE Building #03-417,800 Dongchuan Road

 Shanghai 200240, P.R. China

 Tel:86-21-34205198

 Fax:86-21-34204728

 



From yijia.chen at cs.sjtu.edu.cn  Sat Jun 29 15:51:07 2013
From: yijia.chen at cs.sjtu.edu.cn (Yijia Chen)
Date: Sat, 29 Jun 2013 08:51:07 +0100
Subject: [Logic and Complexity] Talk
Message-ID: <77539861171330211083ca51c11520ff@cs.sjtu.edu.cn>

 Hi,

 Tomorrow 10:00am I will give a talk on how to
 compute tree decompositions using small space.

 Yijia