Automated Reasoning Workshop 2018 Juan's abstract, titled, Meta-unification: An algorithm for solving systems of constraints over unifiers with meta-variables, has been accepted, and he will be giving a short talk at the Workshop. ARW 2018 is from 12-13 April at The University of Cambridge. https://www.cl.cam.ac.uk/events/arw2018/ This article was published on 2024-11-22