I not only enjoyed the slides content from D. Walter's and Andrei's talk, I also liked the visual design. It looks like it was done with latex beamer? If so, can anyone tell me what theme was used, or maybe a pointer to the source code for the slides?