Events
Fall 2016
Logic Lounge
Thursday, September 29th, 2016, 2:00 pm–4:00 pm
Parent Program:
Speaker:
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"
