Monday, May 10, 2004 8:15 - 8:45 Registration - 1st Floor Lobby, CoRE Building Breakfast - 4th Floor, Lounge, CoRE Building 8:45 - 9:00 Welcome and Opening Remarks Fred Roberts, DIMACS Director Kevin Chang and Michel Regenwetter, Organizers 9:00 - 9:50 Introduction to Voting Theory: History and Procedures Arnold Urken, Stevens Institute of Technology 9:50 - 10:05 Break 10:05 - 10:55 Introduction to Voting Theory: History and Procedures (continued) Arnold Urken, Stevens Institute of Technology 10:55 - 11:10 Break 11:10 - 12:00 Introduction to Voting Theory: History and Procedures (continued) Arnold Urken, Stevens Institute of Technology 12:00 - 1:30 Lunch - DIMACS Lounge 1:30 - 2:20 Mathematical Representations of Preference and Utility Michel Regenwetter, University of Illinois at Urbana-Champaign 2:20 - 2:35 Break 2:35 - 3:25 Mathematical Representations of Preference and Utility (continued) Michel Regenwetter, University of Illinois at Urbana-Champaign 3:25 - 3:40 Break 3:40 - 4:30 Mathematical Representations of Preference and Utility (continued) Michel Regenwetter, University of Illinois at Urbana-Champaign Tuesday, May 11, 2004 8:30 - 9:00 Registration and Breakfast - 4th Floor, Lounge, CoRE Building 9:00 - 9:50 Voting and Security Arnold Urken, Stevens Institute of Technology 9:50 - 10:05 Break 10:05 - 10:55 Voting and Security (continued) Arnold Urken, Stevens Institute of Technology 10:55 - 11:10 Break 11:10 - 12:00 Voting and Security (continued) Arnold Urken, Stevens Institute of Technology 12:00 - 1:30 Lunch - DIMACS Lounge 1:30 - 2:20 Computational Complexity of Social Choice Procedures Craig Tovey, Georgia Institute of Technology 2:20 - 2:35 Break 2:35 - 3:25 Computational Complexity of Social Choice Procedures (continued) Craig Tovey, Georgia Institute of Technology 3:25 - 3:40 Break 3:40 - 4:30 Computational Complexity of Social Choice Procedures (continued) Craig Tovey, Georgia Institute of Technology Wednesday, May 12, 2004 8:30 - 9:00 Registration and Breakfast - 4th Floor, Lounge, CoRE Building 9:00 - 9:50 Ranking and Preference in Computer Science: Models and Semantics Kevin Chang, University of Illinois at Urbana-Champaign 9:50 - 10:05 Break 10:05 - 10:55 Ranking and Preference in Computer Science: Models and Semantics (continued) Kevin Chang, University of Illinois at Urbana-Champaign 10:55 - 11:10 Break 11:10 - 12:00 Ranking and Preference in Computer Science: Models and Semantics (continued) Kevin Chang, University of Illinois at Urbana-Champaign 12:00 - 1:30 Lunch - DIMACS Lounge 1:30 - 2:20 Behavioral Social Choice Theory Michel Regenwetter, University of Illinois at Urbana-Champaign 2:20 - 2:35 Break 2:35 - 3:25 Behavioral Social Choice Theory (continued) Michel Regenwetter, University of Illinois at Urbana-Champaign 3:25 - 3:40 Break 3:40 - 4:30 Behavioral Social Choice Theory (continued) Michel Regenwetter, University of Illinois at Urbana-Champaign Thursday, May 13, 2004 8:30 - 9:00 Registration and Breakfast - 4th Floor, Lounge, CoRE Building 9:00 - 9:50 Collaborative Filtering in Information Retrieval William Cohen, Carnegie Mellon University 9:50 - 10:05 Break 10:05 - 10:55 Collaborative Filtering in Information Retrieval (continued) William Cohen, Carnegie Mellon University 10:55 - 11:10 Break 11:10 - 12:00 Collaborative Filtering in Information Retrieval (continued) William Cohen, Carnegie Mellon University 12:00 - 1:30 Lunch - DIMACS Lounge 1:30 - 2:20 Rank-based Top-k Query Algorithms in Database Search Kevin Chang, University of Illinois at Urbana-Champaign 2:20 - 2:35 Break 2:35 - 3:25 Rank-based Top-k Query Algorithms in Database Search (continued) Kevin Chang, University of Illinois at Urbana-Champaign 3:25 - 3:40 Break 3:40 - 4:30 Rank-based Top-k Query Algorithms in Database Search (continued) Kevin Chang, University of Illinois at Urbana-Champaign 4:30 - 5:30 Wine and Cheese - DIMACS Lounge Friday, May 14, 2004 8:30 - 9:00 Registration and Breakfast - 4th Floor, Lounge, CoRE Building 9:00 - 9:50 Internet Search and Meta-Search Ravi Kumar, IBM Almaden Research Center 9:50 - 10:05 Break 10:05 - 10:55 Internet Search and Meta-Search (continued) Ravi Kumar, IBM Almaden Research Center 10:55 - 11:10 Break 11:10 - 12:00 Internet Search and Meta-Search (continued) Ravi Kumar, IBM Almaden Research Center 12:00 - 1:30 Lunch - DIMACS Lounge 1:30 - 2:20 Internet Voting, Possibilities and Perils Jonathan Goler, Massachusetts Institute of Technology 2:20 - 2:35 Break 2:35 - 3:25 Internet Voting, Possibilities and Perils (continued) Jonathan Goler, Massachusetts Institute of Technology 3:25 - 3:40 Break 3:40 - 4:30 Internet Voting, Possibilities and Perils (continued) Jonathan Goler, Massachusetts Institute of Technology