(co-)organized by LABORES:

• Proof Theory, Modal Logic and Reflection Principles, Second International Wormshop, Mexico City, September 29th to October 2nd, 2014.
• THE TURING CENTENARY RESEARCH PROJECT, MIND, MECHANISM AND MATHEMATICS, 2nd Workshop, New York City, May 12-14, 2014.
• Interdisciplinary Symposium on Complex Systems, Prague, Czech Republic, September, 2013.
• LABORES is official supporting organisation of the 2012 Alan Turing Year and the centenary events.
• Interdisciplinary Symposium on Complex Systems, Kos island, Greece, September, 2012.
• First International Wormshop on Proof Theory and Modal Logic, Barcelona, Spain, April 2012.
• Workshop on Complex Systems as Computing Models Nov 2011, Mexico City, Mexico, November 2011.

Future events where LABORES involvement (tbc)

• ALIFE
• Computability, Complexity and Randomness (and workshop on “graph algorithmic complexity”)
• Information Theory and Animal Communication (to be confirmed)

Computer generated image by Hector Zenil “Visualising the Computational Universe: Runtime Space in a Peano Curve” winner of the 2011 Kroto Scientific Image Award. It shows the calculation of the distribution of runtimes from simulating (4n+2)^(4n)=10000 Turing machines with 2 symbols and n=2 states (of a total of more than 10^12 simulated Turing machines with up to n=4 states) following a quasi-lexicographical order in a Peano curve preserving–as far as possible–the distance between 2 machines arranged in a 2-dimensional array from a 1-dimensional enumeration of Turing machines.