Discussion on science / technology today and in the future. topics may include: General discussion on H+ Summit, how it is tracking, and content. robotic/Automated Scientists: – Eureqa – Adam the robot scientist makes its first discovery – http://www.aejournal.net/content/2/1/1 automated theorem proving – http://en.wikipedia.org/wiki/Automated_theorem_proving Ben Goertzel coming to Melb – Patternist theory of mind – [...]