Back from NASSLLI

NASSLLI2012 was great, too many great courses to follow, too many interesting people to chat to, too little time to do everything.

Now I realize that I haven't been paying any attention to recording/collecting stuff that I have been doing and, age being what it is, I forget what I have done. and also what I have not done yet...

so I will try another round of blog-post-its, in the hopes that when I finally get my Bham account unlocked and my G'sites account working, life will be easier.

First off: Jean-Yves Beziau and Marcelo Coniglio organized a book in honor of Walter Carnielli's 60th Birthday. I did manage to get a paper on constructive modal logic in, yay!