User:Chalst/chalst

I'm Charles Stewart, a copy-editor and logician, who retains his former research interests in proof theory, semantics of logic, modal logic and applications of logic to computer science and programming. I've left a webtrail in many places, some of which are gathered here. I have three pages I regard as homepages:
 * 'Chalst' account at advogato.org, where I keep my online diary;
 * Business home page at textproof.com; and
 * Academic home page at linearity.org (DNS not been renewed for a while; machine still exists; who knows, it might come up again).

User pages at wikimedia sites

 * de.wikipedia.org,
 * wikisource, and
 * meta-wiki.

User pages at other wikis

 * Proof and Counterexample,
 * CLiki,
 * c2.com,
 * The Scheme Wiliki at schemewiki.org, and
 * 43folders.com (dormant).

Accounts at bulletin boards and news discussion sites

 * User #57653 at slashdot.org
 * Account #1321 at electrical.com
 * arstechnica.com account (lost login info)
 * Hellcodger account at hellblazer.ipbhost.com (ditto).

Isolated WP pages

 * User:Chalst/conferences Coming conferences, workshops and meetings in my research area;
 * User:Chalst/edits
 * User:Chalst/funding A fragmentary set of annotated links to folks who might give you money to do logic;
 * User:Chalst/guide/New_Haven Some notes on surviving New Haven, with or without a Yale ID card;
 * User:Chalst/islamofascism Who coined the term islamofascism?