Rome (Italy) June 6-7, 2012
Web Page: XXVII. IX CILC (2012)
Program chair: Francesca Alessandra Lisi
CILC 2012 Proceedings: published as CEUR Vol. 857 (free access)
Special Issue: will be published by Journal of Logic and Computation (the papers are currently available as Advance Access papers)