My first ever skype-talk is coming up next Thursday. Together with Olga Poller we will give an introduction to the CPC, that is, Complex Predicate Calculus for Databases.
https://asamonek.github.io/events/2019/12/13/introduction-cpc-talk.html #logic #databases #language