Bjørn Kjos-Hanssen: Kolmogorov structure functions for automatic complexity When: November 21, 2014 @ 9:30 am – 10:30 am 2014-11-21T09:30:00-10:00 2014-11-21T10:30:00-10:00 Where: Keller 414 Logic seminar