30th Annual ACM/IEEE Symposium on Logic In Computer Science, Kyoto, Japan Journal uri icon