From yijia.chen at cs.sjtu.edu.cn  Sat May 11 21:26:05 2013
From: yijia.chen at cs.sjtu.edu.cn (Yijia Chen)
Date: Sat, 11 May 2013 14:26:05 +0100
Subject: [Logic and Complexity] Post's problem
Message-ID: <73f0fa131b57477a60553f524dfc59d4@cs.sjtu.edu.cn>

 Hi,

 I will give a talk tomorrow 10:00am on the proof
 of Post's problem using finite injury method.

 Cheers,

 Yijia

From yijia.chen at cs.sjtu.edu.cn  Fri May 31 10:29:44 2013
From: yijia.chen at cs.sjtu.edu.cn (Yijia Chen)
Date: Fri, 31 May 2013 03:29:44 +0100
Subject: [Logic and Complexity] Fwd: workshop
Message-ID: <313393666e51dce77d53acdb65aa09ce@cs.sjtu.edu.cn>



 -------- Original Message --------
 Subject: workshop
 Date: Thu, 30 May 2013 13:24:32 +0800
 From: hao zhaokuan <zkhao at fudan.edu.cn>
 To: ??? <11300180081 at fudan.edu.cn>, ??? <yjxu at fudan.edu.cn>, XIE XiLin 
 <xiexilin at fudan.edu.cn>, wangqiuzju <wangqiuzju at hotmail.com>, ?? ?? Fei 
 <12210160030 at fudan.edu.cn>, ??? <12210160028 at fudan.edu.cn>, Yijia Chen 
 <yijia.chen at cs.sjtu.edu.cn>, Zhu Hong <fdhzhu at gmail.com>
 Cc: Rui Yang Zhi <yang.r.zhi at gmail.com>

 Dear All,

 We are holding a workshop titled "Metamathematics and Metaphysics" on 
 June 15. Welcome you to join us. Lunch provide.

 Best,

 Zhaokuan


-------------- next part --------------
A non-text attachment was scrubbed...
Name: Poster.pdf
Type: application/pdf
Size: 35596 bytes
Desc: not available
URL: <http://cs.sjtu.edu.cn/pipermail/logic/attachments/20130531/e3cb6ec5/attachment-0001.pdf>