Events
Fall 2016

Logic Lounge

Sep 22, 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:

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"