![](/sites/default/files/styles/workshop_banner_sm_1x/public/logic_horizontal.png.jpg?itok=bl1RVreS)
Description
Logic Lounge
Informal afternoon meeting with short talks from participants in the logic program.
Speakers:
Val Tannen , "Parikh’s Theorem and Datalog Provenanc"
Miguel Romero, "Tractable Evaluation of Graph Query Languages"
Dominic Hughes, "First-Order Proofs without Syntax"