Looking For A Job? 
A couple of weeks ago I reactivated a page called Positions Wanted. I had run it for several years from 1998-2001. When it seemed to run out of steam, I discontinued it. Now it's back and it's popular. But get...
http://privateschool.about.com/b/a/178849.htm
China Flood Relief Order
http://feeds.feedburner.com/newsisfree/newscat43?m=106025
China Flood Relief Order
http://feeds.feedburner.com/newsisfree/newscat46?m=38179
Pattern-Matching SPI-Calculus
Cryptographic protocols often make use of nested cryptographic primitives, for example signed message digests, or encrypted signed messages. Gordon and Jeffrey's prior work on types for authenticity did not allow for such nested cryptography. This paper presents the pattern-matching spi-calculus, which is an obvious extension of the spi-calculus to include pattern-matching as primitive.
http://www.itpapers.com/abstract.aspx?scid=196&docid=132059&part=rss&tag=rss&subj=&promo=100112
Report: Vatican, China Will Establish Ties
http://feeds.feedburner.com/newsisfree/newscat43?m=106048
Three Japanese die in China wreck
http://feeds.feedburner.com/newsisfree/newscat43?m=106026
China Rejects Immediate Currency Shift
http://feeds.feedburner.com/newsisfree/newscat43?m=106027
Japan, China to boost finance talks
http://feeds.feedburner.com/newsisfree/newscat43?m=106029
China Rejects Immediate Currency Shift
http://feeds.feedburner.com/newsisfree/newscat43?m=106030
Report: Vatican, China Will Establish Ties
http://feeds.feedburner.com/newsisfree/newscat1?m=310637
