This is an archive. See for current LaMaStEx activities.

ConstruMath South 2012

Mathematics Workshop on applications of non-classical logic

This meeting is supported by Marie Curie grant PIRSES-GA-2008-230822 from the European Union, with counterpart funding from the Ministry of Research, Science and Technology of New Zealand, for the project Construmath.

Get Adobe Flash player


The official proceedings are available here and a local copy is available here.

Date & Location:

Thursday 26th January - Saturday 28th January, 2012, at the Westport Field Station, on the South Island of New Zealand.

Workshop co-ordinators:

Maarten McKubre-Jordens and Raazesh Sainudiin
Mathematics and Statistics Department
University of Canterbury
Private Bag 4800
Christchurch 8041
Phone: +64 3 364 2987 extn 3823 or MATH reception: +64 3 364 2600
Fax: +64 3 364 2587
Email: and/or

This meeting is by invitation only (if interested contact Maarten McKubre-Jordens).


This meeting was aimed at fostering the exchange of ideas between various disciplines; emphasizing links between mathematics, computer science, philosophy and statistics.

Tutorials and talks on various aspects of non-classical logics were run, with a view to using these aspects in other areas of research. Talks generally ran for about an hour, with a generous period of discussion and questions following. Thanks to the wide-ranging nature of the research interests of the group, this format proved to be very conducive to generating cross-disciplinary ideas and constructive critique. Participants also had the opportunity to explore the seal colony near Westport and walked from the colony to the lighthouse.


  • Epistemologically valid statistical experiments: an example with a measurable double pendulum (Raazesh Sainudiin)
  • Constructive methods in mathematics (Maarten McKubre-Jordens)
  • What's the Deal with Relevance? An Introduction to Relevant Logic (Ed Mares)
  • Paraconsistent mathematics (Zach Weber)
  • A constructive approach to the complexity of mathematical problems (Cris & Elena Calude)
  • Topological Logic (Nick Duncan)


Ty Baen, Bruce Burdick, Cristian & Elena Calude, James Dent, Nick Duncan, Edwin Mares, Maarten McKubre-Jordens, Igor Rychkov, Raazesh Sainudiin, Zach Weber, and Ruriko Yoshida. (ordered alphabetically)

Valid HTML 4.01 Transitional Revalidate this page now.

Last modified on Saturday, 03-Sep-2016 04:16:23 MST and served on Friday, 14-Jun-2024 02:24:11 MST.

  • Laboratory for Mathematical Statistical Experiments
    6459.83826, 17.64860, 31
    Uppsala Centre
  • Follow us
    GitHubYoutubetwitterLinked In