This meeting was held on 26–28 January, 2012, at the Westport Field Station of the University of Canterbury, on the South Island of New Zealand. It was aimed at fostering the
exchange of ideas between various disciplines, emphasizing links between mathematics,
computer science, philosophy and statistics.
Description:
Construmath South 2012
Applications of Non-Classical
Logic
Proceedings of the Workshop
at Westport
