[Air-L] Proceedings from CATaC'12 now available online