invites you to a
THEORETICAL
COMPUTER SCIENCE DAY
AT TEL AVIV
CELEBRATING
SIXTY-FOURTH
BIRTHDAY
Program:
- 9:00-9:10 Haim Wolfson, "Welcome",
Tel-Aviv University
- 9:10-9:40 Adi Shamir,
"The security of smart cards", Weizmann Institute
- 9:40-10:10 Amos Fiat, "Thwarting
traffic analysis: Obscurant networks for provable anonymity", Tel-Aviv
University
- 10:10-10:40 Orna Grumberg, "The
abstraction-refinement framework in model checking", Technion
- 10:40-11:10 Coffee break
- 11:10-11:40 David Harel, "Some
analogues of partial and total correctness in scenario-based
programming", Weizmann Institute
- 11:40-12:10 Danny Dolev, TBA, Hebrew
University
- 12:10-12:40 Yaacov Choueka, "Theory
of automata on infinite structures: The early history. Memories and
reminiscences", Bar-Ilan University
- 12:40-12:50 Nachum Dershowitz,
"Closing remarks", Tel-Aviv University
- 12:50-13:00 Zohar Manna, "Response",
Stanford University
Links:
Coffee and cookies will be served.
The event will be followed by a small reception (until 15:00) at
Nachum's home (tentative).
Links:
