The seventh workshop on Computational Logic and Applications will take place from 5th to 7th of July 2012 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.