Boaz Event

Tel Aviv University
School of Computer Science

invites you to a

COMPUTATION DAY
AT TEL AVIV

CELEBRATING

BOAZ (BORIS) TRAKHTENBROT'S
EIGHTY-FIFTH BIRTHDAY

Friday, 28 April 2006

Schreiber Building, Room 309, 9h - 14h

Click for map.

Program

8:30 - 9:00 Coffee and cake
9:00 - 9:10 Dany Leviatan, Rector, Tel Aviv University, Introductory remarks
9:10 - 9:40 Michael Rabin, Hebrew University and Harvard University, “Provably Unbreakable Encryption in the Limited Access Model”
9:40 - 10:10 Zohar Manna, Stanford University, “Verification of Software and Hardware”
10:10 - 10:30 Coffee break
10:30 - 11:00 Yuri Gurevich, Microsoft, Redmond, “Why Sets? On Foundations of Mathematics and Computer Science”
11:00 - 11:30 Anatol Slissenko, Université de Paris 12, “Models of Bounded Complexity in Describing Decidable Classes in Predicate Logics with Time”
11:30 - 12:00 Janos Makowsky, Technion, “Linear Recurrences for Graph Polynomials”
12:00 - 12:20 Coffee break
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.

List of publications of Boaz

Event web page: www.cs.tau.ac.il/~nachum/Boaz.html

Tel Aviv University School of Computer Science

COMPUTATION DAY AT TEL AVIV