Schedule

at the Fall school in Prague (Sept.'09)

Monday

  • 10.oo - 10.15: J.Krajicek - welcome and organisational remarks

  • 10.15 - 10.45: coffee break

  • 10.45 - 11.45: Sam Buss I.

  • 11.45 - 13.3o: lunch

  • 13.3o - 14.oo: coffee

  • 14.0o - 15.oo: Ran Raz I.

  • 15.15 - 16.15: Sam Buss II.

    Tuesday

  • 9.30 - 10.30: Pavel Pudlak I.

  • 10.3o - 11.oo: coffee break

  • 11.oo - 12.oo: Sam Buss III.

  • 12.oo - 13.3o: lunch

  • 13.3o - 14.oo: coffee

  • 14.oo - 15.oo: Ran Raz II.

  • 15.15 - 16.15: Sam Buss IV.

    Wednesday

  • 9.30 - 10.30: Pavel Pudlak II.

  • 10.3o - 11.oo: coffee break

  • 11.oo - 12.oo: Neil Thapen I.

  • 12.00 - 13.30: lunch

  • 13.3o - 14.oo: coffee

  • 14.00 - 15.oo: Ran Raz III.

  • 15.15 - 16.15: Neil Thapen II.

    Thursday

  • 9.30 - 10.30: Pavel Pudlak III.

  • 10.3o - 11.oo: coffee break

  • 11.oo - 12.oo: Neil Thapen III.

  • 12.oo - 13.3o: lunch

  • 13.30 - 14.oo: coffee

  • 14.o0 - 15.00: Ran Raz IV.

  • 15.15 - 16.15: Neil Thapen IV.

  • "conference dinner"

    Friday

  • 9.30 - 10.3o: Neil Thapen V.

  • 10.30 - 11.oo: coffee break

  • 11.oo - 11.25: Alan Johnson (UC San Diego)
    The quantifier complexity of iterated definitions in first-order logic

  • 11.3o - 11.55: Alexander Kulikov (Steklov Institute, St.Petersburg)
    A 7n/3 lower bound for circuit complexity

  • 12.oo - 12.25: Massimo Lauria (La Sapienza, Rome)
    Size-degree tradeoffs in polynomial calculus: optimality and applications