In the spirit of building bridges between database theory and other communities, the following workshop will take place in conjunction with POPL 2017. You are warmly invited to attend. Note that early registration ends December 17.
********************************************************************************************************************************
CALL FOR PARTICIPATION
Workshop on Reasoning about Declarative Programs
Paris,…