consequently.org/news

Here are some random, miscellaneous items of news, concerning what’s been happening around here, around now.
It’s exhausting, but lots of fun, to host visitors. Since just before Christmas, we’ve h...

We’re going on a holiday! Tomorrow at noon, we’ll be on a Qantas 747 to LA, and at the other end, the three of us will be enjoying four weeks of break. It’s mostly time off for all of us, with a fe...

It’s Christmas break here, and I’m taking a break, with visits from family and friends, and then a trip to the USA for a holiday (and for a couple of little side trips to see friends and give a few...

(What follows is a bundle of ideas I’ve been trying to write up for some time. Instead of making it a fully fledged paper, I’ve decided to rough it out first as a blog post. If anything comes of it...

I’m on a roll with the writing: I’ve managed to get another paper converted from slides-from-a-talk to real, live, words on a page and actual proofs. The paper I’ve worked on over the last couple o...

It’s good to get back into writing. Here’s a paper “Truth Values and Proof Theory” that I’ve been thinking about for a long time. I presented a research seminar on this material last year — it’s ta...

My trip to Guangzhou was super. Thanks, Guoxin, Min and Xuefeng for looking after me and showing me the sights of Guangzhou, and to Professors Ju and Zhu for the invitation. It was a wonderful expe...

The primary purpose of this site seems to be travel announcements, so rather than break the trend, I’ll post another travel announcement. On Sunday, I’m off to the Institute of Logic and Cognition ...

Phew! What a long rest-of-the conference! I’m now back in Tallinn, after the rest of the conference: 5 talks on Day 3, and one wrapup talk on Day 4. My comments concerning Days 3 and 4 will not be ...

OK, it’s a short day here today — thankfully, since I’m knackered after Day #1 — with two talks. Last night we dined at an Italian Restaurant, and I learned more about Roger Swyneshed from Stephen ...