December 2016

Workshop on Reasoning about Declarative Programs

Submitted by Victor Vianu on Thu, 12/15/2016 - 21:32

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, January 21, 2017