[talks] Distinguished colloquium on Tues Feb 19: Christos Papadimitriou