## 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