Day trip to the Sea of Galilee (Kinneret)
14:00 – After lunch a drive from IBM to the Galilee
15:30 – Church of the Beatitudes, a small church located on a hill overlooking the Sea of Galilee on the traditional site where Jesus gave the 'Sermon on the Mount'
16:30 – A delightful cruise on the Sea of Galilee
18:30 – Dinner at the Roberg restaurant overlooking the Golan Heights and the city of Tiberias
Keynote Speakers
- Prof. Swarat Chaudhuri, Rice University
- Dr. Markulf Kohlweiss, Researcher, Microsoft Research
- Dr. Rajeev K. Ranjan, Senior Group Director, R&D Formal and Automated verification, Cadence
- Prof. Andreas Veneris, University of Toronto