09:30-10:30 Pierre Lescanne (Lyon)

Termination of rewrite systems: revisiting the dependency pair

Coffee Break (10:30 - 11:00)

11:00-11:30 Paweł Waszkiewicz (Krakow)

On domain theory over Girard quantales

11:30-12:00 Hervé Fournier (Versailles)

Algebraic complexity and computational geometry

12:00 -14:30 LUNCH

14:30 - 15:00 Edward Szczypka (Krakow)

Object Complexity Examples and Tools

15:00 - 15:45 Zofia Kostrzycka (Opole)

On density of truth of infinite logic

Coffee Break (15:45 - 16:15)

16:15 - 16:45 Antoine Genitrini (Versailles)

Growth processes and balanced and/or trees

16:45 - 17:15 Jakub Kozik (Krakow)

Dark matter among and/or trees

20:00 SOCIAL DINNER

09:00 - 09:30 Katarzyna Grygiel (Krakow)

On some combinatorial problems in lambda calculus

Coffee Break (09:30 - 10:00)

10:00 - 12:00 René David, Christophe Raffalli, Guillaume Theyssier (Chambéry)

Is a random lambda term strongly normalizable ? (discussion)

12:00 -14:00 LUNCH