Events
Fall 2016
Logic Lounge
Thursday, October 20th, 2016, 2:00 pm–4:00 pm
Parent Program:
Speaker:
Location:
Second Floor Interaction Area
Logic Lounge
Informal afternoon meeting with short talks from participants in the logic program.
Speakers:
Bert Lindenhovius: "Posets of Commutative C*-SubAlgebras"
Chris Heunen, "Spatial Logic for Hilbert Modules"
Joanna Ochremiak,"Infinite CSPs"
