Honorary Day for Robert L. Constable
2009
 Ben-Gurion University

Event Slides



Robert L. Constable
  • Creating Knowledge in the Age of Digital Information


    Nachum Dershowitz
  • Proving Church's Thesis


    Danny Dolev
  • Modular Approach for Developing Robust Protocols


    Amir Pnueli
  • Synthesis of Programs from Temporal Property Specifications


    Eli Shamir
  • Lexical Cohesion in Texts: Extraction Methods and Applications


    Jeffrey D. Ullman
  • Cluster-Based Algorithms for Relational Joins
  • Paper- Optimizing Joins in a Map-Reduce Environment


    Moshe Vardi
  • Constraints, Graphs, Algebra, Logic, and Complexity