Symposium on Practical Aspects of Declarative Languages

• Author of Graph-based Interpretation of Normal Logic Programs within the PADL 2022-track
• Author of Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP) within the PADL 2022-track