(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.
You must be logged in to post a comment.