For those of you interested in game theory, you can extend your stay at Stony Brook to hear about the latest developments in this field from leading experts.
The SPIN 2013 Best Paper Award recipients are Nuno P. Lopes and Jose Monteiro for their paper on Automatic Equivalence Checking of UF+IA Programs. The award is a NVIDIA GPU Tesla K20 (for High-Performance computing) generously donated by our sponsor NVIDIA.
|Pictured from left to right: Ezio Bartocci and C.R. Ramakrishanan, Spin 2013 PC Chairs, and Spin 2013 Best Paper award recipient Nuno P. Lopes|