tag:blogger.com,1999:blog-9821078.post-1144114502670042432006-04-04T11:26:00.000+10:002006-04-04T11:40:11.000+10:00Long time no post! I have been rather busy with various bits of administravia. I was also occupied for a week or so by scampering down to Canberra to give <a href="http://cecs.anu.edu.au/seminars/showone.pl?SID=172">a progress report</a>. At any rate, I have a backlog of topics I want to post about, so regular posting will resume very shortly!<br /><br />Until then, why not hop along to Yarden Katz's new blog <a href="http://www.underlevel.net/crunchylogic/">Crunchy Logic</a>, which covers "Logic, philosophy, computer science and their non-empty intersection".Jonnoreply@blogger.com