Program
(For Abstracts and Bios click here)
10:30 - 10:40
Coffee and tagging
10:40 - 10:45
Opening Remarks
Shlomi Dolev, Ben-Gurion University
10:45 - 11:45
Celebratory Lecture
Creating Knowledge in the Age of Digital Information
Robert L. Constable, Cornell University
11:45 - 11:55
Coffee Break
11:55 - 12:00
Scharf Awards Presentation Ceremony
12:00 - 12:45
Cluster Based Computation of Relational Joins
Distinguished Lecturer
Jeffrey D. Ullman, Stanford University
12:45 - 13:15
Lexical Cohesion in Texts - Extraction Methods and Applications
Eli Shamir, Hebrew University of Jerusalem
13:15 - 14:00
Lunch
14:00 - 14:40
Constraints, Graphs, Algebra, Logic, and Complexity
Moshe Vardi, Rice University
14:40 - 15:20
Modular Approach for Developing Robust Protocols
Danny Dolev, Hebrew University of Jerusalem
15:20 - 15:30
Coffee
15:30 - 16:10
Amir Pnueli, Weizmann Institute of Science
16:10 - 16:50
Proving Church's Thesis
Nachum Dershowitz, Tel-Aviv University
16:50 - 17:50
Round Table Discussion:
The Future of Computing Science