Tentative Program

9:00-9:30 Welcome
9:30-10:00 Opening session
10:00-11:30 1st Session
Yaacov Choueka "What can a computer teach us about a historical manuscript: The Cairo Genizah case"
Tzevi Mazeh Extra-solar planets - discoveries and challenges
Johan Makowsky Characterizing Word Functions Recognized by Multiplicity Automata
11:30-11:45 Coffee break
11:45-13:30 2nd Session
Robert L. Constable Next Generation Proof Technology
Orna Kupferman Adding Quality to Formal Methods
Gilles Dowek Chaos and the Principle of a Bounded Density of Information
David Harel Nachum Dershowitz: Quiet Water Runs Truly Deep
13:30-15:00 Lunch break
15:00-16:30 3rd Session
Shmuel Zaks Optimization in Optical Networks
Idan Dershowitz Learning from Mistakes: From Salem to Jerusalem
Olivier Bournez On the Complexity of Solving Initial Value Problems
16:30-16:45 Coffee break
16:45-18:00 4th Session
Moshe Y. Vardi A Logical Revolution
Kfir Bar Deriving Paraphrases for Highly Inflected Languages from Comparable Documents
Zohar Manna Conclusions
19:30 Dinner