I got this PDF attachment from Technion, and opening it directly took too long for some reason (Gmail is terribly slow for me lately), so I tried Gmail's "View as HTML". Apparently, it thinks I'm a bot:
Showing posts with label Turing. Show all posts
Showing posts with label Turing. Show all posts
20 February 2008
Faulty Reverse Turing Test
05 February 2008
2008 Turing Awards
Just thought to tell everyone that the 2008 Turing Award will be given to two guys that invented Model Checking, that has a very loose connection to my own master thesis. How loose? Both relate to Temporal Logic, that's it.
Labels:
Computer Science,
Logic,
Thesis,
Turing
Subscribe to:
Posts (Atom)