10:00-10:40 Antoine Genitrini

Yet another model of Implicational formulas.

11:00-12:00 Katarzyna Grygiel, Pierre Lescanne

Counting lambda terms.

12:30 -13:30 LUNCH

14:00 - 15:00 Cécile Mailler

Random Boolean AND/OR Trees Built on an Infinite Set of Variables.

15:30 - 16:30 Jakub Kozik

Entropy compression for graph colouring problems.

10:00-

Open problems and discussion about future of CLA