Ok, this is going to be a bit of shameless self-promotion, but there is also a less self-serving purpose in announcing my travel schedule of the next months. I've been having really cool discussions with many readers here on the blog, and it would be great if some of these people happened to be in the areas I'll be visiting in the next months and showed up to say hi. So here it is:
- February 25-27: Tubingen, for the ProDi workshop. The title of my talk there is: "Every proof is a dialogue: on the dialogical foundations of logic".
- April 1-5: St. Andrews, for the Paradox and Logical Revision workshop, and then for an invited talk at Arche', with the title: "The myth of the pre-theoretical notion of logical consequence".
- May 20-27: Rio de Janeiro (yay!) and Porto Alegre, for a series of talks on medieval logic (not sure of the titles yet).
-June 7-10: Munich, to visit the brand-new Munich Center for Mathematical Philosophy. I'll be giving two talks, one based on the material of a forthcoming JPL paper on syllogistic and the squeezing argument, and one on some of the cognitive aspects involved in the application of formal methods.
So far, no concrete North America plans, but there are vague plans for Montreal at the beginning of July (for the SPP/ESPP meeting) and San Diego in October to visit Rafael Nunez's lab.
Recent Comments