- A list of work in progress — this is limited to CCIS faculty and grads. Check it out if you want to see what I am up to.
- A group of us has been meeting weekly to read and discuss papers in logic in CS.
- I maintain a small blog of logic-related curios.
Even more informal is my FB site: