Computational Logic and Applications (CLA 2007)
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.
|
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
|
|---|