2018Logic workshop Dunedin, Saturday, October 13 (A joint meeting with the Pukeko Logic Group and the seminar series on Non-Classical Mathematics)Confirmed participants: Hitoshi Omori (JAIST) Petr Cintula (Czech Academy of Sciences) Ed Mares (Vic) Jeremy Seligman (Auckland) Patrick Girard (Auckland) Shawn Standefer (Melbourne) Contact: zach [dot] weber [at] otago.ac.nz2016 FRONTIERS OF NON-CLASSICALITY: LOGIC, MATHEMATICS, PHILOSOPHY (NC:LMP) January 26-29, Auckland 2015: Prague Seminar on Non-Classical MathematicsInformation here. __________________________________________________________________________________________ 2014 Workshop: Non-Classical [Meta]mathematics, February 7-8Topic: Non-classical mathematics is maths done using non-classical logic. The goal of this event is to understand the model theory and proof theory of non-classical maths, using non-classical maths. It will be a meeting of the minds from several different backgrounds, with tutorial presentations on the current state-of-play in respective logics. Speakers: Zach Weber - `Paraconsistent Mathematics and BeyondHitoshi Omori (City University of New York) `Steps towards non-classical mathematics based on the ideas of da Costa and Priest'2012Workshop: Curry's Paradox and ParaconsistencySpeakers: Graham Priest (CUNY) Jc Beall (UConn) Maarten McKubre-Jordens (Canterbury) With e-participation by Greg Restall (Melbourne), Jeremy Seligman (Auckland) and Dave Ripley (UConn). |