IDA Calendar of Events
Change the world in 48 hours. Design, develop and test new service ideas in one weekend, meet new people, connect globally with the 90 other jams, and have fun doing so. http://planet.globalservicejam.org/
Last Day for Sign Up: 2014-03-06
Location: Linköping, Mjärdevi, CreActive
See http://servicejamlinkoping.eventbrite.com/ for further information or contact Timothy Overkamp, email firstname.lastname@example.org, phone 0702224129.
The final in the Programming Olympiad, Sweden's largest high school contest in algorithmic problem solving and programming.
See http://progolymp.se/ for further information or contact Fredrik Heintz, email email@example.com, phone 070-207 43 88.
Brian Cantwell Smith, University of Toronto: The unsolvability of the halting problem is one of the most famous results in computer science. Curiously, though, the halting problem is easy to solve, if you use non-standard encodings. But as everyone knows, non-standard encodings are illegal. Computability theory requires that numbers be represented on tapes by "reasonable" encodings. This fact raises three foundational questions: 1. If reasonable representations are so important, why are they so little studied? 2. What are the conditions on an encoding for it to be "reasonable"? 3. Where do these reasonableness constraints come from? Are they fundamentally physical, semantical, mathematical, or logical? I will propose answers to all three questions. Doing so, though, will require turning our classical understanding of the theory of computing upside down, with implications not only for computer science, but also for artificial intelligence and cognitive science.
Location: Alan Turing, Building E, Campus Valla
For further information contact Nils Dahlbäck, email firstname.lastname@example.org.
Page responsible: Webmaster