12:20 - 12:50 David Harel,
Weizmann Institute, “Unusual Methods for Executing Scenarios”
12:50 - 13:20 Alex Rabinovich,
Tel Aviv University, “The Church Synthesis Problem with Parameters”
13:20 - 13:40 Boaz Trakhtenbrot, Tel Aviv University, Concluding remarks
There will be a gala dinner the prior evening:
Thursday, 27 April, 20:00. At
Alhambra,
30 Jerusalem Blvd., Jaffa,
preceded by a walk around the Old City of Jaffa, starting 18:30.
To reserve a place, send
email no later than Tuesday, 25 April.