Symposium on Practical Aspects of Declarative Languages

• Invited Speaker of INVITED TALK: Declarative Algorithms on Big Data: a Logic-Based Solution within the PADL 2018-track