Events
Fall 2016

Logic Lounge

Nov 3, 2016 2:00 pm – 4:00 pm 

Add to Calendar

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"