No, it's more likely going to be in LaTeX, given the Erik Demaine's highly theoretical inclinations.
He talks about projects at the beginning of the second session, and implementation (of something that hasn't yet been implemented) is one of the possibilities.