Juan Casanova has extended abstract accepted to ARW 2018

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.