Honorary Day 2009 for Robert L. Constable
Verification, Distributed Computing
and Computing Sciences
Ben-Gurion University


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






June 16, 2009