Symposium on Practical Aspects of Declarative Languages

• Author of Panel: Reasoning for machine learning at large within the PADL 2020-track
• Author of A DSL for Integer Range Reasoning: Partition, Interval and Mapping Diagrams within the PADL 2020-track