It was fairly interesting. Seems that Shamos didn't necessarily
believe that the DMCA was a -good- law per se, but maintained
that we need something to protect copyright holders because
of the ease of digital copies, and that it -is- constitutional.
He also had (what I thought was) a flimsy argument that it
-should- be legal to explain in unambiguous english what an
algorithm does, but not provide code.
Also went to a talk about higher-order hereditarily harrop
formulas and the semantics of logic programming.
