Andrew Marshall, assistant professor of Computer Science, presented a paper, “Unification and Matching in Hierarchical Combinations of Syntactic Theories,” at the 10th International Symposium on Frontiers of Combining Systems on Sept. 20 – 24. The paper will be published in the Springer Lecture Notes in Computer Science (LNCS) series, volume 9322. Andrew also recently co-authored a research article, “On Unification Modulo One-Sided Distributivity: Algorithms, Variants and Asymmetry,” which was published in the journal Logical Methods in Computer Science in June.