Time: Spring 2010, Tuesday 10:00--11:30
Place: Room 516 in Feiyun Buing of Lanzhou University(Lab 5nd floor)
Contact: Su Wei

 
 Date         Speaker                                Topic
===============================================================================
 
 3/16          Su Wei                         Binary Lambda Calculus

 3/23                                         Dissertation Progress(1)

 3/30                                         Dissertation Progress(2)
 
 4/8(Thur.)  Peng Yunhui                    the Art State of Spoken Math

 4/13        Zhang Liao                      the Improvement on MathEdit
             Zhang Yuwei           Conversion MathML Presentation to MathML Content
             Sheng Ming                        Dissertation Progress
 	      
 4/20        Cui Kefeng                 
              He Cheng                         Dissertation Progress
             Cui Linwei
			
 4/27       Ouyang Heshun                      Dissertation Progress
             Liu Zhiwei            Conversion MathML to Chinese Braille of Mathmatics             
 
 5/4           Su Wei                             the Lambda Calculus

 5/11        Liu Zhiwei                               mathsearch

 5/28(Fri)  Ma Yangguang                 the developing of MathML in the webkit
 
 6/1           Su Wei                               To be announced
 
 6/8         Liu Zhiwei                               mathsearch

 6/18(Fri)                                          To be announced
 
 6/29         Cui Linwei                            To be announced
 
 7/5           Li Bing                        the Research in Math Proof