2009 24th Annual IEEE Symposium on Logic In Computer Science