Three weeks ago, I attended CAV, an academic conference about formal verification (proving that computers actually do what we think they do). Yesterday, I attended a practice run for some of the talks that will be given at SIGGRAPH, a conference about computer graphics. Despite the fact that the two conferences treat very different topics, I had a very similar experience with both events. Some of my observations are of an academic nature. The rest are insights into geek culture.
Read the whole story...
