A workshop on non-classical mathematics was part of the UniLog Congress in Rio de Janeiro, April 3-7, 2013. The keynote speaker at the workshop was Arnon Avron.
Follow the links for the call for papers for the workshop and the Congress website.