During my PhD studies, I participated in the development of rule-based formalisms with the goal of representing natural language semantics, and in addition, algorithms that process similar formalisms.
Implementation and Application of Automata: 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018, Proceedings, Springer 2018 : 197-108
Proceedings of the 13th International Workshop on Tree Adjoining Grammars and Related Formalisms, Association for Computational Linguistics 2017 : 102-111