Events
Fall 2016

Logic Lounge

Sep 29, 2016 2:00 pm – 4:00 pm 

Add to Calendar

Location: 

Calvin Lab Rm 116

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"