Paraty is drawing closer...

As usual, things got a bit delayed, so I have no slides, yet, for Proof Theory 2012. But I know I'm staying at "Pousada Villas de Paraty" and I have a ticket. so far, so good.

I also got invited by Jean-Yves Beziau to talk at Logic in Rio, so need to think about that too.

I now have a title "Who's Afraid of Categorical Models?" and a minimal abstract. Have decided to revisit a manuscript from 2006 "Categorical Semantics of Linear Logic For All", kind of the reason why I called this blog "Forro' Logico".