Events
Fall 2016
Logic Lounge
Thursday, September 22nd, 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:
Christoph Berkholz (Berlin), "Answering Conjunctive Queries Under Updates"
Thomas Colcombet (Paris), "On Logic Expressiveness, from Schützenberger to Lyndon"
Martin Otto (Darmstadt), "Acyclicity in Finite Group(oid)s and Amalgamation"
