Schedule of Friday lectures

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

  • 9.30 - 10.15:
    L.Barto (Prague): Constraint satisfaction problem and algebra

  • 10.15 - 10.45:
    coffee break

  • 10.45 - 11.15:
    P.Hajek (Prague): Godel and fuzzy logic

  • 11.20 - 11.50:
    O. Beyersdorff (Hannover): Nondeterministic instance complexity and proof systems with advice

  • 11.50 - 13.00:
    lunch break

  • 13.00 - 13.30:
    coffee break

  • 13.30 - 14.00:
    J. Hoffmann (Muenchen): DLL-algorithms and resolution proofs

  • 14.05 - 14.35:
    Z.Sadowski (Bialystok): Optimal proof systems and complete languages

  • 14.40 - 15.10:
    L.Kolodziejczyk (Warsaw): The weakness of Buss' T^0_2