Recent Posts

• Joint papers accepted at TARK and DEON
• Joint paper to appear in Information & Computation
• I will give a keynote talk at CLAR 2023
• I serve as a PC member for two workshops
• Our paper on WAML and Hypergraph is published by Synthese