Posts

Showing posts from November, 2011

Ten-part, Year-long Turing Exhibit in Paderborn

Editorial changes for Synthese

Formal methods and history of philosophy