Events
Fall 2016

Logic Lounge
Thursday, November 3rd, 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:
Nadish de Silva: "Contextuality and Computation"
Matteo Sammartino: "Learning Nominal Automata"
Franck van Breugel: "Deciding Probabilistic Bisimilarity"