... International Conference on Formal Structures for Computation and Deduction. Birmingham, United Kingdom. Jul 14 - Jul 20, 2025; International ACM SIGIR ...Read more
