Versailles-Lyon-Krakow Workshop on

Computational Logic and Applications (CLA 2007)

Theoretical Computer Science Department, 30-387 Krakow, Gronostajowa 3, room 49, first floor

How to reach the University guest house in Florianska street 49 by Google map.

How to reach the University new campus, Gronostajowa street 3, by Google map.

How to reach the Collegium Maius, Jagiellonska street 15, by Google map.

Pictures from the conference

PROGRAM

MONDAY, 24.09.2007

Session 1

10:00-10:45 Pierre LESCANNE (Lyon)

Towards Two-Dimensional Classical Computations

10:45-11:15 Waszkiewicz (Krakow)

On continuous quasimetric spaces

Coffee Break (11.15 - 12.00)

Session 2:

12:00 - 13:00 Genitrini & all (Versailles) 

Boolean functions over implication: probability and complexity

13:00 -14:30 LUNCH

Session 3

14:30 - 15:00 Jakub  Kozik (Krakow)

Intuitionistic vs Classical tautologies

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

Functional completeness and density of truth of logics

 

 

18:30-19:30 RECEPTION at Collegium Maius 

and visit at Jagiellonian University museum. 

 

TUESDAY 25.09.2007

Session 4

10:00 - 10:30  Philippe Audebaud (Lyon)

Formal Proofs for Randomized Functional Programs

10:30 - 11:00 Jaroslaw Grytczuk (Krakow) 

Coloring integer distance graphs

Coffee Break (11:00 - 11.45)

Session 5

11:45 - 12:45  Pawel Idziak (Krakow)

Elimination and Constraint Satisfaction Problem

13:00 -14:30 LUNCH

Session 6

14:30 - 15:15  Bernhard Gittenberger & all (Wien)

A generating function approach for satisfyiable 

Boolean expressions

15:15 - 15:45 Przemyslaw Broniek

Constraint Satisfaction Problem Versus Unary Algebras