prodaq

ANR project 2015—2019

kickoff

September 4, 2015

kickoff

Post navigation

kickoff

0 comments

Cancel

Name

Email

Website

Save my name, email, and website in this browser for the next time I comment.

About PRODAQ

An ANR-funded project dedicated to the verification of data queries, expressed in data logics like XPath, and running over the period Jan. 2015—Dec. 2018. See our short presentation.

Current Participants

David Baelde

Anthony Lick

Sylvain Schmitz

Supporting institutions

Latest news

XPath Benchmark December 20, 2017
XPath Parser December 20, 2017
Kick-off meeting October 10, 2014
Proof systems for data queries October 8, 2014

Links

Log in
Entries feed
Comments feed

Built with WordPress | Theme: Eighties by Kopepasah.