Our recent Theory Day meeting was a great success -- thanks to all who attended, and especially to our invited speaker, Cynthia Dwork.
The Spring 1999 Theory Day will be held on April 17th (note: this is a change from the original April 24th) at the University of Wisconsin at Madison ... here's how to contact the organizer, Eric Bach. See you there...
Schedule of talks:
11:00-12:00 Invited Talk: "Concurrent Zero-Knowledge," Cynthia Dwork, IBM Almaden12:00-12:30 "Remarks on Graph Complexity," Satya Lokam, Loyola University Chicago
12:30-2:00 Lunch
2:00-2:30 "On Frequent Sets of Boolean Matrices," Ken Takata, University of Illinois at Chicago
2:30-3:00 "Structured Operational Semantics of Higher-Order Languages," Karen Bernstein, DePaul University
3:00-3:30 "Provably Correct Algorithms for Real Number Computation," Ian Sutherland, Bell Labs
3:30-4:00 Break
4:00-4:30 "Revision programming = Logic programming + constraints," Inna Pivkina, University of Kentucky
4:30-5:00 "Induced Graph Ramsey Theory," Pradyut Shah, University of Chicago
6:00 Dinner at My Thai restaurant
Links to talk abstracts:
For further information, contact the organizers:
Amber Settle (asettle@cs.depaul.edu) and Eric Schwabe
Eric J. Schwabe - 2/24/99