Anyone interested who will be in Melbourne the week of Feb 14 is welcome to attend this interdisciplinary workshop at the University of Melbourne.
"What constructive mathematicians actually do"
Maarten McKubre-Jordens, University of Canterbury, New Zealand
I) Introduction to constructive mathematics
11:00am, 14 February, Old Arts-227 (Cecil Scutt Collaborative Teaching Room)
II) Constructive mathematics in action
11:00am, 16 February, Old Arts-227
III) Strange encounters and the importance of constructive thought; or, the Infinite Monkey Theorem
11:00am, 18 February, Old Quad Moot Court
See http://paraconsistent-mathematics.blogspot.com/ for more information.