The fifth workshop on Computational Logic and Applications will take place in Krakow (Poland) on June 6-7 2008.

This workshop brings together researchers from Poland and France working in areas related to

  • lambda calculus with type theory,
  • enumerative combinatorics,
with a special emphasis on a meeting point between these two fields: the quantitative aspects of lambda terms and propositional logics.

The workshop is organized by the Theoretical Computer Science Department of Jagiellonian University.