The seventh workshop on Computational Logic and Applications will take place from 10th to 12th of June 2010 in Krakow (Poland).

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.