Description
Logic Lounge
Informal afternoon meeting with short talks from participants in the logic program.
Speakers:
Ugo Montanari: "Soft Constraint Evaluation and Dynamic Programming"
Simone Severini: "Quantum Graph Isomorphism: Reprise"
Rui Soares Barbosa: "Monogamy of Non-Locality and Macroscopic Averages”